結果

問題 No.880 Yet Another Segment Tree Problem
ユーザー akakimidoriakakimidori
提出日時 2021-08-23 18:52:48
言語 Rust
(1.77.0 + proconio)
結果
AC  
実行時間 267 ms / 5,000 ms
コード長 6,904 bytes
コンパイル時間 13,861 ms
コンパイル使用メモリ 384,420 KB
実行使用メモリ 13,244 KB
最終ジャッジ日時 2024-09-22 19:58:37
合計ジャッジ時間 19,235 ms
ジャッジサーバーID
(参考情報)
judge1 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,816 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 1 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 1 ms
6,944 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,944 KB
testcase_10 AC 2 ms
6,944 KB
testcase_11 AC 246 ms
12,368 KB
testcase_12 AC 238 ms
12,580 KB
testcase_13 AC 169 ms
12,324 KB
testcase_14 AC 236 ms
12,964 KB
testcase_15 AC 254 ms
13,028 KB
testcase_16 AC 264 ms
13,020 KB
testcase_17 AC 205 ms
13,244 KB
testcase_18 AC 201 ms
13,032 KB
testcase_19 AC 115 ms
12,844 KB
testcase_20 AC 116 ms
13,124 KB
testcase_21 AC 121 ms
12,916 KB
testcase_22 AC 114 ms
13,080 KB
testcase_23 AC 118 ms
12,900 KB
testcase_24 AC 105 ms
12,980 KB
testcase_25 AC 111 ms
13,168 KB
testcase_26 AC 113 ms
12,880 KB
testcase_27 AC 110 ms
13,044 KB
testcase_28 AC 117 ms
12,948 KB
testcase_29 AC 234 ms
13,040 KB
testcase_30 AC 246 ms
12,988 KB
testcase_31 AC 267 ms
13,164 KB
testcase_32 AC 64 ms
13,108 KB
testcase_33 AC 102 ms
12,964 KB
testcase_34 AC 109 ms
13,044 KB
testcase_35 AC 102 ms
13,060 KB
testcase_36 AC 107 ms
12,936 KB
testcase_37 AC 105 ms
13,052 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

// ---------- begin binary_gcd ----------
pub fn binary_gcd(a: u64, b: u64) -> u64 {
    if a == 0 || b == 0 {
        return a + b;
    }
    let x = a.trailing_zeros();
    let y = b.trailing_zeros();
    let mut a = a >> x;
    let mut b = b >> y;
    while a != b {
        let x = (a ^ b).trailing_zeros();
        if a < b {
            std::mem::swap(&mut a, &mut b);
        }
        a = (a - b) >> x;
    }
    a << x.min(y)
}
// ---------- end binary_gcd ----------

pub trait DFSTest: Clone {
    fn merge(&mut self, l: &Self, r: &Self);
    fn propagate(&mut self, c: &mut [Self]);
}

struct SegmentTree<T> {
    data: Vec<T>,
    size: usize,
    stack: Vec<(usize, usize, usize)>,
}

impl<T> SegmentTree<T>
where
    T: DFSTest,
{
    fn new(ini: Vec<T>) -> Self {
        let size = ini.len().next_power_of_two();
        let mut data = vec![ini[0].clone(); 2 * size];
        for (data, ini) in data[size..].iter_mut().zip(ini) {
            *data = ini;
        }
        for i in (1..size).rev() {
            let (f, t) = data.split_at_mut(2 * i);
            f[i].merge(&t[0], &t[1]);
        }
        Self {
            data,
            size,
            stack: vec![],
        }
    }
    fn update_bool<F>(&mut self, l: usize, r: usize, mut f: F)
    where
        F: FnMut(&mut T) -> bool,
    {
        self.stack.clear();
        self.stack.push((1, 0, self.size));
        while let Some((v, x, y)) = self.stack.pop() {
            if v >= 2 * self.size {
                let v = !v;
                let (f, t) = self.data.split_at_mut(2 * v);
                f[v].merge(&t[0], &t[1]);
                continue;
            }
            if l <= x && y <= r && f(&mut self.data[v]) {
                continue;
            }
            assert!(v < self.size);
            {
                let (f, t) = self.data.split_at_mut(2 * v);
                f[v].propagate(&mut t[..2]);
            }
            let mid = (x + y) / 2;
            self.stack.push((!v, x, y));
            if mid < r {
                self.stack.push((2 * v + 1, mid, y));
            }
            if l < mid {
                self.stack.push((2 * v, x, mid));
            }
        }
    }
    fn update<F>(&mut self, l: usize, r: usize, mut f: F)
    where
        F: FnMut(&mut T)
    {
        self.update_bool(l, r, |node| {
            f(node);
            true
        });
    }
    fn query<F>(&mut self, l: usize, r: usize, mut f: F)
    where
        F: FnMut(&T),
    {
        self.stack.clear();
        self.stack.push((1, 0, self.size));
        while let Some((v, x, y)) = self.stack.pop() {
            if l <= x && y <= r {
                f(&self.data[v]);
                continue;
            }
            assert!(v < self.size);
            {
                let (f, t) = self.data.split_at_mut(2 * v);
                f[v].propagate(&mut t[..2]);
            }
            let mid = (x + y) / 2;
            if mid < r {
                self.stack.push((2 * v + 1, mid, y));
            }
            if l < mid {
                self.stack.push((2 * v, x, mid));
            }
        }
    }
}

