結果

問題 No.792 真理関数をつくろう
ユーザー heno239heno239
提出日時 2019-02-22 22:05:23
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,389 bytes
コンパイル時間 1,435 ms
コンパイル使用メモリ 174,056 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-25 08:33:27
合計ジャッジ時間 2,224 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 AC 1 ms
6,816 KB
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 AC 1 ms
6,816 KB
testcase_23 AC 1 ms
6,820 KB
testcase_24 AC 1 ms
6,816 KB
testcase_25 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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<int>anss(1<<N);
	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[num];
	}
	string ans="";
	if (count(anss.begin(), anss.end(), 1) == 0) {
		ans="⊥";
	}
	else if (count(anss.begin(), anss.end(), 1) == (1 << N)) {
		ans="⊤";
	}
	else {
		
		for (int i = 0; i < (1 << N); ++i) {
			if (anss[i]) {
				ans+="(";
				for (int j = N - 1; j >= 0; --j) {
					string ast;
					if (i&(1 << j)) {
						ast+="¬";
					}
					ast+="P_";
					ast+=to_string(N-j);
					ans+=ast;
					if (j) {
						ans += "∧";
					}
				}

				ans += ")";
				ans += "∨";
			}
		}
		ans.pop_back();
		ans.pop_back();
		ans.pop_back();

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