結果

問題 No.792 真理関数をつくろう
ユーザー peroonperoon
提出日時 2019-02-22 22:02:28
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,102 bytes
コンパイル時間 1,065 ms
コンパイル使用メモリ 103,668 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-11-25 08:26:35
合計ジャッジ時間 1,899 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include<algorithm>
#include<complex>
#include<ctype.h>
#include<iomanip>
#include<iostream>
#include<map>
#include<math.h>
#include<numeric>
#include<queue>
#include<set>
#include<stack>
#include<stdio.h>
#include<string>
#include<string>
#include<vector>

using namespace std;
typedef long long ll;

#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define ALL(v) (v).begin(), (v).end()
#define p(s) cout<<(s)<<endl
#define p2(s, t) cout << (s) << " " << (t) << endl
#define br() p("")
#define pn(s) cout << (#s) << " " << (s) << endl
#define p_yes() p("YES")
#define p_no() p("NO")

template < typename T >
void vprint(T &V){
	for(auto v : V){
    	cout << v << " ";
	}
	cout << endl;
}

const ll mod = 1e9 + 7;
const ll inf = 1e18;

string f(vector<ll> list){
    stringstream ss;
    ss << '(';
    ll L = list.size();
    FOR(i, 0, L){
        if(list[i]==0){
            ss << "¬";
        }
        ss << "P_" << i+1;
        if(i!=L-1){
            ss << "∧";
        }
    }

    ss << ')';
    return ss.str();
}

int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);

    // input
    ll N;
    cin >> N;

    vector<ll> R;
    vector<vector<ll> > A(1<<N);
    FOR(i, 0, 1<<N){
        FOR(j, 0, N){
            ll q;
            cin >> q;
            A[i].push_back(q);
        }

        ll r;
        cin >> r;
        R.push_back(r);
    }

    bool zero_exist = false;
    bool one_exist = false;
    for(auto r : R){
        if(r==0){
            zero_exist = true;
        }else{
            one_exist = true;
        }
    }

    if(zero_exist && !one_exist){
        p("A=⊥");
        return 0;
    }
    else if(!zero_exist && one_exist){
        p("A=⊤");
        return 0;
    }

    stringstream ss;
    ss << "A=";
    ll len = 1<<N;
    FOR(i, 0, len){
        if(R[i]==1){
            ss << f(A[i]);
            ss << "∨";
        }
    }
    string answer = ss.str();
    ll L = answer.size();
    p(answer.substr(0, L-1));
    
    // ll L = answer.length();
    // FOR(i, 0, L-1){
    //     cout << answer[i];
    // }
    // cout << endl;





    return 0;
}
0