結果

問題 No.2911 位相の公理
ユーザー atcoder8atcoder8
提出日時 2024-10-04 23:06:04
言語 Rust
(1.77.0 + proconio)
結果
AC  
実行時間 30 ms / 2,000 ms
コード長 771 bytes
コンパイル時間 12,552 ms
コンパイル使用メモリ 376,444 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-04 23:06:18
合計ジャッジ時間 12,866 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 0 ms
5,248 KB
testcase_02 AC 1 ms
5,248 KB
testcase_03 AC 1 ms
5,248 KB
testcase_04 AC 1 ms
5,248 KB
testcase_05 AC 1 ms
5,248 KB
testcase_06 AC 1 ms
5,248 KB
testcase_07 AC 1 ms
5,248 KB
testcase_08 AC 1 ms
5,248 KB
testcase_09 AC 1 ms
5,248 KB
testcase_10 AC 1 ms
5,248 KB
testcase_11 AC 0 ms
5,248 KB
testcase_12 AC 0 ms
5,248 KB
testcase_13 AC 0 ms
5,248 KB
testcase_14 AC 1 ms
5,248 KB
testcase_15 AC 1 ms
5,248 KB
testcase_16 AC 1 ms
5,248 KB
testcase_17 AC 0 ms
5,248 KB
testcase_18 AC 1 ms
5,248 KB
testcase_19 AC 30 ms
5,248 KB
testcase_20 AC 29 ms
5,248 KB
testcase_21 AC 28 ms
5,248 KB
testcase_22 AC 1 ms
5,248 KB
testcase_23 AC 29 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

use proconio::input;

fn main() {
    println!("{}", if solve() { "Yes" } else { "No" });
}

fn solve() -> bool {
    input! {
        (n, m): (usize, usize),
        ss: [String; m],
    }

    if !ss.contains(&"0".repeat(n)) || !ss.contains(&"1".repeat(n)) {
        return false;
    }

    let set = ss
        .iter()
        .map(|s| {
            s.chars()
                .fold(0_usize, |acc, c| 2 * acc + (c == '1') as usize)
        })
        .collect::<Vec<_>>();

    let mut exists = vec![false; 1 << n];
    for &bits in &set {
        exists[bits] = true;
    }

    for &bits1 in &set {
        for &bits2 in &set {
            if !exists[bits1 & bits2] || !exists[bits1 | bits2] {
                return false;
            }
        }
    }

    true
}
0