結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
|
提出日時 | 2022-09-30 23:00:28 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 3 ms / 2,000 ms |
コード長 | 442 bytes |
コンパイル時間 | 572 ms |
コンパイル使用メモリ | 65,408 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-12-23 00:43:57 |
合計ジャッジ時間 | 1,343 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
コンパイルメッセージ
main.cpp:5:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type] 5 | main() | ^~~~
ソースコード
#include<iostream>using namespace std;string A[6];bool f(bool a,bool b){return!(a&&b);}main(){for(int i=0;i<6;i++)cin>>A[i];for(int i=0;i<1<<6;i++){int P[6];for(int j=0;j<6;j++)P[j]=i>>j&1;bool out=false;for(int j=0;j<6;j++)for(int k=j+1;k<6;k++)if(A[j]==A[k]&&P[j]!=P[k])out=true;if(out)continue;if(f(f(f(P[0],P[1]),P[2]),f(f(P[3],P[4]),P[5]))){cout<<"YES"<<endl;return 0;}}cout<<"NO"<<endl;}