結果

問題 No.2090 否定論理積と充足可能性
ユーザー shkiiii_shkiiii_
提出日時 2022-09-30 22:01:15
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 1,015 bytes
コンパイル時間 1,820 ms
コンパイル使用メモリ 178,628 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-12-22 23:41:24
合計ジャッジ時間 2,663 ms
ジャッジサーバーID
(参考情報)
judge1 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include<bits/stdc++.h>
// #include<atcoder/all>
// #include<boost/multiprecision/cpp_int.hpp>
using namespace std;
// using namespace atcoder;
// using bint = boost::multiprecision::cpp_int;
using ll = long long;
using ull = unsigned long long;
using P = pair<int,int>;
#define rep(i,n) for(ll i = 0;i < (ll)n;i++)
#define ALL(x) (x).begin(),(x).end()
#define MOD 1000000007
// #define MOD 998244353
bool f(bool a,bool b){
if(a && b)return false;
return true;
}
int main(){
vector<int> a(6);
int ggg = 0;
map<string,int> mp;
rep(i,6){
string s;cin >> s;
if(mp.count(s))a[i] = mp[s];
else {
a[i] = ggg;
mp[s] = ggg;
ggg++;
}
}
for(int bit = 0;bit < (1 << 6);bit++){
vector<bool> is(6,0);
rep(i,6)if(bit >> i & 1){
rep(j,6)if(a[j] == i){
is[j] = 1;
}
}
bool ok = f(f(is[0],is[1]),is[2]);
ok = f(ok,f(f(is[3],is[4]),is[5]));
if(ok){
cout << "YES\n";
return 0;
}
}
cout << "NO\n";
return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0