結果

問題 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;
}
0