結果
問題 |
No.792 真理関数をつくろう
|
ユーザー |
|
提出日時 | 2019-02-22 21:52:31 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 1,998 bytes |
コンパイル時間 | 1,059 ms |
コンパイル使用メモリ | 100,656 KB |
実行使用メモリ | 6,824 KB |
最終ジャッジ日時 | 2024-11-25 07:41:35 |
合計ジャッジ時間 | 1,700 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 WA * 2 |
other | WA * 22 |
ソースコード
//#include <bits/stdc++.h> #include <iostream> #include <complex> #include <sstream> #include <string> #include <algorithm> #include <deque> #include <list> #include <map> #include <numeric> #include <queue> #include <vector> #include <set> #include <limits> #include <cstdio> #include <cctype> #include <cmath> #include <cstring> #include <cstdlib> #include <ctime> #include <climits> #include <iomanip> #define REP(i, n) for(int i = 0; i < (int)(n); i++) #define FOR(i, j, k) for(int i = (int)(j); i < (int)(k); ++i) #define ROF(i, j, k) for(int i = (int)(j); i >= (int)(k); --i) #define FORLL(i, n, m) for(long long i = n; i < (long long)(m); i++) #define SORT(v, n) sort(v, v+n) #define REVERSE(v) reverse((v).begin(), (v).end()) using namespace std; using ll = long long; const ll MOD=1000000007LL; typedef pair<int, int> P; ll ADD(ll x, ll y) { return (x+y) % MOD; } ll SUB(ll x, ll y) { return (x-y+MOD) % MOD; } ll MUL(ll x, ll y) { return x*y % MOD; } ll POW(ll x, ll e) { ll v=1; for(; e; x=MUL(x,x), e>>=1) if (e&1) v = MUL(v,x); return v; } ll DIV(ll x, ll y) { /*assert(y%MOD!=0);*/ return MUL(x, POW(y, MOD-2)); } 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;} int n; int sum_r; bool Q[(1<<13)][13], R[(1<<13)]; int main(void){ ios_base::sync_with_stdio(false); cin.tie(0); cin >> n; REP(i, 1<<n) { REP(j, n) { cin >> Q[i][j]; } cin >> R[i]; sum_r += R[i]; } if(sum_r == 0){cout << "A=⊥" << endl; return 0;} if(sum_r == (1<<n)){cout << "A=⊤" << endl; return 0;} string ans="A="; string res=""; REP(i, 1<<n){ if(R[i]){ ans+="("; REP(j, n){ if(Q[i][j]) ans+="P_"+to_string(j+1); else ans+="¬P_"+to_string(j+1); if(j != n-1) ans+="∧"; } //ans = ans //ans.pop_back(); //res += ans; ans+=")"; } } ans.pop_back(); cout << ans << endl; return 0; }