結果
問題 | No.2220 Range Insert & Point Mex |
ユーザー |
|
提出日時 | 2023-02-18 01:26:14 |
言語 | Rust (1.83.0 + proconio) |
結果 |
AC
|
実行時間 | 137 ms / 2,000 ms |
コード長 | 6,956 bytes |
コンパイル時間 | 12,872 ms |
コンパイル使用メモリ | 407,120 KB |
実行使用メモリ | 17,792 KB |
最終ジャッジ日時 | 2024-07-21 12:58:21 |
合計ジャッジ時間 | 17,126 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 36 |
ソースコード
use std::cmp::*;use std::io::{Write, BufWriter};// https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8macro_rules! input {($($r:tt)*) => {let stdin = std::io::stdin();let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock()));let mut next = move || -> String{bytes.by_ref().map(|r|r.unwrap() as char).skip_while(|c|c.is_whitespace()).take_while(|c|!c.is_whitespace()).collect()};input_inner!{next, $($r)*}};}macro_rules! input_inner {($next:expr) => {};($next:expr,) => {};($next:expr, $var:ident : $t:tt $($r:tt)*) => {let $var = read_value!($next, $t);input_inner!{$next $($r)*}};}macro_rules! read_value {($next:expr, ( $($t:tt),* )) => { ($(read_value!($next, $t)),*) };($next:expr, [ $t:tt ; $len:expr ]) => {(0..$len).map(|_| read_value!($next, $t)).collect::<Vec<_>>()};($next:expr, $t:ty) => ($next().parse::<$t>().expect("Parse error"));}// Segment Tree. This data structure is useful for fast folding on intervals of an array// whose elements are elements of monoid I. Note that constructing this tree requires the identity// element of I and the operation of I.// Verified by: yukicoder No. 259 (http://yukicoder.me/submissions/100581)// AGC015-E (http://agc015.contest.atcoder.jp/submissions/1461001)// yukicoder No. 833 (https://yukicoder.me/submissions/703521)struct SegTree<I, BiOp> {n: usize,orign: usize,dat: Vec<I>,op: BiOp,e: I,}impl<I, BiOp> SegTree<I, BiOp>where BiOp: Fn(I, I) -> I,I: Copy {pub fn new(n_: usize, op: BiOp, e: I) -> Self {let mut n = 1;while n < n_ { n *= 2; } // n is a power of 2SegTree {n: n, orign: n_, dat: vec![e; 2 * n - 1], op: op, e: e}}// ary[k] <- vpub fn update(&mut self, idx: usize, v: I) {debug_assert!(idx < self.orign);let mut k = idx + self.n - 1;self.dat[k] = v;while k > 0 {k = (k - 1) / 2;self.dat[k] = (self.op)(self.dat[2 * k + 1], self.dat[2 * k + 2]);}}// [a, b) (half-inclusive)// http://proc-cpuinfo.fixstars.com/2017/07/optimize-segment-tree/#[allow(unused)]pub fn query(&self, rng: std::ops::Range<usize>) -> I {let (mut a, mut b) = (rng.start, rng.end);debug_assert!(a <= b);debug_assert!(b <= self.orign);let mut left = self.e;let mut right = self.e;a += self.n - 1;b += self.n - 1;while a < b {if (a & 1) == 0 {left = (self.op)(left, self.dat[a]);}if (b & 1) == 0 {right = (self.op)(self.dat[b - 1], right);}a = a / 2;b = (b - 1) / 2;}(self.op)(left, right)}}// Depends on: datastr/SegTree.rs// Verified by: https://yukicoder.me/submissions/717436impl<I, BiOp> SegTree<I, BiOp>where BiOp: Fn(I, I) -> I,I: Copy {// Port from https://github.com/atcoder/ac-library/blob/master/atcoder/segtree.hpp#[allow(unused)]fn max_right<F: Fn(I) -> bool>(&self, rng: std::ops::RangeFrom<usize>, f: &F,) -> usize {let mut l = rng.start;assert!(f(self.e));if l == self.orign {return self.orign;}l += self.n - 1;let mut sm = self.e;loop {while l % 2 == 1 {l = (l - 1) / 2;}if !f((self.op)(sm, self.dat[l])) {while l < self.n - 1 {l = 2 * l + 1;let val = (self.op)(sm, self.dat[l]);if f(val) {sm = val;l += 1;}}return std::cmp::min(self.orign, l + 1 - self.n);}sm = (self.op)(sm, self.dat[l]);l += 1;if (l + 1).is_power_of_two() { break; }}self.orign}// Port from https://github.com/atcoder/ac-library/blob/master/atcoder/segtree.hpp#[allow(unused)]fn min_left<F: Fn(I) -> bool>(&self, rng: std::ops::RangeTo<usize>, f: &F,) -> usize {let mut r = rng.end;if !f(self.e) {return r + 1;}if r == 0 {return 0;}r += self.n - 1;let mut sm = self.e;loop {r -= 1;while r > 0 && r % 2 == 0 {r = (r - 1) / 2;}if !f((self.op)(self.dat[r], sm)) {while r < self.n - 1 {r = 2 * r + 2;let val = (self.op)(self.dat[r], sm);if f(val) {sm = val;r -= 1;}}return r + 2 - self.n;}sm = (self.op)(self.dat[r], sm);if (r + 1).is_power_of_two() { break; }}0}}trait Bisect<T> {fn lower_bound(&self, val: &T) -> usize;fn upper_bound(&self, val: &T) -> usize;}impl<T: Ord> Bisect<T> for [T] {fn lower_bound(&self, val: &T) -> usize {let mut pass = self.len() + 1;let mut fail = 0;while pass - fail > 1 {let mid = (pass + fail) / 2;if &self[mid - 1] >= val {pass = mid;} else {fail = mid;}}pass - 1}fn upper_bound(&self, val: &T) -> usize {let mut pass = self.len() + 1;let mut fail = 0;while pass - fail > 1 {let mid = (pass + fail) / 2;if &self[mid - 1] > val {pass = mid;} else {fail = mid;}}pass - 1}}// Tags: plane-scanningfn main() {let out = std::io::stdout();let mut out = BufWriter::new(out.lock());macro_rules! puts {($($format:tt)*) => (let _ = write!(out,$($format)*););}input! {n: usize,lra: [(i64, i64, usize); n],q: usize,x: [i64; q],}const INF: i32 = 1 << 28;let mut st = SegTree::new(n, min, INF);for i in 0..n {st.update(i, 0);}let mut ev = vec![vec![]; q + 1];for (l, r, a) in lra {if a >= n { continue; }let l = x.lower_bound(&l);let r = x.upper_bound(&r);ev[l].push((a, 1));ev[r].push((a, -1));}for i in 0..q {for &(pos, kind) in &ev[i] {let old = st.query(pos..pos + 1);st.update(pos, old + kind);}let idx = st.max_right(0.., &|x| x != 0);puts!("{}\n", idx);}}