結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー okkuu
提出日時 2022-09-30 21:40:31
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
RE  
(最新)
AC  
(最初)
実行時間 -
コード長 864 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 9,866 ms
コンパイル使用メモリ 495,720 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-05-29 01:56:39
合計ジャッジ時間 11,827 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 17 RE * 3
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#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