結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 23:24:53 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 14 ms / 2,000 ms |
コード長 | 2,816 bytes |
コンパイル時間 | 1,799 ms |
コンパイル使用メモリ | 172,640 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-11-26 00:06:49 |
合計ジャッジ時間 | 2,738 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <bits/stdc++.h>#include <unistd.h>using namespace std;#define DEBUG(x) cerr<<#x<<": "<<x<<endl;#define DEBUG_VEC(v) cerr<<#v<<":";for(int i=0;i<v.size();i++) cerr<<" "<<v[i]; cerr<<endl#define DEBUG_MAT(v) cerr<<#v<<endl;for(int i=0;i<v.size();i++){for(int j=0;j<v[i].size();j++) {cerr<<v[i][j]<<" ";}cerr<<endl;}typedef long long ll;#define vi vector<int>#define vl vector<ll>#define vii vector< vector<int> >#define vll vector< vector<ll> >#define vs vector<string>#define pii pair<int,int>#define pis pair<int,string>#define psi pair<string,int>#define pll pair<ll,ll>template<class S, class T> pair<S, T> operator+(const pair<S, T> &s, const pair<S, T> &t) { return pair<S, T>(s.first + t.first, s.second + t.second);}template<class S, class T> pair<S, T> operator-(const pair<S, T> &s, const pair<S, T> &t) { return pair<S, T>(s.first - t.first, s.second - t.second);}template<class S, class T> ostream& operator<<(ostream& os, pair<S, T> p) { os << "(" << p.first << ", " << p.second << ")"; return os; }#define X first#define Y second#define rep(i,n) for(int i=0;i<(n);i++)#define rep1(i,n) for(int i=1;i<=(n);i++)#define rrep(i,n) for(int i=(n)-1;i>=0;i--)#define rrep1(i,n) for(int i=(n);i>0;i--)#define REP(i,a,b) for(int i=a;i<b;i++)#define in(x, a, b) (a <= x && x < b)#define all(c) c.begin(),c.end()template<class T> bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }template<class T> bool chmin(T &a, const T &b) { if (a>b) { a = b; return 1; } return 0; }#define UNIQUE(v) v.erase(std::unique(v.begin(), v.end()), v.end());const ll inf = 1000000001;const ll INF = (ll)1e18 + 1;const ll MOD = 1000000007;//const ll MOD = 998244353;const double pi = 3.14159265358979323846;#define Sp(p) cout<<setprecision(15)<< fixed<<p<<endl;int dx[4] = { 1,0, -1,0 }, dy[4] = { 0,1,0,-1 };int dx2[8] = { 1,1,0,-1,-1,-1,0,1 }, dy2[8] = { 0,1,1,1,0,-1,-1,-1 };#define fio() cin.tie(0); ios::sync_with_stdio(false);//#define mp make_pairint main() {int n;cin >> n;vii q(1 << n, vi(n));vi r(1 << n);rep (i, 1 << n) {rep (j, n) {cin >> q[i][j];}cin >> r[i];}string ans = "A=";bool all_true = true, all_false = true;rep (i, 1 << n) {if (r[i]) all_false = false;else all_true = false;}if (all_true) {ans += "⊤";cout << ans << endl;return 0;}if (all_false) {ans += "⊥";cout << ans << endl;return 0;}bool first = true;rep (i, 1 << n) {if (r[i] == 0) continue;if (!first) ans += "∨";first = false;ans += "(";rep (j, n) {if (j != 0) ans += "∧";if (!q[i][j]) {ans += "¬";}ans += "P_";ans += to_string(j + 1);}ans += ")";}cout << ans << endl;}