結果

問題 No.1675 Strange Minimum Query
ユーザー phsplsphspls
提出日時 2022-10-20 22:59:39
言語 Rust
(1.77.0)
結果
WA  
実行時間 -
コード長 4,169 bytes
コンパイル時間 2,182 ms
コンパイル使用メモリ 162,580 KB
実行使用メモリ 27,808 KB
最終ジャッジ日時 2023-09-13 03:09:23
合計ジャッジ時間 15,553 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,376 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 244 ms
7,584 KB
testcase_04 AC 251 ms
9,232 KB
testcase_05 AC 23 ms
6,416 KB
testcase_06 AC 291 ms
8,404 KB
testcase_07 AC 347 ms
10,648 KB
testcase_08 AC 1 ms
4,376 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 144 ms
21,220 KB
testcase_11 AC 62 ms
18,876 KB
testcase_12 AC 159 ms
22,892 KB
testcase_13 AC 160 ms
27,808 KB
testcase_14 AC 289 ms
27,344 KB
testcase_15 WA -
testcase_16 AC 1 ms
4,384 KB
testcase_17 AC 63 ms
7,920 KB
testcase_18 AC 88 ms
8,464 KB
testcase_19 AC 146 ms
21,996 KB
testcase_20 AC 295 ms
21,724 KB
testcase_21 AC 279 ms
23,872 KB
testcase_22 AC 359 ms
25,436 KB
testcase_23 AC 242 ms
11,272 KB
testcase_24 AC 251 ms
15,912 KB
testcase_25 AC 161 ms
9,600 KB
testcase_26 AC 91 ms
12,024 KB
testcase_27 AC 253 ms
24,408 KB
testcase_28 AC 135 ms
19,700 KB
testcase_29 AC 106 ms
21,224 KB
testcase_30 AC 89 ms
12,216 KB
testcase_31 AC 335 ms
14,888 KB
testcase_32 AC 472 ms
27,196 KB
testcase_33 AC 485 ms
27,340 KB
testcase_34 AC 492 ms
27,324 KB
testcase_35 AC 359 ms
27,352 KB
testcase_36 AC 358 ms
27,348 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: unused imports: `cmp::Reverse`, `collections::BinaryHeap`
 --> Main.rs:1:11
  |
1 | use std::{collections::BinaryHeap, cmp::Reverse};
  |           ^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^
  |
  = note: `#[warn(unused_imports)]` on by default

warning: unused variable: `x`
   --> Main.rs:119:93
    |
119 |     let mut segtree = LazySegmentTree::new(n, 1e9 as usize, 1e9 as usize, |x, y| x.min(y), |x, y| y, |x, y| y);
    |                                                                                             ^ help: if this is intentional, prefix it with an underscore: `_x`
    |
    = note: `#[warn(unused_variables)]` on by default

warning: unused variable: `x`
   --> Main.rs:119:103
    |
119 |     let mut segtree = LazySegmentTree::new(n, 1e9 as usize, 1e9 as usize, |x, y| x.min(y), |x, y| y, |x, y| y);
    |                                                                                                       ^ help: if this is intentional, prefix it with an underscore: `_x`

warning: field `orgn` is never read
 --> Main.rs:6:5
  |
