結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー phspls
提出日時 2022-10-01 14:14:03
言語 Rust
(1.94.0 + proconio + num + itertools)
コンパイル:
/usr/bin/rustc_custom
実行:
./target/release/main
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 765 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 12,086 ms
コンパイル使用メモリ 198,856 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-05-29 18:00:59
合計ジャッジ時間 13,445 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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