結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:46:26 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 12 ms / 2,000 ms |
コード長 | 2,069 bytes |
コンパイル時間 | 905 ms |
コンパイル使用メモリ | 114,188 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-25 07:56:18 |
合計ジャッジ時間 | 1,664 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
/* ---------- STL Libraries ---------- */ // IO library #include <cstdio> #include <fstream> #include <iomanip> #include <ios> #include <iostream> // algorithm library #include <algorithm> #include <cmath> #include <numeric> #include <random> #include <cstring> // container library #include <array> #include <bitset> #include <deque> #include <map> #include <unordered_map> #include <queue> #include <set> #include <string> #include <tuple> #include <vector> #include <stack> /* ---------- Namespace ---------- */ using namespace std; /* ---------- Type ---------- */ using ll = long long; #define int ll #define P pair<ll, ll> /* ---------- Constants */ const double PI = 3.141592653589793238462643383279; const ll MOD = 1e9 + 7; const int INF = 1LL << 55; /* v-v-v-v-v-v-v-v-v Main Part v-v-v-v-v-v-v-v-v */ signed main() { int N; cin >> N; int M = 1; for (int i = 0; i < N; i++) M *= 2; int table[M][N]; int R[M]; for (int i = 0; i < M; i++) { for (int j = 0; j < N; j++) { cin >> table[i][j]; } cin >> R[i]; } bool always_true = true; bool always_false = true; for (int i = 0; i < M; i++) { if (R[i] == 1) { always_false = false; } else { always_true = false; } } if (always_false) { cout << "A=⊥" << endl; return 0; } if (always_true) { cout << "A=⊤" << endl; return 0; } string ret = "A="; bool is_first = true; for (int i = 0; i < M; i++) { if (R[i] == 0) continue; if (!is_first) ret += "∨"; ret += "("; bool is_first_in = true; for (int j = 0; j < N; j++) { if (!is_first_in) ret += "∧"; if (table[i][j] == 0) { ret += "¬P_" + to_string(j+1); } else { ret += "P_" + to_string(j+1); } is_first_in = false; } is_first = false; ret += ")"; } cout << ret << endl; return 0; }