結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
👑 ![]() |
提出日時 | 2022-09-30 21:41:01 |
言語 | C++17(gcc12) (gcc 12.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 20 ms / 2,000 ms |
コード長 | 1,047 bytes |
コンパイル時間 | 3,298 ms |
コンパイル使用メモリ | 127,128 KB |
最終ジャッジ日時 | 2025-02-07 19:15:15 |
ジャッジサーバーID (参考情報) |
judge3 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
#include <iostream> #include <string> #include <vector> #include <algorithm> #include <utility> #include <map> #include <atcoder/modint> using namespace std; using i32 = int32_t; using u32 = uint32_t; using i64 = int64_t; using u64 = uint64_t; #define rep(i,n) for(int i=0; i<(int)(n); i++) using Modint = atcoder::static_modint<998244353>; const i64 INF = 1001001001001001001; struct NAND{ int a; }; NAND operator|(NAND l, NAND r){ return {!(l.a&r.a)}; } int main(){ string C[6]; rep(i,6) cin >> C[i]; map<string, int> Q; int I[6] = {}; rep(i,6){ if(!Q.count(C[i])) Q.insert({ C[i], Q.size() }); I[i] = Q[C[i]]; } bool ok = false; rep(j,1<<6){ NAND K[6]; rep(i,6) K[i] = { (j>>I[i])&1 }; if((((K[0] | K[1]) | K[2]) | ((K[3] | K[4]) | K[5])).a) ok = true; } cout << (ok ? "YES\n" : "NO\n"); return 0; } struct ios_do_not_sync{ ios_do_not_sync(){ std::ios::sync_with_stdio(false); std::cin.tie(nullptr); } } ios_do_not_sync_instance;