結果

問題 No.1234 典型RMQ
ユーザー cotton_fn_cotton_fn_
提出日時 2020-09-19 01:55:48
言語 Rust
(1.77.0)
結果
AC  
実行時間 59 ms / 2,000 ms
コード長 8,804 bytes
コンパイル時間 1,320 ms
コンパイル使用メモリ 163,680 KB
実行使用メモリ 6,632 KB
最終ジャッジ日時 2023-08-08 18:53:52
合計ジャッジ時間 4,688 ms
ジャッジサーバーID
(参考情報)
judge15 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,384 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 1 ms
4,376 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 55 ms
5,600 KB
testcase_07 AC 45 ms
4,376 KB
testcase_08 AC 59 ms
6,452 KB
testcase_09 AC 52 ms
4,376 KB
testcase_10 AC 58 ms
6,152 KB
testcase_11 AC 55 ms
5,468 KB
testcase_12 AC 52 ms
4,380 KB
testcase_13 AC 45 ms
4,380 KB
testcase_14 AC 52 ms
4,376 KB
testcase_15 AC 50 ms
4,376 KB
testcase_16 AC 57 ms
6,144 KB
testcase_17 AC 52 ms
4,380 KB
testcase_18 AC 41 ms
4,380 KB
testcase_19 AC 59 ms
6,408 KB
testcase_20 AC 44 ms
6,044 KB
testcase_21 AC 55 ms
5,556 KB
testcase_22 AC 50 ms
6,576 KB
testcase_23 AC 50 ms
6,576 KB
testcase_24 AC 50 ms
6,572 KB
testcase_25 AC 49 ms
6,576 KB
testcase_26 AC 50 ms
6,632 KB
testcase_27 AC 1 ms
4,380 KB
testcase_28 AC 1 ms
4,376 KB
testcase_29 AC 1 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#![allow(unused_imports, unused_macros)]

use kyoproio::*;
use std::{
    collections::*,
    io::{self, prelude::*},
    iter,
    mem::{replace, swap},
};

fn main() -> io::Result<()> {
    std::thread::Builder::new()
        .stack_size(64 * 1024 * 1024)
        .spawn(|| {
            let stdin = io::stdin();
            let stdout = io::stdout();
            run(KInput::new(stdin.lock()), io::BufWriter::new(stdout.lock()))
        })?
        .join()
        .unwrap()
}

fn run<I: Input, O: Write>(mut kin: I, mut out: O) -> io::Result<()> {
    macro_rules! output { ($($args:expr),+) => { write!(&mut out, $($args),+)?; }; }
    macro_rules! outputln {
        ($($args:expr),+) => { output!($($args),+); outputln!(); };
        () => { output!("\n"); if cfg!(debug_assertions) { out.flush()?; } }
    }

    let n: usize = kin.input();
    let a: Vec<_> = kin.iter::<i64>().take(n).map(|x| Min(x)).collect();
    let mut lst = LazySegTree::from_slice(&a, |a: &Add, m: &Min| Min(a.0 + m.0));

    // eprintln!("{:?}", &lst.ss);
    // eprintln!("{:?}", &lst.fs);

    let q: usize = kin.input();
    for (k, l, r, c) in kin.iter::<(i32, usize, usize, i64)>().take(q) {
        if k == 1 {
            lst.apply(l - 1, r, &Add(c));

            // eprintln!("{:?}", &lst.ss);
            // eprintln!("{:?}", &lst.fs);
        } else {
            let ans = lst.prod(l - 1, r);
            outputln!("{}", ans.0);
        }
    }

    Ok(())
}

#[derive(Debug)]
struct Add(i64);
impl Monoid for Add {
    fn id() -> Self {
        Self(0)
    }
    fn op(&self, other: &Self) -> Self {
        Self(self.0 + other.0)
    }
}

