結果
問題 | 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;