結果

問題 No.2090 否定論理積と充足可能性
ユーザー okkuukenkenokkuukenken
提出日時 2022-09-30 21:40:31
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 864 bytes
コンパイル時間 10,876 ms
コンパイル使用メモリ 427,988 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-12-22 22:48:07
合計ジャッジ時間 11,932 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include<bits/extc++.h>
using namespace std;
typedef long long ll;
typedef long long ull;
constexpr int dx[]={1,0,0,-1},dy[]={0,1,-1,0};
constexpr int mod=998244353,Mod=1e9+7;
//*
#include<atcoder/all>
using namespace atcoder;
//*/
bool nand(bool a,bool b){
	return!(a&&b);
}
int main(){
	string a[6];
	for(int i=0;i<6;i++)
		cin>>a[i];
	vector<string>unzip(a,a+6);
	sort(unzip.begin(),unzip.end());
	unzip.erase(unique(unzip.begin(),unzip.end()));
	map<string,int>zip;
	for(int i=0;i<unzip.size();i++)
		zip[unzip[i]]=i;
	int b[6];
	for(int i=0;i<6;i++)
		b[i]=zip[a[i]];
	for(int i=0;i<1<<6;i++){
		bool p[6];
		for(int j=0;j<6;j++)
			p[j]=i>>b[j]&1;
		if(nand(nand(nand(p[0],p[1]),p[2]),nand(nand(p[3],p[4]),p[5])))
			cout<<"YES"<<endl,exit(0);
	}
	cout<<"NO"<<endl;
}
0