4 | struct LazySegmentTree<F, G, H, T, U> {
  |        --------------- field in this struct
5 |     n: usize,
6 |     orgn: usize,
  |     ^^^^
  |
  = note: `LazySegmentTree` 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: 4 warnings emitted

ソースコード

diff # 

use std::{collections::BinaryHeap, cmp::Reverse};

#[derive(Debug, Clone)]
struct LazySegmentTree<F, G, H, T, U> {
    n: usize,
    orgn: usize,
    unit: T,
    mem: Vec<T>,
    lazy_unit: U,
    lazy: Vec<U>,
    operator: F,
    mapper: G,
    composer: H,
}

impl<F, G, H, T, U> LazySegmentTree<F, G, H, T, U> where
T: std::fmt::Debug + Copy,
U: std::fmt::Debug + std::cmp::PartialEq + Copy,
F: Fn(T, T) -> T,
G: Fn(T, U) -> T,
H: Fn(U, U) -> U,
{
    fn new(n: usize, unit: T, lazy_unit: U, operator: F, mapper: G, composer: H) -> Self {
        let mut size = 1usize;
        while size < n { size *= 2; }
        Self {
            n: size,
            orgn: n,
            unit: unit,
            mem: vec![unit; size*2-1],
            lazy_unit: lazy_unit,
            lazy: vec![lazy_unit; size*2-1],
            operator: operator,
            mapper: mapper,
            composer: composer,
        }
    }

    fn find_closed(&mut self, l: usize, r: usize) -> T {
        self.find(l, r+1)
    }

    fn find(&mut self, l: usize, r: usize) -> T {
        self._find(l, r, 0, 0, self.n)
    }

    fn update_closed(&mut self, left: usize, right: usize, val: U) {
        self.update(left, right+1, val);
    }

    fn update(&mut self, left: usize, right: usize, val: U) {
        self._update(left, right, val, 0, 0, self.n);
    }

    fn get(&mut self, pos: usize) -> T {
        self.find_closed(pos, pos)
    }

    fn _evaluate(&mut self, k: usize) {
        if self.lazy[k] == self.lazy_unit { return; }
        if k < self.n-1 {
            let left = self._left(k);
            let right = self._right(k);
            self.lazy[left] = (self.composer)(self.lazy[left], self.lazy[k]);
            self.lazy[right] = (self.composer)(self.lazy[right], self.lazy[k]);
        }
        self.mem[k] = (self.mapper)(self.mem[k], self.lazy[k]);
        self.lazy[k] = self.lazy_unit;
    }
    fn _find(&mut self, a: usize, b: usize, nodenum: usize, l: usize, r: usize) -> T {
        self._evaluate(nodenum);
        if r <= a || b <= l {
            self.unit
        } else if a <= l && r <= b {
            self.mem[nodenum]
        } else {
            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 _update(&mut self, a: usize, b: usize, x: U, nodenum: usize, l: usize, r: usize) {
        self._evaluate(nodenum);
        if a <= l && r <= b {
            self.lazy[nodenum] = (self.composer)(self.lazy[nodenum], x);
            self._evaluate(nodenum);
        } else if a < r && l < b {
            self._update(a, b, x, self._left(nodenum), l, (l + r) / 2);
            self._update(a, b, x, self._right(nodenum), (l + r) / 2, r);
            self.mem[nodenum] = (self.operator)(self.mem[self._left(nodenum)], self.mem[self._right(nodenum)]);
        }
    }
    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 nq = String::new();
    std::io::stdin().read_line(&mut nq).ok();
    let nq: Vec<usize> = nq.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();
    let n = nq[0];
    let q = nq[1];
    let mut queries = (0..q).map(|_| {
            let mut temp = String::new();
            std::io::stdin().read_line(&mut temp).ok();
            let temp: Vec<usize> = temp.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();
            (temp[0]-1, temp[1]-1, temp[2])
        })
        .collect::<Vec<_>>();

    queries.sort_by_key(|&(_, _, b)| b);
    let mut segtree = LazySegmentTree::new(n, 1e9 as usize, 1e9 as usize, |x, y| x.min(y), |x, y| y, |x, y| y);
    for &(l, r, b) in queries.iter() {
        segtree.update_closed(l, r, b);
    }
    if queries.iter().filter(|&&(l, r, b)| b < 1e9 as usize && b != segtree.find_closed(l, r)).count() == 0 {
        println!("{}", (0..n).map(|i| segtree.get(i).to_string()).collect::<Vec<_>>().join(" "));
    } else {
        println!("-1");
    }
}
0