結果

問題 No.1435 Mmm......
ユーザー phspls
提出日時 2022-11-07 01:46:24
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 434 ms / 2,000 ms
コード長 2,769 bytes
コンパイル時間 14,663 ms
コンパイル使用メモリ 400,580 KB
実行使用メモリ 17,908 KB
最終ジャッジ日時 2024-07-20 12:10:16
合計ジャッジ時間 25,286 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 24
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: field `orgn` is never read
 --> src/main.rs:7:5
  |
5 | struct SegmentTree<F, T> {
  |        ----------- field in this struct
6 |     n: usize,
7 |     orgn: usize,
  |     ^^^^
  |
  = note: `SegmentTree` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
  = note: `#[warn(dead_code)]` on by default

warning: methods `find_closed` and `get` are never used
  --> src/main.rs:29:8
   |
13 | / impl<F, T> SegmentTree<F, T> where
14 | | T: std::fmt::Debug + Copy,
15 | | F: Fn(T, T) -> T
   | |________________- methods in this implementation
...
29 |       fn find_closed(&self, l: usize, r: usize) -> T {
   |          ^^^^^^^^^^^
...
46 |       fn get(&mut self, pos: usize) -> T {
   |          ^^^

ソースコード

diff #
プレゼンテーションモードにする

const INF: isize = 1isize << 60;
#[derive(Debug, Clone)]
struct SegmentTree<F, T> {
    n: usize,
    orgn: usize,
    unit: T,
    mem: Vec<T>,
    operator: F
}
impl<F, T> SegmentTree<F, T> where
T: std::fmt::Debug + Copy,
F: Fn(T, T) -> T
{
    fn new(n: usize, unit: T, operator: F) -> Self {
        let mut size = 1usize;
        while size < n { size *= 2; }
        Self {
            n: size,
            orgn: n,
            unit: unit,
            mem: vec![unit; size*2-1],
            operator: operator,
        }
    }
    fn find_closed(&self, l: usize, r: usize) -> T {
        self.find(l, r+1)
    }
    fn find(&self, l: usize, r: usize) -> T {
        self._find(l, r, 0, 0, self.n)
    }
    fn set(&mut self, pos: usize, val: T) {
        let mut pos = pos + self.n - 1;
        self.mem[pos] = val;
        while pos > 0 {
            pos = self._parent(pos);
            self.mem[pos] = (self.operator)(self.mem[self._left(pos)], self.mem[self._right(pos)]);
        }
    }
    fn get(&mut self, pos: usize) -> T {
        self.mem[pos + self.n - 1]
    }
    fn _find(&self, a: usize, b: usize, nodenum: usize, l: usize, r: usize) -> T {
        if r <= a || b <= l {
            return self.unit;
        } else if a <= l && r <= b {
            return self.mem[nodenum];
        }
        let left = self._find(a, b, self._left(nodenum), l, (l+r)/2);
        let right = self._find(a, b, self._right(nodenum), (l+r)/2, r);
        (self.operator)(left, right)
    }
    fn _left(&self, k: usize) -> usize {
        2*k+1
    }
    fn _right(&self, k: usize) -> usize {
        2*k+2
    }
    fn _parent(&self, k: usize) -> usize {
        (k-1)/2
    }
}
fn main() {
    let mut n = String::new();
    std::io::stdin().read_line(&mut n).ok();
    let n: usize = n.trim().parse().unwrap();
    let mut a = String::new();
    std::io::stdin().read_line(&mut a).ok();
    let a: Vec<isize> = a.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();
    let operator = |(lmax, lmin1, lmin2): (isize, isize, isize), (rmax, rmin1, rmin2): (isize, isize, isize)| {
        let maxval = lmax.max(rmax);
        let mut mins = vec![lmin1, lmin2, rmin1, rmin2];
        mins.sort();
        let min1 = mins[0];
        let min2 = mins[1];
        (maxval, min1, min2)
    };
    let mut segtree = SegmentTree::new(n, (-INF, INF, INF), operator);
    for i in 0..n {
        segtree.set(i, (a[i], a[i], INF));
    }
    let mut result = 0usize;
    let mut idx = n;
    for i in (0..n).rev() {
        while idx - i >= 2 {
            let (maxval, min1, min2) = segtree.find(i, idx);
            if maxval <= min1 + min2 { break; }
            idx -= 1;
        }
        result += idx - i - 1;
    }
    println!("{}", result);
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0