#[derive(Debug, Clone)]
struct Min(i64);
impl Monoid for Min {
    fn id() -> Self {
        Min(i64::max_value() / 2)
    }
    fn op(&self, other: &Self) -> Self {
        Self(self.0.min(other.0))
    }
}

pub trait Monoid {
    fn id() -> Self;
    fn op(&self, other: &Self) -> Self;
}

pub struct LazySegTree<S, F, Map> {
    ss: Box<[S]>,
    fs: Box<[F]>,
    map: Map,
}

impl<S: Monoid, F: Monoid, Map: Fn(&F, &S) -> S> LazySegTree<S, F, Map> {
    pub fn new(n: usize, map: Map) -> Self {
        use std::iter::repeat_with;
        let len = 2 * n.next_power_of_two();
        Self {
            ss: repeat_with(S::id).take(len).collect(), 
            fs: repeat_with(F::id).take(len).collect(), 
            map, 
        }
    }
    fn len(&self) -> usize {
        self.ss.len() / 2
    }
    fn propagate(&mut self, i: usize) {
        let h = 8 * std::mem::size_of::<usize>() as u32 - i.leading_zeros();
        for k in (1..h).rev() {
            let p = i >> k;
            let l = 2 * p;
            let r = 2 * p + 1;
            self.ss[l] = (self.map)(&self.fs[p], &self.ss[l]);
            self.ss[r] = (self.map)(&self.fs[p], &self.ss[r]);
            self.fs[l] = self.fs[p].op(&self.fs[l]);
            self.fs[r] = self.fs[p].op(&self.fs[r]);
            self.fs[p] = F::id();
        }
    }
    pub fn prod(&mut self, l: usize, r: usize) -> S {
        assert!(l <= r);
        assert!(r <= self.len());
        let mut l = l + self.len();
        let mut r = r + self.len();
        let ln = l >> l.trailing_zeros();
        let rn = r >> r.trailing_zeros();
        self.propagate(ln);
        self.propagate(rn - 1);
        let mut lv = S::id();
        let mut rv = S::id();
        while l < r {
            if l % 2 == 1 {
                lv = lv.op(&self.ss[l]);
                l += 1;
            }
            if r % 2 == 1 {
                r -= 1;
                rv = rv.op(&self.ss[r]);
            }
            l /= 2;
            r /= 2;
        }
        lv.op(&rv)
    }
    pub fn set(&mut self, i: usize, v: S) {
        let mut i = i + self.len();
        self.propagate(i);
        self.ss[i] = v;
        while i > 1 {
            i /= 2;
            self.ss[i] = self.ss[2 * i].op(&self.ss[2 * i + 1]);
        }
    }
    pub fn apply(&mut self, l: usize, r: usize, f: &F) {
        assert!(l <= r);
        assert!(r <= self.len());
        let mut li = l + self.len();
        let mut ri = r + self.len();
        let ln = li >> li.trailing_zeros();
        let rn = ri >> ri.trailing_zeros();
        self.propagate(ln);
        self.propagate(rn - 1);
        while li < ri {
            if li % 2 == 1 {
                self.fs[li] = f.op(&self.fs[li]);
                self.ss[li] = (self.map)(f, &self.ss[li]);
                li += 1;
            }
            if ri % 2 == 1 {
                ri -= 1;
                self.fs[ri] = f.op(&self.fs[ri]);
                self.ss[ri] = (self.map)(f, &self.ss[ri]);
            }
            li /= 2;
            ri /= 2;
        }
        let mut l = (l + self.len()) / 2;
        let mut r = (r + self.len() - 1) / 2;
        while l > 0 {
            if l < ln {
                self.ss[l] = self.ss[2 * l].op(&self.ss[2 * l + 1]);
            }
            if /*l != r && */r < rn - 1 {
                self.ss[r] = self.ss[2 * r].op(&self.ss[2 * r + 1]);
            }
            l /= 2;
            r /= 2;
        }
    }
}

