結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
![]() |
提出日時 | 2022-09-30 22:01:15 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 3 ms / 2,000 ms |
コード長 | 1,015 bytes |
コンパイル時間 | 1,820 ms |
コンパイル使用メモリ | 178,628 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-12-22 23:41:24 |
合計ジャッジ時間 | 2,663 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
#include<bits/stdc++.h>// #include<atcoder/all>// #include<boost/multiprecision/cpp_int.hpp>using namespace std;// using namespace atcoder;// using bint = boost::multiprecision::cpp_int;using ll = long long;using ull = unsigned long long;using P = pair<int,int>;#define rep(i,n) for(ll i = 0;i < (ll)n;i++)#define ALL(x) (x).begin(),(x).end()#define MOD 1000000007// #define MOD 998244353bool f(bool a,bool b){if(a && b)return false;return true;}int main(){vector<int> a(6);int ggg = 0;map<string,int> mp;rep(i,6){string s;cin >> s;if(mp.count(s))a[i] = mp[s];else {a[i] = ggg;mp[s] = ggg;ggg++;}}for(int bit = 0;bit < (1 << 6);bit++){vector<bool> is(6,0);rep(i,6)if(bit >> i & 1){rep(j,6)if(a[j] == i){is[j] = 1;}}bool ok = f(f(is[0],is[1]),is[2]);ok = f(ok,f(f(is[3],is[4]),is[5]));if(ok){cout << "YES\n";return 0;}}cout << "NO\n";return 0;}