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

• 問題: No.792 真理関数をつくろう
• ユーザー: yumakmc
• 提出日時: 2019-02-22 22:16:10
• 言語: C++11 (gcc 11.4.0)
• 結果: AC
• 実行時間: 12 ms / 2,000 ms
• コード長: 1,463 bytes
• コンパイル時間: 1,179 ms
• コンパイル使用メモリ: 164,200 KB
• 実行使用メモリ: 6,944 KB
• 最終ジャッジ日時: 2024-05-04 02:49:05
• 合計ジャッジ時間: 1,950 ms
• ジャッジサーバーID （参考情報）: judge5 / judge2

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

ソースコード

#include "bits/stdc++.h"

#pragma warning(disable:4996)
using namespace std;
long long int mod=1e9+7;
pair<long long int, long long int>mul(
	pair<long long int, long long int>&l,
	pair<long long int, long long int>&r) {
	auto p=make_pair(l.first*r.first,l.second*r.first+r.second);
	return make_pair(p.first%mod,p.second%mod);
}


pair<long long int,long long int> solve(pair<long long int,long long int> a, long long int b) {
	pair<long long int,long long int>answer(1,0);
	if(b==0)return answer;
	if (b % 2) {
		answer=a;
	}
	auto x=solve(a,b/2);
	x=mul(x,x);
	answer=mul(answer,x);

	return answer;
}
int main() {
	int N;cin>>N;
	vector<pair<int,int>>anss(1<<N);

	int nnum=0;
	for (int i = 0; i < (1 << N); ++i) {
		int num=0;
		for (int j = 0; j < N; ++j) {
			num*=2;
			int a;cin>>a;
			num+=a;
		}
		cin>>anss[i].second;
		anss[i].first=num;
		nnum+=anss[i].second;
	}
	string ans="";
	if (nnum == 0) {
		ans="⊥";
	}
	else if (nnum == (1 << N)) {
		ans="⊤";
	}
	else {
		bool flag=false;
		for (int i = 0; i < (1 << N); ++i) {
			if (anss[i].second) {
				if (!flag) {
					flag=true;
				}
				else {
					ans += "∨";

				}
				ans+="(";
				for (int j = N - 1; j >= 0; --j) {
					string ast;
					if (anss[i].first&(1 << j)) {
					}
					else {
						ast += "¬";

					}
					ast+="P_";
					ast+=to_string(N-j);
					ans+=ast;
					if (j) {
						ans += "∧";
					}
				}

				ans += ")";
			}
		}
	}
	cout<<"A="<<ans<<endl;
   return 0;
}