impl<S: Monoid + Clone, F: Monoid, Map: Fn(&F, &S) -> S> LazySegTree<S, F, Map> {
    pub fn from_slice(a: &[S], map: Map) -> Self {
        use std::iter::repeat_with;
        let n = a.len();
        let len = 2 * n.next_power_of_two();
        let mut ss: Vec<_> = repeat_with(S::id).take(n).collect();
        ss.extend_from_slice(a);
        for i in (1..n).rev() {
            ss[i] = ss[2 * i].op(&ss[2 * i + 1]);
        }
        Self {
            ss: ss.into(), 
            fs: repeat_with(F::id).take(len).collect(), 
            map, 
        }
    }
}

// -----------------------------------------------------------------------------
pub mod kyoproio {
    use std::io::prelude::*;
    pub trait Input {
        fn str(&mut self) -> &str;
        fn input<T: InputParse>(&mut self) -> T {
            T::input(self)
        }
        fn iter<T: InputParse>(&mut self) -> Iter<T, Self> {
            Iter(self, std::marker::PhantomData)
        }
        fn seq<T: InputParse, B: std::iter::FromIterator<T>>(&mut self, n: usize) -> B {
            self.iter().take(n).collect()
        }
    }
    pub struct KInput<R> {
        src: R,
        buf: String,
        pos: usize,
    }
    impl<R: BufRead> KInput<R> {
        pub fn new(src: R) -> Self {
            Self {
                src,
                buf: String::with_capacity(1024),
                pos: 0,
            }
        }
    }
    impl<R: BufRead> Input for KInput<R> {
        fn str(&mut self) -> &str {
            loop {
                if self.pos >= self.buf.len() {
                    self.pos = 0;
                    self.buf.clear();
                    if self.src.read_line(&mut self.buf).expect("io error") == 0 {
                        return &self.buf;
                    }
                }
                let range = self.pos
                    ..self.buf[self.pos..]
                        .find(|c: char| c.is_ascii_whitespace())
                        .map(|i| i + self.pos)
                        .unwrap_or_else(|| self.buf.len());
                self.pos = range.end + 1;
                if range.end > range.start {
                    return &self.buf[range];
                }
            }
        }
    }
    pub struct Iter<'a, T, I: ?Sized>(&'a mut I, std::marker::PhantomData<*const T>);
    impl<'a, T: InputParse, I: Input + ?Sized> Iterator for Iter<'a, T, I> {
        type Item = T;
        fn next(&mut self) -> Option<T> {
            Some(self.0.input())
        }
    }
    pub trait InputParse: Sized {
        fn input<I: Input + ?Sized>(src: &mut I) -> Self;
    }
    impl InputParse for Vec<u8> {
        fn input<I: Input + ?Sized>(src: &mut I) -> Self {
            src.str().as_bytes().to_owned()
        }
    }
    macro_rules! from_str_impl {
        { $($T:ty)* } => {
            $(impl InputParse for $T {
                fn input<I: Input + ?Sized>(src: &mut I) -> Self {
                    src.str().parse::<$T>().expect("parse error")
                }
            })*
        }
    }
    from_str_impl! {
        String char bool f32 f64 isize i8 i16 i32 i64 i128 usize u8 u16 u32 u64 u128
    }
    macro_rules! tuple_impl {
        ($H:ident $($T:ident)*) => {
            impl<$H: InputParse, $($T: InputParse),*> InputParse for ($H, $($T),*) {
                fn input<I: Input + ?Sized>(src: &mut I) -> Self {
                    ($H::input(src), $($T::input(src)),*)
                }
            }
            tuple_impl!($($T)*);
        };
        () => {}
    }
    tuple_impl!(A B C D E F G);
    #[macro_export]
    macro_rules! kdbg {
        ($($v:expr),*) => {
            if cfg!(debug_assertions) { dbg!($($v),*) } else { ($($v),*) }
        }
    }
}
0