結果

問題 No.792 真理関数をつくろう
ユーザー mhrb_minasemhrb_minase
提出日時 2019-02-22 22:29:43
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 1,759 bytes
コンパイル時間 1,558 ms
コンパイル使用メモリ 170,484 KB
実行使用メモリ 4,380 KB
最終ジャッジ日時 2023-08-16 19:53:28
合計ジャッジ時間 2,720 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge11
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 3 ms
4,380 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 3 ms
4,380 KB
testcase_06 AC 8 ms
4,376 KB
testcase_07 AC 1 ms
4,376 KB
testcase_08 AC 1 ms
4,380 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 1 ms
4,380 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 1 ms
4,376 KB
testcase_13 AC 2 ms
4,376 KB
testcase_14 AC 1 ms
4,376 KB
testcase_15 AC 2 ms
4,380 KB
testcase_16 AC 4 ms
4,376 KB
testcase_17 AC 2 ms
4,380 KB
testcase_18 AC 2 ms
4,380 KB
testcase_19 AC 1 ms
4,380 KB
testcase_20 AC 5 ms
4,380 KB
testcase_21 AC 11 ms
4,376 KB
testcase_22 AC 2 ms
4,380 KB
testcase_23 AC 2 ms
4,376 KB
testcase_24 AC 1 ms
4,376 KB
testcase_25 AC 2 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

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;
}
0