結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:36:25 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 12 ms / 2,000 ms |
コード長 | 1,184 bytes |
コンパイル時間 | 1,447 ms |
コンパイル使用メモリ | 169,024 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-25 07:47:49 |
合計ジャッジ時間 | 2,233 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <bits/stdc++.h>using namespace std;#define rep(i,n) for (int (i)=(0);(i)<(int)(n);++(i))using ll = long long;using P = pair<ll, ll>;using namespace std;template<class T> void vin(vector<T>& v, int n) {v.resize(n);for (int i = 0; i < n; ++i) {cin >> v[i];}}int q[5000][13];int r[5000];int main(){int N;cin >> N;int one = 0, zero = 0;rep(i, pow(2, N)) {rep(j, N) cin >> q[i][j];cin >> r[i];if (r[i]) one++;else zero++;}if (one == pow(2, N)) {cout << "A=⊤" << endl;}else if (zero == pow(2, N)) {cout << "A=⊥" << endl;}else {string ans = "";rep(i, pow(2, N)) {if (r[i]) {if (ans.size()) ans += "∨";ans += "(";//rep(j, N) {if (j) ans += "∧";if (q[i][j] == 0) {ans += "¬";}ans += "P_" + to_string(j+1);}ans += ")";}}cout << "A=" << ans << endl;}}