結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
![]() |
提出日時 | 2022-09-30 22:57:03 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 40 ms / 2,000 ms |
コード長 | 1,211 bytes |
コンパイル時間 | 1,994 ms |
コンパイル使用メモリ | 202,524 KB |
最終ジャッジ日時 | 2025-02-07 19:44:48 |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
#include <bits/stdc++.h> using namespace std; typedef signed long long ll; #define _P(...) (void)printf(__VA_ARGS__) #define FOR(x,to) for(x=0;x<(to);x++) #define FORR(x,arr) for(auto& x:arr) #define FORR2(x,y,arr) for(auto& [x,y]:arr) #define ALL(a) (a.begin()),(a.end()) #define ZERO(a) memset(a,0,sizeof(a)) #define MINUS(a) memset(a,0xff,sizeof(a)) template<class T> bool chmax(T &a, const T &b) { if(a<b){a=b;return 1;}return 0;} template<class T> bool chmin(T &a, const T &b) { if(a>b){a=b;return 1;}return 0;} //------------------------------------------------------- string A[6]; int B[6]; map<string,int> M; int nand(int a,int b) { return !(a&b); } void solve() { int i,j,k,l,r,x,y; string s; FOR(i,6) { cin>>A[i]; M[A[i]]=i; } FOR(i,6) B[i]=M[A[i]]; int mask; FOR(mask,1<<6) { int C[6]; FOR(i,6) C[i]=(mask>>B[i])&1; if(nand(nand(nand(C[0],C[1]),C[2]),nand(nand(C[3],C[4]),C[5]))==1) { cout<<"YES"<<endl; return; } } cout<<"NO"<<endl; } int main(int argc,char** argv){ string s;int i; if(argc==1) ios::sync_with_stdio(false), cin.tie(0); FOR(i,argc-1) s+=argv[i+1],s+='\n'; FOR(i,s.size()) ungetc(s[s.size()-1-i],stdin); cout.tie(0); solve(); return 0; }