結果
問題 | No.2236 Lights Out On Simple Graph |
ユーザー | akakimidori |
提出日時 | 2023-03-03 21:54:35 |
言語 | Rust (1.77.0) |
結果 |
AC
|
実行時間 | 1 ms / 4,000 ms |
コード長 | 3,096 bytes |
コンパイル時間 | 4,492 ms |
コンパイル使用メモリ | 189,664 KB |
実行使用メモリ | 4,348 KB |
最終ジャッジ日時 | 2023-10-18 01:54:44 |
合計ジャッジ時間 | 6,021 ms |
ジャッジサーバーID (参考情報) |
judge15 / judge13 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,348 KB |
testcase_01 | AC | 0 ms
4,348 KB |
testcase_02 | AC | 1 ms
4,348 KB |
testcase_03 | AC | 1 ms
4,348 KB |
testcase_04 | AC | 1 ms
4,348 KB |
testcase_05 | AC | 1 ms
4,348 KB |
testcase_06 | AC | 1 ms
4,348 KB |
testcase_07 | AC | 1 ms
4,348 KB |
testcase_08 | AC | 1 ms
4,348 KB |
testcase_09 | AC | 1 ms
4,348 KB |
testcase_10 | AC | 1 ms
4,348 KB |
testcase_11 | AC | 1 ms
4,348 KB |
testcase_12 | AC | 1 ms
4,348 KB |
testcase_13 | AC | 1 ms
4,348 KB |
testcase_14 | AC | 1 ms
4,348 KB |
testcase_15 | AC | 1 ms
4,348 KB |
testcase_16 | AC | 1 ms
4,348 KB |
testcase_17 | AC | 1 ms
4,348 KB |
testcase_18 | AC | 1 ms
4,348 KB |
testcase_19 | AC | 1 ms
4,348 KB |
testcase_20 | AC | 1 ms
4,348 KB |
testcase_21 | AC | 1 ms
4,348 KB |
testcase_22 | AC | 1 ms
4,348 KB |
testcase_23 | AC | 1 ms
4,348 KB |
testcase_24 | AC | 1 ms
4,348 KB |
testcase_25 | AC | 1 ms
4,348 KB |
testcase_26 | AC | 1 ms
4,348 KB |
testcase_27 | AC | 1 ms
4,348 KB |
testcase_28 | AC | 1 ms
4,348 KB |
testcase_29 | AC | 1 ms
4,348 KB |
testcase_30 | AC | 1 ms
4,348 KB |
testcase_31 | AC | 1 ms
4,348 KB |
testcase_32 | AC | 1 ms
4,348 KB |
testcase_33 | AC | 1 ms
4,348 KB |
testcase_34 | AC | 1 ms
4,348 KB |
testcase_35 | AC | 1 ms
4,348 KB |
testcase_36 | AC | 1 ms
4,348 KB |
testcase_37 | AC | 1 ms
4,348 KB |
testcase_38 | AC | 1 ms
4,348 KB |
testcase_39 | AC | 1 ms
4,348 KB |
testcase_40 | AC | 1 ms
4,348 KB |
testcase_41 | AC | 1 ms
4,348 KB |
testcase_42 | AC | 1 ms
4,348 KB |
testcase_43 | AC | 1 ms
4,348 KB |
testcase_44 | AC | 1 ms
4,348 KB |
testcase_45 | AC | 1 ms
4,348 KB |
testcase_46 | AC | 0 ms
4,348 KB |
testcase_47 | AC | 1 ms
4,348 KB |
testcase_48 | AC | 1 ms
4,348 KB |
testcase_49 | AC | 1 ms
4,348 KB |
testcase_50 | AC | 1 ms
4,348 KB |
testcase_51 | AC | 1 ms
4,348 KB |
testcase_52 | AC | 1 ms
4,348 KB |
testcase_53 | AC | 1 ms
4,348 KB |
testcase_54 | AC | 1 ms
4,348 KB |
testcase_55 | AC | 1 ms
4,348 KB |
testcase_56 | AC | 1 ms
4,348 KB |
testcase_57 | AC | 1 ms
4,348 KB |
testcase_58 | AC | 1 ms
4,348 KB |
testcase_59 | AC | 1 ms
4,348 KB |
ソースコード
use std::collections::*; type Map<K, V> = BTreeMap<K, V>; fn main() { input! { n: usize, m: usize, e: [(usize1, usize1); m], c: [u8; n], } let mut g = vec![0usize; n]; for (a, b) in e { g[a] |= 1 << b; g[b] |= 1 << a; } let mut state = 0; for (i, c) in c.iter().enumerate() { state |= (*c as usize) << i; } let mut dp = Map::new(); dp.insert(state, 0); let mut used = vec![false; n]; let inf = m as i32 + 1; while let Some(v) = (0..n).filter(|&v| !used[v]).min_by_key(|&u| g[u].count_ones()) { used[v] = true; for u in 0..n { if g[v] >> u & 1 == 1 { let mut next = dp.clone(); for (state, w) in dp { next.entry(state ^ (1 << v) ^ (1 << u)).or_insert(inf).chmin(w + 1); } dp = next; } } dp = dp.into_iter().filter(|p| p.0 >> v & 1 == 0).collect(); for g in g.iter_mut() { *g &= !(1 << v); } } let ans = dp.get(&0).map_or(-1, |p| *p); println!("{}", ans); } // ---------- begin input macro ---------- // reference: https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8 #[macro_export] macro_rules! input { (source = $s:expr, $($r:tt)*) => { let mut iter = $s.split_whitespace(); input_inner!{iter, $($r)*} }; ($($r:tt)*) => { let s = { use std::io::Read; let mut s = String::new(); std::io::stdin().read_to_string(&mut s).unwrap(); s }; let mut iter = s.split_whitespace(); input_inner!{iter, $($r)*} }; } #[macro_export] macro_rules! input_inner { ($iter:expr) => {}; ($iter:expr, ) => {}; ($iter:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($iter, $t); input_inner!{$iter $($r)*} }; } #[macro_export] macro_rules! read_value { ($iter:expr, ( $($t:tt),* )) => { ( $(read_value!($iter, $t)),* ) }; ($iter:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>() }; ($iter:expr, chars) => { read_value!($iter, String).chars().collect::<Vec<char>>() }; ($iter:expr, bytes) => { read_value!($iter, String).bytes().collect::<Vec<u8>>() }; ($iter:expr, usize1) => { read_value!($iter, usize) - 1 }; ($iter:expr, $t:ty) => { $iter.next().unwrap().parse::<$t>().expect("Parse error") }; } // ---------- end input macro ---------- // ---------- 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 ----------