結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
👑 ![]() |
提出日時 | 2022-09-30 21:29:58 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 15 ms / 2,000 ms |
コード長 | 1,888 bytes |
コンパイル時間 | 2,140 ms |
コンパイル使用メモリ | 208,856 KB |
最終ジャッジ日時 | 2025-02-07 19:04:16 |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
#include <bits/stdc++.h> #pragma GCC optimize("Ofast") using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; ll ILL=2167167167167167167; const int INF=2100000000; const ll mod=998244353; #define rep(i,a) for (ll i=0;i<a;i++) #define all(p) p.begin(),p.end() template<class T> using _pq = priority_queue<T, vector<T>, greater<T>>; template<class T> ll LB(vector<T> &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template<class T> ll UB(vector<T> &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template<class T> bool chmin(T &a,const T &b){if(a>b){a=b;return 1;}else return 0;} template<class T> bool chmax(T &a,const T &b){if(a<b){a=b;return 1;}else return 0;} template<class T> void So(vector<T> &v) {sort(v.begin(),v.end());} template<class T> void Sore(vector<T> &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} void yneos(bool a){if(a) cout<<"Yes\n"; else cout<<"No\n";} template<class T> void vec_out(vector<T> &p){for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout<<p[i];}cout<<"\n";} template<class T> T min(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;} template<class T> T max(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;} void solve(); // oddloop int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t=1; //cin>>t; rep(i,t) solve(); } void solve(){ int N=6; map<string,int> m; int ind=0; vector<string> S(N); rep(i,N){ cin>>S[i]; if(!m.count(S[i])) m[S[i]]=ind,ind++; } auto n=[](bool l,bool r)->bool{ return !(l&r); }; auto f=[&](vector<bool> p)->bool{ return n(n(n(p[0],p[1]),p[2]),n(n(p[3],p[4]),p[5])); }; rep(i,(1<<ind)){ vector<bool> p(N,false); rep(j,N){ if(i&(1<<m[S[j]])) p[j]=1; } if(f(p)){ cout<<"YES\n"; return ; } } cout<<"NO\n"; }