提出 #57824394
ソースコード 拡げる
#![allow(non_snake_case, dead_code)]
use itertools::Itertools;
use rand::prelude::*;
use rand_pcg::Pcg64Mcg;
type Mt = Pcg64Mcg;
#[derive(Clone, Default, PartialEq, PartialOrd, Ord, Eq)]
struct P {
x: i64,
y: i64,
}
impl P {
pub fn ancestor(&self, p: &P) -> (P, i64) {
let a = P { x: self.x.min(p.x), y: self.y.min(p.y) };
let c = self.x - a.x
+ self.y - a.y
+ p.x - a.x
+ p.y - a.y;
(a, c)
}
}
type Input = Vec<P>;
struct Operation {
from: P,
to: Vec<P>,
}
struct Answer {
ops: Vec<Operation>,
}
impl Answer {
fn output(self) {
let mut len = 0;
for Operation { from, to } in self.ops.iter() {
len += to.len();
}
println!("{}", len);
for Operation { from, to } in self.ops {
for P { x, y } in to {
println!("{} {} {} {}", from.x, from.y, x, y);
}
}
}
}
struct Node {
p: P,
leaf: bool,
sz: usize,
cost: i64,
}
struct State {
ett: Vec<Node>,
}
struct Neiborhood {
from: usize,
delete_v: usize,
to: usize,
score: i64,
}
impl Neiborhood {
fn gen(state: &State, mt: &mut Mt) -> Self {
loop {
let from = mt.gen_range(1..state.ett.len());
let moved_l = from;
let moved_r = from + state.ett[from].sz;
let mut delete_v = !0;
let mut until = vec![(!0, P::default()); state.ett.len()];
let mut merged = vec![(!0, P::default(), !0); state.ett.len()];
for i in (0..state.ett.len()).rev() {
if moved_l <= i && i < moved_r { continue; }
if state.ett[i].leaf {
until[i] = (0, state.ett[i].p.clone());
let (a, c) = state.ett[i].p.ancestor(&state.ett[from].p);
merged[i] = (c + state.ett[from].cost, a, i);
}
else {
let l = i + 1;
let r = i + 1 + state.ett[l].sz;
if r == from {
until[i] = until[l].clone();
merged[i] = merged[l].clone();
delete_v = i;
}
else if l == from {
until[i] = until[r].clone();
merged[i] = merged[r].clone();
delete_v = i;
}
else {
let (a, c) = until[l].1.ancestor(&until[r].1);
until[i] = (c + until[l].0 + until[r].0, a);
let (a, c) = until[i].1.ancestor(&state.ett[from].p);
merged[i] = (c + until[i].0 + state.ett[from].cost, a, i);
let (a, c) = until[l].1.ancestor(&merged[r].1);
merged[i] = merged[i].clone().min((c + until[l].0 + merged[r].0, a, merged[r].2));
let (a, c) = merged[l].1.ancestor(&until[r].1);
merged[i] = merged[i].clone().min((c + merged[l].0 + until[r].0, a, merged[l].2));
}
}
}
let to = merged[0].2;
let score = merged[0].0 + merged[0].1.x + merged[0].1.y;
return Neiborhood { from, delete_v, to, score };
}
}
fn accept(&self, state: &mut State) {
let moved_l = self.from;
let moved_r = self.from + state.ett[self.from].sz;
let mut to = self.to;
if moved_l <= to {
to -= 1 + state.ett[self.from].sz;
}
else if self.delete_v <= to {
to -= 1;
}
let mv = state.ett.drain(moved_l..moved_r).collect_vec();
state.ett.remove(self.delete_v);
state.ett.splice(to..to, mv);
state.ett.insert(to, Node { p: P::default(), leaf: false, sz: 0, cost: 0});
state.all_fix();
}
}
impl State {
fn new(input: &Input) -> Self {
let mut ett = vec![];
let mut st = vec![];
st.push((0, input.len()));
while let Some((l, r)) = st.pop() {
if l + 1 == r {
ett.push(Node { p: input[l].clone(), leaf: true, sz: 1, cost: 0 });
}
else {
ett.push(Node { p: P::default(), leaf: false, sz: r - l + r - l - 1, cost: 0 });
st.push((l, (l + r) >> 1));
st.push(((l + r) >> 1, r));
}
}
let mut state = State { ett };
state.all_fix();
state
}
fn all_fix(&mut self) {
for i in (0..self.ett.len()).rev() {
if !self.ett[i].leaf {
let l = i + 1;
let r = i + 1 + self.ett[l].sz;
let (a, c) = self.ett[l].p.ancestor(&self.ett[r].p);
self.ett[i].p = a;
self.ett[i].sz = self.ett[l].sz + self.ett[r].sz + 1;
self.ett[i].cost = self.ett[l].cost + self.ett[r].cost + c;
}
}
}
fn score(&self) -> i64 {
self.ett[0].cost + self.ett[0].p.x + self.ett[0].p.y
}
fn answer(&self) -> Answer {
let mut ops = vec![];
ops.push( Operation { from: P { x: 0, y: 0 }, to: vec![self.ett[0].p.clone()] });
for i in 0..self.ett.len() {
if !self.ett[i].leaf {
let l = i + 1;
let r = i + 1 + self.ett[l].sz;
ops.push( Operation {
from: self.ett[i].p.clone(),
to: vec![self.ett[l].p.clone(), self.ett[r].p.clone()],
})
}
}
Answer { ops }
}
fn metropolis(&mut self, t: f64, mt: &mut Mt) {
let now_score = self.score();
let nbh = Neiborhood::gen(self, mt);
//eprintln!("{} {}", nbh.score, now_score);
let delta = (nbh.score - now_score) as f64;
if delta <= 0.0 || mt.gen_bool((-delta / t).exp()) {
nbh.accept(self);
//eprintln!("{} {}", self.score(), nbh.score);
//assert_eq!(self.score(), nbh.score);
}
}
}
fn main() {
get_time();
let input = get_input();
let mut state = State::new(&input);
let mut mt = Mt::new(768);
let T0 = 1000000000.0f64;
let T1 = 100000.0f64;
let mut T = T0;
let mut it = 0;
loop {
let time = get_time();
if time > 1.95 {
break;
}
it += 1;
if it % 1000 == 0 {
eprintln!("{} {}", T, state.score());
T = T0.powf(1.0 - time / 2.0) * T1.powf(time / 2.0);
}
state.metropolis(T, &mut mt);
}
eprintln!("score: {}", state.ett[0].cost + state.ett[0].p.x + state.ett[0].p.y);
let answer = state.answer();
answer.output();
}
fn get_input() -> Input {
proconio::input! {
n: usize,
xy: [(i64, i64); n],
}
xy.into_iter().map(|(x, y)| P { x, y }).collect()
}
// must call first to set zero
pub fn get_time() -> f64 {
static mut STIME: f64 = -1.0;
let t = std::time::SystemTime::now().duration_since(std::time::UNIX_EPOCH).unwrap();
let ms = t.as_secs() as f64 + t.subsec_nanos() as f64 * 1e-9;
unsafe {
if STIME < 0.0 {
STIME = ms;
}
#[cfg(feature = "local")]
{
(ms - STIME) * 1.0
}
#[cfg(not(feature = "local"))]
{
ms - STIME
}
}
}
提出情報
| 提出日時 | |
|---|---|
| 問題 | A - Soda |
| ユーザ | niuez |
| 言語 | Rust (rustc 1.70.0) |
| 得点 | 5472966201 |
| コード長 | 7772 Byte |
| 結果 | AC |
| 実行時間 | 1953 ms |
| メモリ | 2872 KiB |
コンパイルエラー
warning: unused variable: `from`
--> src/main.rs:38:25
|
38 | for Operation { from, to } in self.ops.iter() {
| ^^^^ help: try ignoring the field: `from: _`
|
= note: `#[warn(unused_variables)]` on by default
ジャッジ結果
| セット名 | test_ALL | ||
|---|---|---|---|
| 得点 / 配点 | 5472966201 / 150000000000 | ||
| 結果 |
|
| セット名 | テストケース |
|---|---|
| test_ALL | test_0000.txt, test_0001.txt, test_0002.txt, test_0003.txt, test_0004.txt, test_0005.txt, test_0006.txt, test_0007.txt, test_0008.txt, test_0009.txt, test_0010.txt, test_0011.txt, test_0012.txt, test_0013.txt, test_0014.txt, test_0015.txt, test_0016.txt, test_0017.txt, test_0018.txt, test_0019.txt, test_0020.txt, test_0021.txt, test_0022.txt, test_0023.txt, test_0024.txt, test_0025.txt, test_0026.txt, test_0027.txt, test_0028.txt, test_0029.txt, test_0030.txt, test_0031.txt, test_0032.txt, test_0033.txt, test_0034.txt, test_0035.txt, test_0036.txt, test_0037.txt, test_0038.txt, test_0039.txt, test_0040.txt, test_0041.txt, test_0042.txt, test_0043.txt, test_0044.txt, test_0045.txt, test_0046.txt, test_0047.txt, test_0048.txt, test_0049.txt, test_0050.txt, test_0051.txt, test_0052.txt, test_0053.txt, test_0054.txt, test_0055.txt, test_0056.txt, test_0057.txt, test_0058.txt, test_0059.txt, test_0060.txt, test_0061.txt, test_0062.txt, test_0063.txt, test_0064.txt, test_0065.txt, test_0066.txt, test_0067.txt, test_0068.txt, test_0069.txt, test_0070.txt, test_0071.txt, test_0072.txt, test_0073.txt, test_0074.txt, test_0075.txt, test_0076.txt, test_0077.txt, test_0078.txt, test_0079.txt, test_0080.txt, test_0081.txt, test_0082.txt, test_0083.txt, test_0084.txt, test_0085.txt, test_0086.txt, test_0087.txt, test_0088.txt, test_0089.txt, test_0090.txt, test_0091.txt, test_0092.txt, test_0093.txt, test_0094.txt, test_0095.txt, test_0096.txt, test_0097.txt, test_0098.txt, test_0099.txt, test_0100.txt, test_0101.txt, test_0102.txt, test_0103.txt, test_0104.txt, test_0105.txt, test_0106.txt, test_0107.txt, test_0108.txt, test_0109.txt, test_0110.txt, test_0111.txt, test_0112.txt, test_0113.txt, test_0114.txt, test_0115.txt, test_0116.txt, test_0117.txt, test_0118.txt, test_0119.txt, test_0120.txt, test_0121.txt, test_0122.txt, test_0123.txt, test_0124.txt, test_0125.txt, test_0126.txt, test_0127.txt, test_0128.txt, test_0129.txt, test_0130.txt, test_0131.txt, test_0132.txt, test_0133.txt, test_0134.txt, test_0135.txt, test_0136.txt, test_0137.txt, test_0138.txt, test_0139.txt, test_0140.txt, test_0141.txt, test_0142.txt, test_0143.txt, test_0144.txt, test_0145.txt, test_0146.txt, test_0147.txt, test_0148.txt, test_0149.txt |
| ケース名 | 結果 | 実行時間 | メモリ |
|---|---|---|---|
| test_0000.txt | AC | 1953 ms | 2768 KiB |
| test_0001.txt | AC | 1953 ms | 2796 KiB |
| test_0002.txt | AC | 1953 ms | 2664 KiB |
| test_0003.txt | AC | 1952 ms | 2800 KiB |
| test_0004.txt | AC | 1952 ms | 2616 KiB |
| test_0005.txt | AC | 1952 ms | 2792 KiB |
| test_0006.txt | AC | 1953 ms | 2708 KiB |
| test_0007.txt | AC | 1953 ms | 2708 KiB |
| test_0008.txt | AC | 1952 ms | 2588 KiB |
| test_0009.txt | AC | 1953 ms | 2584 KiB |
| test_0010.txt | AC | 1953 ms | 2712 KiB |
| test_0011.txt | AC | 1953 ms | 2860 KiB |
| test_0012.txt | AC | 1953 ms | 2580 KiB |
| test_0013.txt | AC | 1953 ms | 2704 KiB |
| test_0014.txt | AC | 1953 ms | 2808 KiB |
| test_0015.txt | AC | 1953 ms | 2732 KiB |
| test_0016.txt | AC | 1953 ms | 2676 KiB |
| test_0017.txt | AC | 1953 ms | 2768 KiB |
| test_0018.txt | AC | 1953 ms | 2712 KiB |
| test_0019.txt | AC | 1953 ms | 2796 KiB |
| test_0020.txt | AC | 1953 ms | 2708 KiB |
| test_0021.txt | AC | 1953 ms | 2804 KiB |
| test_0022.txt | AC | 1953 ms | 2524 KiB |
| test_0023.txt | AC | 1953 ms | 2768 KiB |
| test_0024.txt | AC | 1953 ms | 2760 KiB |
| test_0025.txt | AC | 1953 ms | 2804 KiB |
| test_0026.txt | AC | 1952 ms | 2796 KiB |
| test_0027.txt | AC | 1952 ms | 2796 KiB |
| test_0028.txt | AC | 1953 ms | 2584 KiB |
| test_0029.txt | AC | 1953 ms | 2808 KiB |
| test_0030.txt | AC | 1953 ms | 2864 KiB |
| test_0031.txt | AC | 1953 ms | 2704 KiB |
| test_0032.txt | AC | 1953 ms | 2864 KiB |
| test_0033.txt | AC | 1953 ms | 2676 KiB |
| test_0034.txt | AC | 1953 ms | 2800 KiB |
| test_0035.txt | AC | 1952 ms | 2764 KiB |
| test_0036.txt | AC | 1953 ms | 2804 KiB |
| test_0037.txt | AC | 1953 ms | 2796 KiB |
| test_0038.txt | AC | 1953 ms | 2612 KiB |
| test_0039.txt | AC | 1952 ms | 2692 KiB |
| test_0040.txt | AC | 1953 ms | 2864 KiB |
| test_0041.txt | AC | 1953 ms | 2760 KiB |
| test_0042.txt | AC | 1953 ms | 2756 KiB |
| test_0043.txt | AC | 1952 ms | 2804 KiB |
| test_0044.txt | AC | 1953 ms | 2736 KiB |
| test_0045.txt | AC | 1953 ms | 2740 KiB |
| test_0046.txt | AC | 1953 ms | 2864 KiB |
| test_0047.txt | AC | 1953 ms | 2804 KiB |
| test_0048.txt | AC | 1953 ms | 2804 KiB |
| test_0049.txt | AC | 1952 ms | 2732 KiB |
| test_0050.txt | AC | 1953 ms | 2740 KiB |
| test_0051.txt | AC | 1952 ms | 2792 KiB |
| test_0052.txt | AC | 1953 ms | 2652 KiB |
| test_0053.txt | AC | 1953 ms | 2584 KiB |
| test_0054.txt | AC | 1953 ms | 2676 KiB |
| test_0055.txt | AC | 1953 ms | 2736 KiB |
| test_0056.txt | AC | 1953 ms | 2760 KiB |
| test_0057.txt | AC | 1953 ms | 2804 KiB |
| test_0058.txt | AC | 1953 ms | 2756 KiB |
| test_0059.txt | AC | 1953 ms | 2796 KiB |
| test_0060.txt | AC | 1952 ms | 2696 KiB |
| test_0061.txt | AC | 1953 ms | 2676 KiB |
| test_0062.txt | AC | 1953 ms | 2864 KiB |
| test_0063.txt | AC | 1953 ms | 2696 KiB |
| test_0064.txt | AC | 1953 ms | 2792 KiB |
| test_0065.txt | AC | 1953 ms | 2764 KiB |
| test_0066.txt | AC | 1952 ms | 2760 KiB |
| test_0067.txt | AC | 1953 ms | 2632 KiB |
| test_0068.txt | AC | 1952 ms | 2716 KiB |
| test_0069.txt | AC | 1953 ms | 2768 KiB |
| test_0070.txt | AC | 1952 ms | 2744 KiB |
| test_0071.txt | AC | 1953 ms | 2864 KiB |
| test_0072.txt | AC | 1953 ms | 2680 KiB |
| test_0073.txt | AC | 1953 ms | 2800 KiB |
| test_0074.txt | AC | 1953 ms | 2736 KiB |
| test_0075.txt | AC | 1953 ms | 2800 KiB |
| test_0076.txt | AC | 1953 ms | 2680 KiB |
| test_0077.txt | AC | 1953 ms | 2804 KiB |
| test_0078.txt | AC | 1953 ms | 2692 KiB |
| test_0079.txt | AC | 1953 ms | 2692 KiB |
| test_0080.txt | AC | 1953 ms | 2872 KiB |
| test_0081.txt | AC | 1953 ms | 2800 KiB |
| test_0082.txt | AC | 1953 ms | 2864 KiB |
| test_0083.txt | AC | 1952 ms | 2712 KiB |
| test_0084.txt | AC | 1952 ms | 2632 KiB |
| test_0085.txt | AC | 1952 ms | 2740 KiB |
| test_0086.txt | AC | 1953 ms | 2796 KiB |
| test_0087.txt | AC | 1953 ms | 2684 KiB |
| test_0088.txt | AC | 1953 ms | 2800 KiB |
| test_0089.txt | AC | 1953 ms | 2792 KiB |
| test_0090.txt | AC | 1953 ms | 2800 KiB |
| test_0091.txt | AC | 1953 ms | 2708 KiB |
| test_0092.txt | AC | 1953 ms | 2704 KiB |
| test_0093.txt | AC | 1953 ms | 2868 KiB |
| test_0094.txt | AC | 1953 ms | 2792 KiB |
| test_0095.txt | AC | 1953 ms | 2732 KiB |
| test_0096.txt | AC | 1953 ms | 2736 KiB |
| test_0097.txt | AC | 1953 ms | 2700 KiB |
| test_0098.txt | AC | 1953 ms | 2804 KiB |
| test_0099.txt | AC | 1953 ms | 2556 KiB |
| test_0100.txt | AC | 1953 ms | 2668 KiB |
| test_0101.txt | AC | 1953 ms | 2796 KiB |
| test_0102.txt | AC | 1953 ms | 2800 KiB |
| test_0103.txt | AC | 1952 ms | 2584 KiB |
| test_0104.txt | AC | 1952 ms | 2596 KiB |
| test_0105.txt | AC | 1953 ms | 2800 KiB |
| test_0106.txt | AC | 1953 ms | 2588 KiB |
| test_0107.txt | AC | 1952 ms | 2716 KiB |
| test_0108.txt | AC | 1953 ms | 2744 KiB |
| test_0109.txt | AC | 1953 ms | 2712 KiB |
| test_0110.txt | AC | 1953 ms | 2640 KiB |
| test_0111.txt | AC | 1953 ms | 2800 KiB |
| test_0112.txt | AC | 1953 ms | 2868 KiB |
| test_0113.txt | AC | 1953 ms | 2796 KiB |
| test_0114.txt | AC | 1953 ms | 2868 KiB |
| test_0115.txt | AC | 1953 ms | 2804 KiB |
| test_0116.txt | AC | 1953 ms | 2656 KiB |
| test_0117.txt | AC | 1952 ms | 2764 KiB |
| test_0118.txt | AC | 1953 ms | 2708 KiB |
| test_0119.txt | AC | 1953 ms | 2800 KiB |
| test_0120.txt | AC | 1952 ms | 2764 KiB |
| test_0121.txt | AC | 1952 ms | 2624 KiB |
| test_0122.txt | AC | 1952 ms | 2800 KiB |
| test_0123.txt | AC | 1953 ms | 2724 KiB |
| test_0124.txt | AC | 1953 ms | 2804 KiB |
| test_0125.txt | AC | 1953 ms | 2680 KiB |
| test_0126.txt | AC | 1953 ms | 2712 KiB |
| test_0127.txt | AC | 1953 ms | 2740 KiB |
| test_0128.txt | AC | 1953 ms | 2708 KiB |
| test_0129.txt | AC | 1953 ms | 2864 KiB |
| test_0130.txt | AC | 1953 ms | 2708 KiB |
| test_0131.txt | AC | 1953 ms | 2792 KiB |
| test_0132.txt | AC | 1953 ms | 2712 KiB |
| test_0133.txt | AC | 1953 ms | 2740 KiB |
| test_0134.txt | AC | 1953 ms | 2796 KiB |
| test_0135.txt | AC | 1953 ms | 2584 KiB |
| test_0136.txt | AC | 1953 ms | 2740 KiB |
| test_0137.txt | AC | 1953 ms | 2588 KiB |
| test_0138.txt | AC | 1953 ms | 2696 KiB |
| test_0139.txt | AC | 1953 ms | 2800 KiB |
| test_0140.txt | AC | 1952 ms | 2768 KiB |
| test_0141.txt | AC | 1953 ms | 2736 KiB |
| test_0142.txt | AC | 1953 ms | 2864 KiB |
| test_0143.txt | AC | 1953 ms | 2644 KiB |
| test_0144.txt | AC | 1953 ms | 2644 KiB |
| test_0145.txt | AC | 1953 ms | 2864 KiB |
| test_0146.txt | AC | 1953 ms | 2708 KiB |
| test_0147.txt | AC | 1953 ms | 2860 KiB |
| test_0148.txt | AC | 1953 ms | 2696 KiB |
| test_0149.txt | AC | 1953 ms | 2668 KiB |