past15-open g

bouzuya · Dec 11, 2023 · 937f395 · 937f395
1 parent adce903
commit 937f395
Showing 1 changed file with 21 additions and 3 deletions.
diff --git a/cargo-atcoder-1.70.0/contests/past15-open/src/bin/g.rs b/cargo-atcoder-1.70.0/contests/past15-open/src/bin/g.rs
@@ -3,8 +3,26 @@ use proconio::{input, marker::Usize1};
 fn main() {
     input! {
         n: usize,
-        a: [Usize1; n],
+        m: usize,
     };
-    let ans = n - a.len();
-    println!("{}", ans);
+    let mut abs = vec![];
+    for _ in 0..m {
+        input! {
+            k: usize,
+            ab: [(Usize1, usize); k],
+        }
+        abs.push(ab);
+    }
+
+    for bits in 0..1 << n {
+        let x = (0..n).map(|i| (bits >> i) & 1).collect::<Vec<usize>>();
+        if abs
+            .iter()
+            .all(|ab| ab.iter().copied().any(|(a, b)| x[a] == b))
+        {
+            println!("Yes");
+            return;
+        }
+    }
+    println!("No");
 }