結果

問題 No.1788 Same Set
ユーザー akakimidoriakakimidori
提出日時 2021-12-17 00:41:40
言語 Rust
(1.77.0)
結果
AC  
実行時間 409 ms / 4,000 ms
コード長 7,087 bytes
コンパイル時間 7,969 ms
コンパイル使用メモリ 155,816 KB
実行使用メモリ 30,276 KB
最終ジャッジ日時 2023-10-12 00:48:54
合計ジャッジ時間 11,233 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,348 KB
testcase_01 AC 1 ms
4,368 KB
testcase_02 AC 1 ms
4,352 KB
testcase_03 AC 1 ms
4,348 KB
testcase_04 AC 1 ms
4,352 KB
testcase_05 AC 1 ms
4,352 KB
testcase_06 AC 1 ms
4,348 KB
testcase_07 AC 1 ms
4,356 KB
testcase_08 AC 1 ms
4,348 KB
testcase_09 AC 4 ms
7,156 KB
testcase_10 AC 1 ms
4,352 KB
testcase_11 AC 54 ms
20,696 KB
testcase_12 AC 119 ms
19,956 KB
testcase_13 AC 150 ms
20,196 KB
testcase_14 AC 221 ms
20,176 KB
testcase_15 AC 294 ms
21,768 KB
testcase_16 AC 337 ms
22,180 KB
testcase_17 AC 302 ms
29,428 KB
testcase_18 AC 360 ms
25,496 KB
testcase_19 AC 222 ms
29,796 KB
testcase_20 AC 73 ms
30,080 KB
testcase_21 AC 306 ms
29,352 KB
testcase_22 AC 328 ms
29,480 KB
testcase_23 AC 252 ms
29,876 KB
testcase_24 AC 289 ms
29,536 KB
testcase_25 AC 395 ms
29,316 KB
testcase_26 AC 372 ms
29,364 KB
testcase_27 AC 75 ms
29,308 KB
testcase_28 AC 409 ms
29,460 KB
testcase_29 AC 364 ms
29,236 KB
testcase_30 AC 78 ms
30,184 KB
testcase_31 AC 383 ms
29,388 KB
testcase_32 AC 331 ms
30,276 KB
testcase_33 AC 358 ms
30,076 KB
testcase_34 AC 380 ms
29,232 KB
testcase_35 AC 382 ms
29,644 KB
testcase_36 AC 375 ms
29,324 KB
testcase_37 AC 369 ms
29,348 KB
testcase_38 AC 370 ms
29,400 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: unused import: `std::io::Write`
   --> Main.rs:185:5
    |
185 | use std::io::Write;
    |     ^^^^^^^^^^^^^^
    |
    = note: `#[warn(unused_imports)]` on by default

warning: 1 warning emitted

ソースコード

diff # 

// ---------- begin Lazy Segment Tree ----------
pub trait TE {
    type T: Clone;
    type E: Clone;
    fn fold(l: &Self::T, r: &Self::T) -> Self::T;
    fn eval(x: &Self::T, f: &Self::E) -> Self::T;
    fn merge(g: &Self::E, h: &Self::E) -> Self::E;
    fn e() -> Self::T;
    fn id() -> Self::E;
}

pub struct LazySegmentTree<R: TE> {
    size: usize,
    bit: usize,
    a: Vec<(R::T, R::E)>,
}

