結果

問題 No.792 真理関数をつくろう
ユーザー mhrb_minasemhrb_minase
提出日時 2019-02-22 22:29:43
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 1,759 bytes
コンパイル時間 1,453 ms
コンパイル使用メモリ 171,456 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-11-25 09:46:01
合計ジャッジ時間 2,233 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#include<bits/stdc++.h>
using namespace std;
#define lint long long
#define P pair<int, int>
#define LLP pair<long long, long long>
#define REP(i, x, n) for(int i = (x), i##_len = (int)(n) ; i < i##_len ; ++i)
#define rep(i, n) for(int i = 0, i##_len = (int)(n) ; i < i##_len ; ++i)
#define repr(i, n) for(int i = (int)(n) - 1 ; i >= 0 ; --i)
#define SORT(x) sort((x).begin(), (x).end())
#define SORT_INV(x) sort((x).rbegin(), (x).rend())
const int IINF = 1e9 + 100;
const long long LLINF = 2e18 + 129;
const long long MOD = 1e9 + 7;
const int dx4[] = {1, 0, -1, 0}, dy4[] = {0, 1, 0, -1};
const int dx8[] = {1, 1, 0, -1, -1, -1, 0, 1}, dy8[] = {0, -1, -1, -1, 0, 1, 1, 1};
const double EPS = 1e-8;
int main(){
cin.tie(0);
ios::sync_with_stdio(false);
int n;
cin >> n;
int p2 = pow(2, n);
vector< vector<int> > p(p2, vector<int>(n));
vector<int> r(p2);
bool flag1 = true, flag2 = true;
rep(i, p2){
rep(j, n){
cin >> p[i][j];
}
cin >> r[i];
flag1 &= (r[i] == 1);
flag2 &= (r[i] == 0);
}
cout << "A=";
if(flag1){
cout << "" << endl;
}else if(flag2){
cout << "" << endl;
}else{
int cnt = 0;
rep(i, p2){
if(r[i] == 0){
continue;
}
if(cnt > 0){
cout << "";
}
++cnt;
cout << "(";
rep(j, n){
if(p[i][j] == 0){
cout << "¬";
}
cout << "P_" << j + 1;
if(j < n - 1){
cout << "";
}
}
cout << ")";
}
cout << endl;
}
return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0