結果

問題 No.2090 否定論理積と充足可能性
ユーザー shkiiii_shkiiii_
提出日時 2022-09-30 21:43:42
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,027 bytes
コンパイル時間 1,592 ms
コンパイル使用メモリ 179,464 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-06-02 05:19:30
合計ジャッジ時間 2,304 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 WA -
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 2 ms
5,376 KB
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 AC 1 ms
5,376 KB
testcase_16 WA -
testcase_17 AC 2 ms
5,376 KB
testcase_18 WA -
testcase_19 AC 1 ms
5,376 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 == true && b == true)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]),a[2]);
    ok = f(ok,f(f(is[3],is[4]),a[5]));
    if(ok){
      cout << "YES\n";
      return 0;
    }
  }
  cout << "NO\n";
  

  return 0;
}
0