#318565 (C++11) No.792 真理関数をつくろう

• 問題: No.792 真理関数をつくろう
• ユーザー: ok
• 提出日時: 2019-02-22 22:03:16
• 言語: C++11 (gcc 11.4.0)
• 結果: AC
• 実行時間: 9 ms / 2,000 ms
• コード長: 1,106 bytes
• コンパイル時間: 541 ms
• コンパイル使用メモリ: 71,988 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-05-04 02:22:06
• 合計ジャッジ時間: 1,238 ms
• ジャッジサーバーID （参考情報）: judge5 / judge4

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	1 ms; 5,248 KB
testcase_01	AC	2 ms; 5,248 KB
testcase_02	AC	1 ms; 5,376 KB
testcase_03	AC	3 ms; 5,376 KB
testcase_04	AC	1 ms; 5,376 KB
testcase_05	AC	3 ms; 5,376 KB
testcase_06	AC	7 ms; 5,376 KB
testcase_07	AC	1 ms; 5,376 KB
testcase_08	AC	1 ms; 5,376 KB
testcase_09	AC	1 ms; 5,376 KB
testcase_10	AC	1 ms; 5,376 KB
testcase_11	AC	1 ms; 5,376 KB
testcase_12	AC	1 ms; 5,376 KB
testcase_13	AC	1 ms; 5,376 KB
testcase_14	AC	1 ms; 5,376 KB
testcase_15	AC	2 ms; 5,376 KB
testcase_16	AC	4 ms; 5,376 KB
testcase_17	AC	1 ms; 5,376 KB
testcase_18	AC	2 ms; 5,376 KB
testcase_19	AC	1 ms; 5,376 KB
testcase_20	AC	5 ms; 5,376 KB
testcase_21	AC	9 ms; 5,376 KB
testcase_22	AC	1 ms; 5,376 KB
testcase_23	AC	1 ms; 5,376 KB
testcase_24	AC	1 ms; 5,376 KB
testcase_25	AC	1 ms; 5,376 KB

ソースコード

#include<iostream>
#include<string>
#include<iomanip>
#include<cmath>
#include<vector>
#include<algorithm>

using namespace std;

#define int long long
#define rep(i,n) for(int i = 0; i < (n); i++)
#define INF ((long long)1e18)
#define MOD ((int)1e9+7)
#define endl "\n"

#define yn(f) ((f)?"Yes":"No")
#define YN(f) ((f)?"YES":"NO")

#define MAX 8000

int Q[MAX][20];
int R[MAX];

signed main(){
	cin.tie(0);
	ios::sync_with_stdio(false);
	cout<<fixed<<setprecision(10);
	
	int N;
	bool f1 = false, f2 = true;
	
	
	cin>>N;
	
	for(int i = 1; i <= (1<<N); i++){
		for(int j = 1; j <= N; j++){
			cin>>Q[i][j];
		}
		cin>>R[i];
		// cout<<i<<" "<<R[i]<<endl;
		if(!R[i]) f1 = true;
		if(R[i]) f2 = false;
	}
	
	if(f1 == false){
		cout<<"A=⊤"<<endl;
	} else if(f2 == true){
		cout<<"A=⊥"<<endl;
	} else {
		cout<<"A=";
		for(int i = 1, con = 0; i <= (1<<N); i++){
			if(R[i] == false) continue;
			if(con++){
				cout<<"∨";
			}
			cout<<"(";
			for(int j = 1; j <= N; j++){
				if(j-1)cout<<"∧";
				if(!Q[i][j])cout<<"¬";
				cout<<"P_"<<j;
			}
			cout<<")";
		}
		cout<<endl;
		
	}
	
	return 0;
}