結果
問題 |
No.2090 否定論理積と充足可能性
|
ユーザー |
|
提出日時 | 2022-09-30 23:24:10 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 1,399 bytes |
コンパイル時間 | 2,108 ms |
コンパイル使用メモリ | 182,584 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-12-23 01:11:25 |
合計ジャッジ時間 | 2,906 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
// Problem: No.2090 否定論理積と充足可能性 // Contest: yukicoder // URL: https://yukicoder.me/problems/no/2090 // Memory Limit: 512 MB // Time Limit: 2000 ms #include <bits/stdc++.h> #define fastio ios::sync_with_stdio(0), cin.tie(0), cout.tie(0); #define dbg(x) cout << #x << " = " << (x) << "\n"; #define popcount(x) __builtin_popcountll((x)) #define all(v) (v).begin(), (v).end() #define pb emplace_back #define x first #define y second using namespace std; typedef long long ll; typedef pair<ll, ll> pll; const int inf = 0x3f3f3f3f; const int mod = 1e9 + 7; bool check(string str) { return !(str.length() == 1 && str[0] == '0'); }; bool nand(bool x, bool y) { return !x || !y; } int pos[10]; map<string, bool> vis; bool f = false; int tot; void dfs(int cur, vector<bool> t) { if (cur == tot) { f |= nand(nand(nand(t[pos[0]], t[pos[1]]), t[pos[2]]), nand(nand(t[pos[3]], t[pos[4]]), t[pos[5]])); return; } t.pb(true); dfs(cur + 1, t); t.pop_back(); t.pb(false); dfs(cur + 1, t); t.pop_back(); } void solve() { int n = 6; vector<string> s(n); for (int i = 0; i < n; i++) { cin >> s[i]; if (!vis.count(s[i])) vis[s[i]] = tot++; pos[i] = vis[s[i]]; } dfs(0, {}); if (f) cout << "YES\n"; else cout << "NO\n"; } int main() { fastio; int t = 1; // cin >> t; while (t--) { solve(); } return 0; }