提出 #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
結果
AC × 150
セット名 テストケース
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