結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー | 👑 potato167 |
提出日時 | 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();// oddloopint 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";}