結果
問題 | No.177 制作進行の宮森あおいです! |
ユーザー | koba-e964 |
提出日時 | 2017-02-08 12:52:15 |
言語 | Rust (1.77.0 + proconio) |
結果 |
AC
|
実行時間 | 1 ms / 2,000 ms |
コード長 | 4,943 bytes |
コンパイル時間 | 22,483 ms |
コンパイル使用メモリ | 403,856 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-06-07 12:57:56 |
合計ジャッジ時間 | 13,750 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
5,248 KB |
testcase_01 | AC | 1 ms
5,248 KB |
testcase_02 | AC | 1 ms
5,248 KB |
testcase_03 | AC | 1 ms
5,376 KB |
testcase_04 | AC | 1 ms
5,376 KB |
testcase_05 | AC | 1 ms
5,376 KB |
testcase_06 | AC | 1 ms
5,376 KB |
testcase_07 | AC | 1 ms
5,376 KB |
testcase_08 | AC | 1 ms
5,376 KB |
testcase_09 | AC | 1 ms
5,376 KB |
testcase_10 | AC | 1 ms
5,376 KB |
testcase_11 | AC | 1 ms
5,376 KB |
testcase_12 | AC | 1 ms
5,376 KB |
testcase_13 | AC | 1 ms
5,376 KB |
testcase_14 | AC | 1 ms
5,376 KB |
testcase_15 | AC | 1 ms
5,376 KB |
ソースコード
#[allow(unused_imports)] use std::cmp::*; #[allow(unused_imports)] use std::collections::*; use std::io::*; #[allow(dead_code)] fn getline() -> String { let mut ret = String::new(); std::io::stdin().read_line(&mut ret).ok(); return ret; } fn get_word() -> String { let mut stdin = std::io::stdin(); let mut u8b: [u8; 1] = [0]; loop { let mut buf: Vec<u8> = Vec::with_capacity(16); loop { let res = stdin.read(&mut u8b); if res.is_err() || res.ok().unwrap() == 0 || u8b[0] <= ' ' as u8 { break; } else { buf.push(u8b[0]); } } if buf.len() >= 1 { let ret = std::string::String::from_utf8(buf).unwrap(); return ret; } } } fn parse<T: std::str::FromStr>(s: &str) -> T { s.parse::<T>().ok().unwrap() } #[allow(dead_code)] fn get<T: std::str::FromStr>() -> T { parse(&get_word()) } #[derive(Clone)] struct Edge<T> { to: usize, cap: T, rev: usize, // rev is the position of the reverse edge in graph[to] } struct Dinic<T> { graph: Vec<Vec<Edge<T>>>, iter: Vec<usize>, zero: T, } impl<T> Dinic<T> where T: Clone, T: Copy, T: Ord, T: std::ops::Add<T, Output=T>, T: std::ops::Sub<T, Output=T>, T: std::ops::AddAssign<T>, T: std::ops::SubAssign, T: std::default::Default, { fn bfs(&self, s: usize, level: &mut [Option<usize>]) { let n = level.len(); for i in 0 .. n { level[i] = None; } let mut que = VecDeque::new(); level[s] = Some(0); que.push_back(s); while let Some(v) = que.pop_front() { for e in self.graph[v].iter() { if e.cap > self.zero && level[e.to] == None { level[e.to] = Some(level[v].unwrap() + 1); que.push_back(e.to); } } } } /* search augment path by dfs. * if f == None, f is treated as infinity. */ fn dfs(&mut self, v: usize, t: usize, f: Option<T>, level: &mut [Option<usize>]) -> T { if v == t { return f.unwrap(); } while self.iter[v] < self.graph[v].len() { let i = self.iter[v]; let e = self.graph[v][i].clone(); if e.cap > self.zero && level[v] < level[e.to] { let newf = if f == None { e.cap } else { min(f.unwrap(), e.cap) }; let d = self.dfs(e.to, t, Some(newf), level); if d > self.zero { self.graph[v][i].cap -= d; self.graph[e.to][e.rev].cap += d; return d; } } self.iter[v] += 1; } self.zero } pub fn new(n: usize, zero: T) -> Self { Dinic { graph: vec![Vec::new(); n], iter: vec![0; n], zero: zero, } } pub fn add_edge(&mut self, from: usize, to: usize, cap: T) { let added_from = Edge { to: to, cap: cap, rev: self.graph[to].len() }; let added_to = Edge { to: from, cap: self.zero, rev: self.graph[from].len() }; self.graph[from].push(added_from); self.graph[to].push(added_to); } pub fn max_flow(&mut self, s: usize, t: usize) -> (T, Vec<usize>) { let mut flow = Default::default(); let n = self.graph.len(); let mut level = vec![None; n]; loop { self.bfs(s, &mut level); if level[t] == None { let mut ret = Vec::new(); for i in 0 .. n { if level[i] == None { ret.push(i); } } return (flow, ret); } self.iter.clear(); self.iter.resize(n, 0); loop { let f = self.dfs(s, t, None, &mut level); if f <= self.zero { break; } flow += f; } } } } fn main() { let w = get(); let n = get(); let j: Vec<i64> = (0 .. n).map(|_| get()).collect(); let m = get(); let c: Vec<i64> = (0 .. m).map(|_| get()).collect(); let mut din = Dinic::new(n + m + 2, 0); for i in 0 .. n { din.add_edge(0, 2 + i, j[i]); } for i in 0 .. m { din.add_edge(2 + n + i, 1, c[i]); } for i in 0 .. m { let qi = get(); let mut lim = vec![1 << 32; n]; for _ in 0 .. qi { let x = get::<usize>() - 1; lim[x] = 0; } for j in 0 .. n { if lim[j] > 0 { din.add_edge(2 + j, 2 + n + i, lim[j]); } } } println!("{}", if din.max_flow(0, 1).0 >= w { "SHIROBAKO" } else { "BANSAKUTSUKITA" }); }