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

• 問題: No.792 真理関数をつくろう
• ユーザー: sashiming
• 提出日時: 2019-02-23 14:52:09
• 言語: C++14 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 8 ms / 2,000 ms
• コード長: 1,443 bytes
• コンパイル時間: 1,547 ms
• コンパイル使用メモリ: 168,624 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-05-07 09:54:55
• 合計ジャッジ時間: 2,683 ms
• ジャッジサーバーID （参考情報）: judge4 / judge1

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	2 ms; 5,376 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	2 ms; 5,376 KB
testcase_08	AC	1 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	1 ms; 5,376 KB
testcase_13	AC	2 ms; 5,376 KB
testcase_14	AC	2 ms; 5,376 KB
testcase_15	AC	1 ms; 5,376 KB
testcase_16	AC	4 ms; 5,376 KB
testcase_17	AC	2 ms; 5,376 KB
testcase_18	AC	2 ms; 5,376 KB
testcase_19	AC	2 ms; 5,376 KB
testcase_20	AC	5 ms; 5,376 KB
testcase_21	AC	8 ms; 5,376 KB
testcase_22	AC	1 ms; 5,376 KB
testcase_23	AC	2 ms; 5,376 KB
testcase_24	AC	1 ms; 5,376 KB
testcase_25	AC	2 ms; 5,376 KB

ソースコード

#include <bits/stdc++.h>
using namespace std;
#define ALL(obj) (obj).begin(), (obj).end()
#define REP(i, n) for(int i = 0;i < (n);++i)
#define REPLL(i, n) for(ll i = 0;i < (n);++i)

#define endl "\n"
#define pb push_back
#define MOD 1000000007LL
#define PI 3.1415926

typedef long long ll;

template <typename T> inline T GCD(T a,T b){T c;while(b!=0){c=a%b;a=b;b=c;}return a;}
template <typename T> inline T LCM(T a,T b){T c=GCD(a,b);a/=c;return a*b;}
template <typename T> inline T nCr(T a,T b){T i,r=1;for(i=1;i<=b;i++){r*=(a+1-i);r/=i;}return r;}
template <typename T> inline T nHr(T a,T b){return nCr(a+b-1,b);}
template <typename T> inline T POW(T a,T b){int i,r=1;for(i=1;i<=b;i++){r*=a;}return r;}

int main(void){
	cin.tie(0);
	ios::sync_with_stdio(false);

	int n; bool q[4100][12], r[4100];
	int trues = 0;
	cin >> n;
	REP(i, pow(2,n)){
		REP(j, n) cin >> q[i][j];
		cin >> r[i];
		if(r[i]) trues++;
	}
	cout << "A=";
	if(trues == 0){
		cout << "⊥" << endl;
	} else if(trues == pow(2,n)){
		cout << "⊤" << endl;
	} else {
		int lastindex = n;
		for (int i = pow(2,n)-1; i >= 0; i--) {
			if(r[i]){
				lastindex = i;
				break;
			}
		}
		string ans = "";
		REP(i, pow(2,n)){
			if(r[i]){
				ans += '(';
				REP(j, n){
					if(!q[i][j]) ans += "¬";
					ans += "P_" + to_string(j+1);
					if(j!=n-1) ans += "∧";
				}
				if(i != lastindex) ans += ")∨";
				else ans += ')';
			}
		}
		cout << ans << endl;
	}

	return 0;
}