結果

問題 No.3568 Range Restriction
コンテスト
ユーザー akakimidori
提出日時 2026-06-05 22:12:18
言語 Rust
(1.94.0 + proconio + num + itertools)
コンパイル:
/usr/bin/rustc_custom
実行:
./target/release/main
結果
AC  
実行時間 156 ms / 2,000 ms
コード長 4,520 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,211 ms
コンパイル使用メモリ 202,956 KB
実行使用メモリ 41,472 KB
最終ジャッジ日時 2026-06-06 02:00:20
合計ジャッジ時間 13,807 ms
ジャッジサーバーID
(参考情報)
judge3_0 / judge2_1
純コード判定待ち
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 1
other AC * 21
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: type alias `Map` is never used
   --> src/main.rs:115:6
    |
115 | type Map<K, V> = BTreeMap<K, V>;
    |      ^^^
    |
    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default

warning: type alias `Set` is never used
   --> src/main.rs:116:6
    |
116 | type Set<T> = BTreeSet<T>;
    |      ^^^

warning: type alias `Deque` is never used
   --> src/main.rs:117:6
    |
117 | type Deque<T> = VecDeque<T>;
    |      ^^^^^

ソースコード

diff #
raw source code

fn run<W: Write>(sc: &mut scanner::Scanner, out: &mut std::io::BufWriter<W>) {
    let t: u32 = sc.next();
    for _ in 0..t {
        let n: usize = sc.next();
        let m: usize = sc.next();
        let mut cond = vec![Cond::default(); m];
        for p in cond.iter_mut() {
            p.x = sc.next();
            p.y = sc.next();
            p.z = sc.next();
            p.x -= 1;
            p.y -= 1;
            p.z -= 1;
            p.v = sc.next();
            p.l = sc.next();
            p.r = sc.next();
        }
        if let Some(a) = solve(n, cond) {
            use util::*;
            writeln!(out, "{}", a.iter().join(" ")).ok();
        } else {
            writeln!(out, "-1").ok();
        }
    }
}

#[derive(Clone, Copy, Default)]
struct Cond {
    x: usize,
    y: usize,
    z: usize,
    v: i32,
    l: i32,
    r: i32,
}

fn solve(n: usize, p: Vec<Cond>) -> Option<Vec<i32>> {
    let mut low = vec![0; n];
    let mut up = vec![10i32.pow(9); n];
    let mut h = vec![std::collections::BinaryHeap::new(); n];
    let mut used = vec![false; p.len()];
    let mut dfs = vec![];
    for (i, c) in p.iter().enumerate() {
        if c.v == 0 {
            used[i] = true;
            dfs.push(i);
        } else {
            let v = (c.v + 1) / 2;
            h[c.x].push((-v, i));
            h[c.y].push((-v, i));
        }
    }
    while let Some(i) = dfs.pop() {
        let c = p[i];
        low[c.z].chmax(c.l);
        up[c.z].chmin(c.r);
        while h[c.z].peek().map_or(false, |p| used[p.1] || p.0 + low[c.z] >= 0) {
            let (_, k) = h[c.z].pop().unwrap();
            if used[k] {
                continue;
            }
            let c = p[k];
            let val = low[c.x] + low[c.y];
            if val >= c.v {
                used[k] = true;
                dfs.push(k);
            } else {
                let need = c.v - val;
                let p = low[c.x] + (need + 1) / 2;
                h[c.x].push((-p, k));
                let p = low[c.y] + (need + 1) / 2;
                h[c.y].push((-p, k));
            }
        }
    }
    if low.iter().zip(up.iter()).all(|p| *p.0 <= *p.1) {
        Some(low)
    } else {
        None
    }
}

// ---------- begin scannner ----------
#[allow(dead_code)]
mod scanner {
    use std::str::FromStr;
    pub struct Scanner<'a> {
        it: std::str::SplitWhitespace<'a>,
    }
    impl<'a> Scanner<'a> {
        pub fn new(s: &'a String) -> Scanner<'a> {
            Scanner {
                it: s.split_whitespace(),
            }
        }
        pub fn next<T: FromStr>(&mut self) -> T {
            self.it.next().unwrap().parse::<T>().ok().unwrap()
        }
        pub fn next_bytes(&mut self) -> Vec<u8> {
            self.it.next().unwrap().bytes().collect()
        }
        pub fn next_chars(&mut self) -> Vec<char> {
            self.it.next().unwrap().chars().collect()
        }
        pub fn next_vec<T: FromStr>(&mut self, len: usize) -> Vec<T> {
            (0..len).map(|_| self.next()).collect()
        }
    }
}
// ---------- end scannner ----------

use std::collections::*;
use std::io::Write;

type Map<K, V> = BTreeMap<K, V>;
type Set<T> = BTreeSet<T>;
type Deque<T> = VecDeque<T>;

fn main() {
    use std::io::Read;
    let mut s = String::new();
    std::io::stdin().read_to_string(&mut s).unwrap();
    let mut sc = scanner::Scanner::new(&s);
    let out = std::io::stdout();
    let mut out = std::io::BufWriter::new(out.lock());
    run(&mut sc, &mut out);
}
mod util {
    pub trait Join {
        fn join(self, sep: &str) -> String;
    }

    impl<T, I> Join for I
    where
        I: Iterator<Item = T>,
        T: std::fmt::Display,
    {
        fn join(self, sep: &str) -> String {
            let mut s = String::new();
            use std::fmt::*;
            for (i, v) in self.enumerate() {
                if i > 0 {
                    write!(&mut s, "{}", sep).ok();
                }
                write!(&mut s, "{}", v).ok();
            }
            s
        }
    }
}
// ---------- begin chmin, chmax ----------
pub trait ChangeMinMax {
    fn chmin(&mut self, x: Self) -> bool;
    fn chmax(&mut self, x: Self) -> bool;
}

impl<T: PartialOrd> ChangeMinMax for T {
    fn chmin(&mut self, x: Self) -> bool {
        *self > x && {
            *self = x;
            true
        }
    }
    fn chmax(&mut self, x: Self) -> bool {
        *self < x && {
            *self = x;
            true
        }
    }
}
// ---------- end chmin, chmax ----------
0