結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
![]() |
提出日時 | 2022-09-30 21:37:53 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 2,022 bytes |
コンパイル時間 | 1,131 ms |
コンパイル使用メモリ | 119,564 KB |
最終ジャッジ日時 | 2025-02-07 19:13:34 |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
#include <iostream> #include <algorithm> #include <iomanip> #include <vector> #include <queue> #include <deque> #include <set> #include <map> #include <tuple> #include <cmath> #include <numeric> #include <functional> #include <cassert> #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; template<typename T> vector<vector<T>> vec2d(int n, int m, T v){ return vector<vector<T>>(n, vector<T>(m, v)); } template<typename T> vector<vector<vector<T>>> vec3d(int n, int m, int k, T v){ return vector<vector<vector<T>>>(n, vector<vector<T>>(m, vector<T>(k, v))); } template<typename T> void print_vector(vector<T> v, char delimiter=' '){ if(v.empty()) { cout << endl; return; } for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter; cout << v.back() << endl; } bool nand(bool p, bool q){ return !(p&&q); } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; vector<string> a(6); for(int i = 0; i < 6; i++) cin >> a[i]; auto ok = [&](int s){ vector<bool> p; for(int i = 0; i < 6; i++){ bool f = s&(1<<i); for(int j = 0; j < 6; j++){ bool g = s&(1<<j); if(f != g){ if(a[i] == a[j]) return false; } } p.push_back(f); } bool l = nand(nand(p[0], p[1]), p[2]); bool r = nand(nand(p[3], p[4]), p[5]); return nand(l, r); }; for(int s = 0; s < (1<<6); s++){ if(ok(s)){ cout << "YES" << endl; return 0; } } cout << "NO" << endl; }