結果
問題 | No.792 真理関数をつくろう |
ユーザー |
|
提出日時 | 2019-03-08 22:14:24 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 19 ms / 2,000 ms |
コード長 | 929 bytes |
コンパイル時間 | 914 ms |
コンパイル使用メモリ | 81,316 KB |
実行使用メモリ | 6,944 KB |
最終ジャッジ日時 | 2024-06-23 15:08:22 |
合計ジャッジ時間 | 1,858 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 22 |
ソースコード
#include <iostream>#include <stdio.h>#include <vector>#include <string>#include <string.h>#include <math.h>using namespace std;int main(int argc, char* argv[]){int N;int C;cin>>N;C=(int)pow(2.0,N);vector<vector<int>> Q(C,vector<int>(N));vector<int> R(C);int i,j;for (i=0;i<C;i++){for (j=0;j<N;j++){cin>>Q[i][j];}cin>>R[i];}int rSum=0;for (i=0;i<C;i++){rSum+=R[i];}cout<<"A=";if (rSum==C){cout<<"⊤"<<endl;return 0;}else if (rSum==0){cout<<"⊥"<<endl;return 0;}vector<string> S;for (i=0;i<C;i++){if (R[i]==1){string s;for (j=0;j<N;j++){if (Q[i][j]==1){s+="P_";}else{s+="¬P_";}char Num[10];sprintf(Num,"%d",j+1);s+=Num;if (j<N-1){s+="∧";}}S.push_back(s);}}for (i=0;i<S.size();i++){if (i>0){cout<<"∨";}cout<<"(";cout<<S[i];cout<<")";}return 0;}