結果
問題 | No.792 真理関数をつくろう |
ユーザー |
![]() |
提出日時 | 2019-02-22 21:40:57 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 10 ms / 2,000 ms |
コード長 | 2,672 bytes |
コンパイル時間 | 1,963 ms |
コンパイル使用メモリ | 178,860 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-25 07:53:41 |
合計ジャッジ時間 | 2,296 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <bits/stdc++.h> using namespace std; #define int long long #define stoi stoll using ll=long long; using vi=vector<int>; using pii=pair<int,int>; #define ALL(c) begin(c),end(c) #define RALL(c) rbegin(c),rend(c) #define ITR(i,b,e) for(auto i=(b);i!=(e);++i) #define FORE(x,c) for(auto &&x:c) #define REPF(i,a,n) for(int i=a,i##len=(int)(n);i<i##len;++i) #define REP(i,n) REPF(i,0,n) #define REPR(i,n) for(int i=(int)(n);i>=0;--i) #define SZ(c) ((int)c.size()) #define CONTAIN(c,x) (c.find(x)!=end(c)) #define INSEG(l,x,r) ((l)<=(x)&&(x)<(r)) #define dump(...) #define pb push_back #define _ 0 const signed INF_=1001001001; const long long INF=1001001001001001001LL; const int DX[9]={0,1,0,-1,1,1,-1,-1,0},DY[9]={-1,0,1,0,-1,1,1,-1,0}; template<class T> ostream& operator<<(ostream &os,const vector<T> &v) { ITR(i,begin(v),end(v))os<<*i<<(i==end(v)-1?"":" ");return os;} template<class T> istream& operator>>(istream &is,vector<T> &v) { ITR(i,begin(v),end(v)) is>>*i;return is;} template<class T,class U> istream& operator>>(istream &is, pair<T,U> &p) { is>>p.first>>p.second;return is;} template<class T, class U> bool chmax(T &a,const U &b){return a<b?a=b,1:0;} template<class T, class U> bool chmin(T &a,const U &b){return a>b?a=b,1:0;} template <class T> void PSUM(T& c) {partial_sum(begin(c), end(c), begin(c));} template<class T> using heap=priority_queue<T,vector<T>,greater<T>>; struct before_main_function { before_main_function() { cin.tie(0); ios::sync_with_stdio(0); cout << setprecision(15) << fixed; // #define endl "\n" } } before_main_function; //------------------8<------------------------------------8<-------------------- signed main() { int N; cin >> N; vector<vector<int>> QR(1 << N, vector<int>(N + 1)); int cnt0 = 0, cnt1 = 0; REP(i, 1 << N) { REP(j, N + 1) { cin >> QR[i][j]; } if (QR[i].back()) cnt1++; else cnt0++; } if (cnt1 == (1 << N)) { cout << "A=⊤" << endl; return 0; } if (cnt0 == (1 << N)) { cout << "A=⊥" << endl; return 0; } vector<string> ans; REP(i, 1 << N) { if (!QR[i].back()) continue; stringstream ss; ss << "("; REP(j, N) { if (!QR[i][j]) ss << "¬"; ss << "P_" << j + 1; if (j != N - 1) { ss << "∧"; } } ss << ")"; ans.push_back(ss.str()); } cout << "A="; REP(i, SZ(ans)) { cout << ans[i]; if (i != SZ(ans) - 1) { cout << "∨"; } } cout << endl; return (0^_^0); }