impl <R: TE> LazySegmentTree<R> {
    pub fn new(n: usize) -> LazySegmentTree<R> {
        let size = n.next_power_of_two();
        let bit = size.trailing_zeros() as usize;
        LazySegmentTree {
            size: size,
            bit: bit,
            a: vec![(R::e(), R::id()); 2 * size],
        }
    }
    pub fn build_by(z: &[R::T]) -> LazySegmentTree<R> {
        let mut seg = LazySegmentTree::<R>::new(z.len());
        for (a, z) in seg.a[seg.size..].iter_mut().zip(z.iter()) {
            a.0 = z.clone();
        }
        let a = &mut seg.a;
        for i in (1..seg.size).rev() {
            a[i].0 = R::fold(&a[2 * i].0, &a[2 * i + 1].0);
        }
        seg
    }
    fn apply(&mut self, x: usize, op: &R::E) {
        let node = &mut self.a[x];
        node.0 = R::eval(&node.0, op);
        node.1 = R::merge(&node.1, op);
    }
    fn propagate(&mut self, x: usize) {
        let mut op = R::id();
        std::mem::swap(&mut op, &mut self.a[x].1);
        self.apply(2 * x, &op);
        self.apply(2 * x + 1, &op);
    }
    fn propagate_range(&mut self, l: usize, r: usize) {
        let x = l + self.size;
        let y = r + self.size;
        let mut k = self.bit;
        while (x >> k) == (y >> k) {
            self.propagate(x >> k);
            k -= 1;
        }
        for i in ((x.trailing_zeros() as usize + 1)..=k).rev() {
            self.propagate(x >> i);
        }
        for i in ((y.trailing_zeros() as usize + 1)..=k).rev() {
            self.propagate(y >> i);
        }
    }
    fn save_range(&mut self, l: usize, r: usize) {
        let mut x = l + self.size;
        let mut y = r + self.size;
        let mut p = (x & 1) == 1;
        let mut q = (y & 1) == 1;
        x >>= 1;
        y >>= 1;
        while 0 < x && x < y {
            if p {
                self.a[x].0 = R::fold(&self.a[2 * x].0, &self.a[2 * x + 1].0);
            }
            if q {
                self.a[y].0 = R::fold(&self.a[2 * y].0, &self.a[2 * y + 1].0);
            }
            p |= (x & 1) == 1;
            q |= (y & 1) == 1;
            x >>= 1;
            y >>= 1;
        }
        while 0 < x {
            self.a[x].0 = R::fold(&self.a[2 * x].0, &self.a[2 * x + 1].0);
            x >>= 1;
        }
    }
    pub fn update(&mut self, l: usize, r: usize, op: R::E) {
        if l == r {
            return;
        }
        self.propagate_range(l, r);
        let mut x = l + self.size;
        let mut y = r + self.size;
        while x < y {
            if x & 1 == 1 {
                self.apply(x, &op);
                x += 1;
            }
            if y & 1 == 1 {
                y -= 1;
                self.apply(y, &op);
            }
            x >>= 1;
            y >>= 1;
        }
        self.save_range(l, r);
    }
    pub fn find(&mut self, l: usize, r: usize) -> R::T {
        if l == r {
            return R::e();
        }
        self.propagate_range(l, r);
        let mut x = l + self.size;
        let mut y = r + self.size;
        let mut p = R::e();
        let mut q = R::e();
        while x < y {
            if x & 1 == 1 {
                p = R::fold(&p, &self.a[x].0);
                x += 1;
            }
            if y & 1 == 1 {
                y -= 1;
                q = R::fold(&self.a[y].0, &q);
            }
            x >>= 1;
            y >>= 1;
        }
        R::fold(&p, &q)
    }
}
// ---------- end Lazy Segment Tree ----------
// ---------- begin input macro ----------
// reference: https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
macro_rules! input {
    (source = $s:expr, $($r:tt)*) => {
        let mut iter = $s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
    ($($r:tt)*) => {
        let s = {
            use std::io::Read;
            let mut s = String::new();
            std::io::stdin().read_to_string(&mut s).unwrap();
            s
        };
        let mut iter = s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
}

macro_rules! input_inner {
    ($iter:expr) => {};
    ($iter:expr, ) => {};
    ($iter:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };
}

macro_rules! read_value {
    ($iter:expr, ( $($t:tt),* )) => {
        ( $(read_value!($iter, $t)),* )
    };
    ($iter:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
    };
    ($iter:expr, chars) => {
        read_value!($iter, String).chars().collect::<Vec<char>>()
    };
    ($iter:expr, bytes) => {
        read_value!($iter, String).bytes().collect::<Vec<u8>>()
    };
    ($iter:expr, usize1) => {
        read_value!($iter, usize) - 1
    };
    ($iter:expr, $t:ty) => {
        $iter.next().unwrap().parse::<$t>().expect("Parse error")
    };
}
// ---------- end input macro ----------

use std::io::Write;

// 集合が等しい
// 左端を固定した時最左の要素にのみ注目
// 区間0の個数とか捌けたらいいができるわけねえ
// ある要素について考えると
// 右端が s未満or以上
// みたいな条件になる
// 区間0の個数クエリになる

struct R;
impl TE for R {
    type T = (i32, i64);
    type E = i32;
    fn fold(l: &Self::T, r: &Self::T) -> Self::T {
        if l.0 == r.0 {
            (l.0, l.1 + r.1)
        } else {
            std::cmp::min(*l, *r)
        }
    }
    fn eval(x: &Self::T, f: &Self::E) -> Self::T {
        (x.0 + *f, x.1)
    }
    fn merge(g: &Self::E, h: &Self::E) -> Self::E {
        *g + *h
    }
    fn e() -> Self::T {
        (0, 0)
    }
    fn id() -> Self::E {
        0
    }
}

fn run() {
    input! {
        n: usize,
        a: [usize; n],
        b: [usize; n],
    }
    let m = *a.iter().chain(&b).max().unwrap();
    let mut range = vec![(n + 1, n + 1); m + 1];
    let mut seg = LazySegmentTree::<R>::build_by(&vec![(0, 1); n + 1]);
    let mut ans = 0;
    for l in (0..n).rev() {
        if a[l] == b[l] {
            let (s, t) = range[a[l]];
            seg.update(s.min(t), s.max(t), -1);
            range[a[l]] = (l, l);
        } else {
            let (s, t) = range[a[l]];
            seg.update(s.min(t), s.max(t), -1);
            range[a[l]].0 = l;
            let (s, t) = range[a[l]];
            seg.update(s.min(t), s.max(t), 1);
            let (s, t) = range[b[l]];
            seg.update(s.min(t), s.max(t), -1);
            range[b[l]].1 = l;
            let (s, t) = range[b[l]];
            seg.update(s.min(t), s.max(t), 1);
        }
        let p = seg.find(l, n);
        if p.0 == 0 {
            ans += p.1;
        }
    }
    println!("{}", ans);
}

fn main() {
    run();
}
0