結果

問題 No.2090 否定論理積と充足可能性
ユーザー shkiiii_shkiiii_
提出日時 2022-09-30 22:01:15
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,015 bytes
コンパイル時間 1,560 ms
コンパイル使用メモリ 178,688 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-06-02 05:39:35
合計ジャッジ時間 2,196 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 1 ms
6,944 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 1 ms
6,944 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,944 KB
testcase_09 AC 1 ms
6,948 KB
testcase_10 AC 2 ms
6,944 KB
testcase_11 AC 1 ms
6,940 KB
testcase_12 AC 2 ms
6,940 KB
testcase_13 AC 1 ms
6,944 KB
testcase_14 AC 1 ms
6,944 KB
testcase_15 AC 1 ms
6,940 KB
testcase_16 AC 2 ms
6,940 KB
testcase_17 AC 2 ms
6,944 KB
testcase_18 AC 2 ms
6,940 KB
testcase_19 AC 1 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

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