結果
問題 | No.2090 否定論理積と充足可能性 |
ユーザー |
![]() |
提出日時 | 2022-09-30 21:45:10 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 704 bytes |
コンパイル時間 | 2,678 ms |
コンパイル使用メモリ | 250,328 KB |
最終ジャッジ日時 | 2025-02-07 19:20:04 |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 20 |
ソースコード
#include <bits/extc++.h> int main() { using namespace std; vector<unsigned long> A(6), V(6); vector<string> S(6); for(unsigned long i{}; i < 6; ++i){ cin >> S[i]; [&]{ for(unsigned long j{}; j < i; ++j)if(S[j] == S[i])return V[i] = V[j]; return V[i] = *max_element(begin(V), begin(V) + i) + 1; }(); } for(auto&& a : V)--a; for(unsigned long i{}; i < 64; ++i){ transform(begin(V), end(V), begin(A), [&i](auto x){return 1UL & (i >> x);}); if((!(A[0] && A[1]) && A[2]) || (!(A[3] && A[4]) && A[5])){ cout << "YES" << endl; return 0; } } cout << "NO" << endl; return 0; }