結果
| 問題 |
No.1557 Binary Variable
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2021-10-15 00:59:03 |
| 言語 | Rust (1.83.0 + proconio) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 2,867 bytes |
| コンパイル時間 | 12,499 ms |
| コンパイル使用メモリ | 385,496 KB |
| 実行使用メモリ | 52,944 KB |
| 最終ジャッジ日時 | 2024-09-17 16:40:14 |
| 合計ジャッジ時間 | 20,714 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 1 WA * 33 |
ソースコード
#[allow(unused_imports)]
use std::cmp::*;
use std::collections::*;
// https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
macro_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, chars) => {
read_value!($next, String).chars().collect::<Vec<char>>()
};
($next:expr, usize1) => (read_value!($next, usize) - 1);
($next:expr, [ $t:tt ]) => {{
let len = read_value!($next, usize);
read_value!($next, [$t; len])
}};
($next:expr, $t:ty) => ($next().parse::<$t>().expect("Parse error"));
}
trait Change { fn chmax(&mut self, x: Self); fn chmin(&mut self, x: Self); }
impl<T: PartialOrd> Change for T {
fn chmax(&mut self, x: T) { if *self < x { *self = x; } }
fn chmin(&mut self, x: T) { if *self > x { *self = x; } }
}
// Tags: dual-of-linar-programming
fn main() {
// In order to avoid potential stack overflow, spawn a new thread.
let stack_size = 104_857_600; // 100 MB
let thd = std::thread::Builder::new().stack_size(stack_size);
thd.spawn(|| solve()).unwrap().join().unwrap();
}
fn solve() {
input! {
n: i64, m: usize,
lr: [(i64, i64); m],
}
let mut coo = vec![];
for &(l, r) in &lr {
coo.push(l - 1);
coo.push(r);
}
coo.push(0);
coo.push(n);
coo.sort(); coo.dedup();
let k = coo.len();
const INF: i64 = 1 << 50;
let mut dist = vec![INF; k];
let mut g = vec![vec![]; k];
for i in 0..k - 1 {
g[i + 1].push((i, 0));
g[i].push((i, coo[i + 1] - coo[i]));
}
for &(l, r) in &lr {
let l = coo.binary_search(&(l - 1)).unwrap();
let r = coo.binary_search(&r).unwrap();
g[l].push((r, coo[r] - coo[l] - 1));
}
let mut que = BinaryHeap::new();
que.push((Reverse(0), 0));
while let Some((Reverse(d), v)) = que.pop() {
if dist[v] <= d {
continue;
}
dist[v] = d;
for &(w, c) in &g[v] {
que.push((Reverse(d + c), w));
}
}
println!("{}", dist[k - 1]);
}