結果

問題 No.1435 Mmm......
ユーザー fukafukatanifukafukatani
提出日時 2021-04-04 10:28:22
言語 Rust
(1.83.0 + proconio)
結果
TLE  
実行時間 -
コード長 4,123 bytes
コンパイル時間 13,888 ms
コンパイル使用メモリ 383,712 KB
実行使用メモリ 23,420 KB
最終ジャッジ日時 2024-12-26 16:29:17
合計ジャッジ時間 32,170 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
13,636 KB
testcase_01 AC 1 ms
10,496 KB
testcase_02 AC 1 ms
10,496 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 1 ms
5,248 KB
testcase_05 AC 1 ms
5,248 KB
testcase_06 AC 385 ms
9,740 KB
testcase_07 AC 480 ms
11,252 KB
testcase_08 AC 513 ms
12,712 KB
testcase_09 AC 548 ms
11,840 KB
testcase_10 AC 397 ms
10,660 KB
testcase_11 AC 378 ms
10,468 KB
testcase_12 AC 396 ms
9,972 KB
testcase_13 AC 355 ms
9,768 KB
testcase_14 AC 268 ms
7,680 KB
testcase_15 AC 542 ms
13,016 KB
testcase_16 AC 449 ms
11,176 KB
testcase_17 AC 348 ms
8,400 KB
testcase_18 AC 687 ms
13,064 KB
testcase_19 AC 394 ms
10,400 KB
testcase_20 AC 512 ms
12,128 KB
testcase_21 TLE -
testcase_22 TLE -
testcase_23 AC 603 ms
13,108 KB
testcase_24 AC 555 ms
13,228 KB
testcase_25 AC 567 ms
13,096 KB
testcase_26 AC 565 ms
13,096 KB
testcase_27 AC 626 ms
23,420 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: value assigned to `l` is never read
  --> src/main.rs:52:21
   |
52 |             let mut l = 0;
   |                     ^
   |
   = help: maybe it is overwritten before being read?
   = note: `#[warn(unused_assignments)]` on by default

ソースコード

diff # 

#![allow(unused_imports)]
use std::cmp::*;
use std::collections::*;
use std::io::Write;
use std::ops::Bound::*;

#[allow(unused_macros)]
macro_rules! debug {
    ($($e:expr),*) => {
        #[cfg(debug_assertions)]
        $({
            let (e, mut err) = (stringify!($e), std::io::stderr());
            writeln!(err, "{} = {:?}", e, $e).unwrap()
        })*
    };
}

fn main() {
    let n = read::<usize>();
    let mut ans = 0i64;
    let mut a = read_vec::<i64>();

    for ti in 0..2 {
        let mut aa = a
            .iter()
            .enumerate()
            .map(|(i, &x)| (x, i))
            .collect::<Vec<_>>();

        if ti == 0 {
            aa.sort_by_key(|&(x, i)| (x, Reverse(i)));
        } else {
            aa.sort();
        }
        let mut seg = SegTree::new(n, 0i64, max);
        for i in 0..n {
            seg.update(i, a[i]);
        }

        let mut poses = BTreeSet::new();
        for (m2, i) in aa {
            poses.insert(i);
            let r_iter = poses.range((Unbounded, Excluded(i)));
            let r;
            if let Some(x) = r_iter.rev().next() {
                r = x + 1;
            } else {
                r = 0;
            }

            let mut l_iter = poses.range((Excluded(i), Unbounded));
            let mut l = 0;
            if let Some(x) = l_iter.next() {
                l = *x;
            } else {
                continue;
            }
            let m1 = a[l];
            let ll;
            if let Some(x) = l_iter.next() {
                ll = x - 1;
            } else {
                ll = n - 1;
            }
            // debug!((m2, r, l, ll));
            let m = seg.query(i, l + 1);
            if m > m1 + m2 {
                continue;
            }
            let mut lld = l;
            for j in l..=ll {
                let m = seg.query(i, j + 1);
                if m > m1 + m2 {
                    continue;
                }
                lld = j;
            }
            let mut rd = i;
            for j in (r..i).rev() {
                let m = seg.query(j, i + 1);
                if m > m1 + m2 {
                    continue;
                }
                rd = j;
            }
            let temp = (lld - l + 1) as i64 * (i - rd + 1) as i64;
            // debug!((i, lld, rd, temp));
            ans += temp;
        }
        a.reverse();
    }
    println!("{}", ans);
}

fn read<T: std::str::FromStr>() -> T {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).ok();
    s.trim().parse().ok().unwrap()
}

fn read_vec<T: std::str::FromStr>() -> Vec<T> {
    read::<String>()
        .split_whitespace()
        .map(|e| e.parse().ok().unwrap())
        .collect()
}

#[derive(Clone)]
struct SegTree<T, F>
where
    F: Fn(T, T) -> T,
    T: std::clone::Clone + std::marker::Copy,
{
    n: usize,
    dat: Vec<T>,
    init: T,
    functor: F,
}

impl<T, F> SegTree<T, F>
where
    F: Fn(T, T) -> T,
    T: std::clone::Clone + std::marker::Copy,
{
    fn new(n: usize, init: T, f: F) -> SegTree<T, F> {
        let mut m = 1;
        // For simplicity, we use 2 ** n sized SegTree.
        while m < n {
            m *= 2;
        }
        SegTree {
            n: m,
            dat: vec![init; 2 * m - 1],
            init: init,
            functor: f,
        }
    }

    // dat[k] = a;
    fn update(&mut self, k: usize, a: T) {
        let mut k = k;
        k += self.n - 1;
        self.dat[k] = a;
        while k > 0 {
            k = (k - 1) / 2;
            self.dat[k] = (self.functor)(self.dat[k * 2 + 1], self.dat[k * 2 + 2]);
        }
    }

    // [a, b)
    fn query(&self, a: usize, b: usize) -> T {
        self.query_inner(a, b, 0, 0, self.n)
    }

    fn query_inner(&self, a: usize, b: usize, k: usize, l: usize, r: usize) -> T {
        if r <= a || b <= l {
            return self.init;
        }
        if a <= l && r <= b {
            return self.dat[k];
        }

        let vl = self.query_inner(a, b, k * 2 + 1, l, (l + r) / 2);
        let vr = self.query_inner(a, b, k * 2 + 2, (l + r) / 2, r);
        (self.functor)(vl, vr)
    }
}
0