結果
| 問題 | No.792 真理関数をつくろう |
| ユーザー |
 tempura_pp
|
| 提出日時 | 2019-02-22 21:34:25 |
| 言語 | C++11 (gcc 11.4.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 1,178 bytes |
| コンパイル時間 | 768 ms |
| コンパイル使用メモリ | 88,352 KB |
| 実行使用メモリ | 10,624 KB |
| 最終ジャッジ日時 | 2024-05-04 01:53:26 |
| 合計ジャッジ時間 | 10,960 ms |
|
ジャッジサーバーID （参考情報） |
judge2 / judge1 |
（要ログイン）
テストケース
テストケース表示| 入力 | 結果 | 実行時間 実行使用メモリ |
|---|---|---|
| testcase_00 | TLE | - |
| testcase_01 | -- | - |
| testcase_02 | -- | - |
| testcase_03 | -- | - |
| testcase_04 | -- | - |
| testcase_05 | -- | - |
| testcase_06 | -- | - |
| testcase_07 | -- | - |
| testcase_08 | -- | - |
| testcase_09 | -- | - |
| testcase_10 | -- | - |
| testcase_11 | -- | - |
| testcase_12 | -- | - |
| testcase_13 | -- | - |
| testcase_14 | -- | - |
| testcase_15 | -- | - |
| testcase_16 | -- | - |
| testcase_17 | -- | - |
| testcase_18 | -- | - |
| testcase_19 | -- | - |
| testcase_20 | -- | - |
| testcase_21 | -- | - |
| testcase_22 | -- | - |
| testcase_23 | -- | - |
| testcase_24 | -- | - |
| testcase_25 | -- | - |
ソースコード
#include<iostream>
#include<string>
#include<algorithm>
#include<vector>
#include<iomanip>
#include<math.h>
#include<complex>
#include<queue>
#include<deque>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<functional>
#include<assert.h>
#include<numeric>
using namespace std;
#define REP(i,m,n) for(int i=(int)(m) ; i < (int) (n) ; ++i )
#define rep(i,n) REP(i,0,n)
typedef long long ll;
typedef pair<int,int> pint;
typedef pair<ll,int> pli;
const int inf=1e9+7;
const ll longinf=1LL<<60 ;
const ll mod=1e9+7 ;
int main(){
int n;
cin>>n;
string ret="";
int first=true;
rep(i,(1<<n)){
int a[n];
rep(j,n)cin>>a[i];
int ans;
cin>>ans;
if(ans){
if(!first)ret+="∨";
first=false;
ret+='(';
rep(j,n){
if(!a[j]){
ret+="¬";
}
ret+="P_";
ret+=(char)'1'+j;
if(j!=n-1)ret+="∧";
}
ret+=")";
}
}
int m=ret.size();
if(m==0){
cout<<"⊥"<<endl;
return 0;
}
cout<<ret<<endl;
return 0;
}