結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー yukarinoki
提出日時 2019-02-22 23:48:49
言語 C++11（廃止可能性あり）
(gcc 15.2.0 + boost 1.89.0)
結果
WA  
実行時間 -
コード長 1,318 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,355 ms
コンパイル使用メモリ 161,152 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-11-26 03:02:53
合計ジャッジ時間 2,318 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1 WA * 3
other AC * 2 WA * 20
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp:22:24: warning: multi-character character constant [-Wmultichar]
   22 |                     s+='∧';
      |                        ^~~
main.cpp:30:20: warning: multi-character character constant [-Wmultichar]
   30 |                 s+='∨';
      |                    ^~~
main.cpp:36:24: warning: multi-character character constant [-Wmultichar]
   36 |                     s+='∧';
      |                        ^~~
main.cpp: In function ‘int main()’:
main.cpp:22:24: warning: overflow in conversion from ‘int’ to ‘char’ changes value from ‘14846119’ to ‘'\37777777647'’ [-Woverflow]
   22 |                     s+='∧';
      |                        ^~~
main.cpp:30:20: warning: overflow in conversion from ‘int’ to ‘char’ changes value from ‘14846120’ to ‘'\37777777650'’ [-Woverflow]
   30 |                 s+='∨';
      |                    ^~~
main.cpp:36:24: warning: overflow in conversion from ‘int’ to ‘char’ changes value from ‘14846119’ to ‘'\37777777647'’ [-Woverflow]
   36 |                     s+='∧';
      |                        ^~~

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
using namespace std;

int main(){
    int n; cin >> n;
    int nn = pow(2,n);
    vector<int> v(n);
    string s; s+= "A=";
    bool flag = true, flag2 = true;
    for(int i=0;i<nn;i++){
        int t;
       for(int i=0;i<n;i++) cin >> v[i];
       cin >> t;
       if(t==1){
            if(flag){
                flag = false;
                s+='(';
                for(int i=0;i<n-1;i++){
                    if(v[i]==0) s+="¬";
                    s+="P_";
                    s+='1' + (char)i;
                    s+='∧';
                }
                if(v[n-1]==0) s+="¬";
                s+="P_";
                s+='1' + (char)n-1;
                
                s+=')';
            }else{
                s+='∨';
                s+='(';
                for(int i=0;i<n-1;i++){
                    if(v[i]==0) s+="¬";
                    s+="P_";
                    s+='1' + (char)i;
                    s+='∧';
                }
                if(v[n-1]==0) s+="¬";
                s+="P_";
                s+='1' + (char)n-1;
                
                s+=')';
            }
       }else if(flag2){
           flag2= false;
       }
    }
    if(flag) cout << "A=⊥" << endl;
    if(flag2) cout << "A=⊤"<< endl;
    else cout << s << endl;
    return 0;
}
0