結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
![]() |
提出日時 | 2022-09-30 21:40:31 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 3 ms / 2,000 ms |
コード長 | 864 bytes |
コンパイル時間 | 10,876 ms |
コンパイル使用メモリ | 427,988 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-12-22 22:48:07 |
合計ジャッジ時間 | 11,932 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
#pragma GCC target("avx2")#pragma GCC optimize("O3")#pragma GCC optimize("unroll-loops")#include<bits/extc++.h>using namespace std;typedef long long ll;typedef long long ull;constexpr int dx[]={1,0,0,-1},dy[]={0,1,-1,0};constexpr int mod=998244353,Mod=1e9+7;//*#include<atcoder/all>using namespace atcoder;//*/bool nand(bool a,bool b){return!(a&&b);}int main(){string a[6];for(int i=0;i<6;i++)cin>>a[i];vector<string>unzip(a,a+6);sort(unzip.begin(),unzip.end());unzip.erase(unique(unzip.begin(),unzip.end()));map<string,int>zip;for(int i=0;i<unzip.size();i++)zip[unzip[i]]=i;int b[6];for(int i=0;i<6;i++)b[i]=zip[a[i]];for(int i=0;i<1<<6;i++){bool p[6];for(int j=0;j<6;j++)p[j]=i>>b[j]&1;if(nand(nand(nand(p[0],p[1]),p[2]),nand(nand(p[3],p[4]),p[5])))cout<<"YES"<<endl,exit(0);}cout<<"NO"<<endl;}