#[derive(Clone)]
struct Node {
    sum: u64,
    max: u64,
    len: u64,
    lcm: u64,
}

impl Node {
    fn assign(&mut self, x: u64) {
        self.sum = self.len * x;
        self.max = x;
        self.lcm = x;
    }
    fn chgcd(&mut self, x: u64) {
        assert!(self.max * self.len == self.sum);
        let g = binary_gcd(x, self.max);
        self.assign(g);
    }
}

const UPPER: u64 = 1_000_000_000 + 1;

impl DFSTest for Node {
    fn merge(&mut self, l: &Self, r: &Self) {
        self.sum = l.sum + r.sum;
        self.max = l.max.max(r.max);
        self.len = l.len + r.len;
        self.lcm = UPPER.min(l.lcm * r.lcm / binary_gcd(l.lcm, r.lcm));
    }
    fn propagate(&mut self, c: &mut [Self]) {
        if self.max * self.len == self.sum {
            for c in c.iter_mut() {
                c.assign(self.max);
            }
        }
    }
}

// ---------- begin Scanner(require delimiter) ----------
mod scanner {
    pub struct Scanner<R> {
        reader: R,
        buf: Vec<u8>,
    }
    #[allow(dead_code)]
    impl<R: std::io::BufRead> Scanner<R> {
        pub fn new(reader: R) -> Self {
            Scanner {
                reader: reader,
                buf: Vec::with_capacity(1024),
            }
        }
        fn read(&mut self, del: u8) {
            self.buf.clear();
            self.reader.read_until(del, &mut self.buf).ok();
            assert!(self.buf.pop().unwrap() == del);
        }
        pub fn next<T: std::str::FromStr>(&mut self, del: u8) -> T {
            self.read(del);
            std::str::from_utf8(&self.buf)
                .unwrap()
                .trim()
                .parse::<T>()
                .ok()
                .unwrap()
        }
        pub fn next_bytes(&mut self, del: u8) -> Vec<u8> {
            self.read(del);
            std::str::from_utf8(&self.buf)
                .unwrap()
                .trim()
                .bytes()
                .collect()
        }
    }
}
// ---------- end scanner(require delimiter) ----------

use std::io::Write;

fn main() {
    let stdin = std::io::stdin();
    let mut sc = scanner::Scanner::new(stdin.lock());
    run(&mut sc);
}


fn run<R: std::io::BufRead>(sc: &mut scanner::Scanner<R>) {
    let out = std::io::stdout();
    let mut out = std::io::BufWriter::new(out.lock());
    let n: usize = sc.next(b' ');
    let q: usize = sc.next(b'\n');
    let mut ini = Vec::with_capacity(n);
    for i in 0..n {
        let d = if i == n - 1 {b'\n'} else {b' '};
        let v: u64 = sc.next(d);
        ini.push(Node {
            sum: v,
            max: v,
            lcm: v,
            len: 1,
        });
    }
    let mut seg = SegmentTree::new(ini);
    for _ in 0..q {
        let op: u8 = sc.next(b' ');
        let (l, r, x) = if op <= 2 {
            let l: usize = sc.next(b' ');
            let r: usize = sc.next(b' ');
            let x: u64 = sc.next(b'\n');
            (l - 1, r, x)
        } else {
            let l: usize = sc.next(b' ');
            let r: usize = sc.next(b'\n');
            (l - 1, r, 0)
        };
        if op == 1 {
            seg.update(l, r, |node| node.assign(x));
        } else if op == 2 {
            seg.update_bool(l, r, |node| {
                if x % node.lcm == 0 {
                    return true;
                }
                node.max * node.len == node.sum && {
                    node.chgcd(x);
                    true
                }
            });
        } else if op == 3 {
            let mut ans = 0;
            seg.query(l, r, |node| ans = ans.max(node.max));
            writeln!(out, "{}", ans).ok();
        } else {
            let mut ans = 0;
            seg.query(l, r, |node| ans += node.sum);
            writeln!(out, "{}", ans).ok();
        }
    }
}

0