#802747 (C++23) No.2090 否定論理積と充足可能性

• 問題: No.2090 否定論理積と充足可能性
• ユーザー: okkuukenken
• 提出日時: 2022-09-30 21:40:31
• 言語: C++23 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 3 ms / 2,000 ms
• コード長: 864 bytes
• コンパイル時間: 11,237 ms
• コンパイル使用メモリ: 427,996 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-06-02 05:13:50
• 合計ジャッジ時間: 10,252 ms
• ジャッジサーバーID （参考情報）: judge1 / judge3

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	3 ms; 5,248 KB
testcase_02	AC	3 ms; 5,248 KB
testcase_03	AC	3 ms; 5,376 KB
testcase_04	AC	2 ms; 5,376 KB
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	3 ms; 5,376 KB
testcase_09	AC	2 ms; 5,376 KB
testcase_10	AC	2 ms; 5,376 KB
testcase_11	AC	2 ms; 5,376 KB
testcase_12	AC	2 ms; 5,376 KB
testcase_13	AC	3 ms; 5,376 KB
testcase_14	AC	3 ms; 5,376 KB
testcase_15	AC	3 ms; 5,376 KB
testcase_16	AC	3 ms; 5,376 KB
testcase_17	AC	2 ms; 5,376 KB
testcase_18	AC	3 ms; 5,376 KB
testcase_19	AC	3 ms; 5,376 KB

ソースコード

#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;
}