結果

問題 No.2090 否定論理積と充足可能性
ユーザー phsplsphspls
提出日時 2022-10-01 14:14:03
言語 Rust
(1.77.0 + proconio)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 765 bytes
コンパイル時間 21,015 ms
コンパイル使用メモリ 400,468 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-06-06 06:42:35
合計ジャッジ時間 16,165 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

use std::collections::{BTreeSet, HashMap};


fn main() {
    let mut temp = String::new();
    std::io::stdin().read_line(&mut temp).ok();
    let temp: Vec<&str> = temp.trim().split_whitespace().collect();

    let tset = temp.iter().copied().collect::<BTreeSet<_>>();
    let mut mapping = HashMap::new();
    for (i, &v) in tset.iter().enumerate() {
        mapping.insert(v, i);
    }
    let a = (0..6).map(|i| *mapping.get(&temp[i]).unwrap()).collect::<Vec<usize>>();
    for i in 0..1<<tset.len() {
        let flgs = (0..6).map(|j| ((i >> a[j]) & 1) == 1).collect::<Vec<bool>>();
        if !(!(!(flgs[0] && flgs[1]) && flgs[2]) && !(!(flgs[3] && flgs[4]) && flgs[5])) {
            println!("YES");
            return;
        }
    }
    println!("NO");
}
0