#318403 (C++14) No.792 真理関数をつくろう

• 問題: No.792 真理関数をつくろう
• ユーザー: Haar
• 提出日時: 2019-02-22 21:38:45
• 言語: C++14 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 8 ms / 2,000 ms
• コード長: 2,344 bytes
• コンパイル時間: 1,971 ms
• コンパイル使用メモリ: 178,360 KB
• 実行使用メモリ: 6,944 KB
• 最終ジャッジ日時: 2024-05-04 01:56:20
• 合計ジャッジ時間: 2,602 ms
• ジャッジサーバーID （参考情報）: judge2 / judge4

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	1 ms; 6,812 KB
testcase_01	AC	2 ms; 6,940 KB
testcase_02	AC	2 ms; 6,940 KB
testcase_03	AC	2 ms; 6,944 KB
testcase_04	AC	2 ms; 6,944 KB
testcase_05	AC	3 ms; 6,940 KB
testcase_06	AC	7 ms; 6,940 KB
testcase_07	AC	2 ms; 6,944 KB
testcase_08	AC	2 ms; 6,940 KB
testcase_09	AC	1 ms; 6,940 KB
testcase_10	AC	2 ms; 6,940 KB
testcase_11	AC	2 ms; 6,940 KB
testcase_12	AC	1 ms; 6,944 KB
testcase_13	AC	1 ms; 6,944 KB
testcase_14	AC	2 ms; 6,944 KB
testcase_15	AC	2 ms; 6,940 KB
testcase_16	AC	4 ms; 6,944 KB
testcase_17	AC	2 ms; 6,940 KB
testcase_18	AC	2 ms; 6,944 KB
testcase_19	AC	1 ms; 6,940 KB
testcase_20	AC	6 ms; 6,944 KB
testcase_21	AC	8 ms; 6,940 KB
testcase_22	AC	2 ms; 6,944 KB
testcase_23	AC	2 ms; 6,944 KB
testcase_24	AC	2 ms; 6,944 KB
testcase_25	AC	1 ms; 6,940 KB

ソースコード

#include <bits/stdc++.h>
#define FOR(v, a, b) for(int v = (a); v < (b); ++v)
#define FORE(v, a, b) for(int v = (a); v <= (b); ++v)
#define REP(v, n) FOR(v, 0, n)
#define REPE(v, n) FORE(v, 0, n)
#define REV(v, a, b) for(int v = (a); v >= (b); --v)
#define ALL(x) (x).begin(), (x).end()
#define ITR(it, c) for(auto it = (c).begin(); it != (c).end(); ++it)
#define RITR(it, c) for(auto it = (c).rbegin(); it != (c).rend(); ++it)
#define EXIST(c,x) ((c).find(x) != (c).end())
#define LLI long long int
#define fst first
#define snd second
#ifndef M_PI
#define M_PI 3.14159265358979323846
#endif
#ifndef M_E
#define M_E 2.71828182845904523536
#endif

#ifdef DEBUG
#include <misc/C++/Debug.cpp>
#else
#define dump(x)
#endif

#define pln(x) cout << (x) << endl
#define gcd __gcd

using namespace std;
template <class T> constexpr T lcm(T m, T n){return m/gcd(m,n)*n;}

template <typename T> using V = vector<T>;
template <typename T, typename U> using P = pair<T,U>;
template <typename I> void join(ostream &ost, I s, I t, string d=" "){for(auto i=s; i!=t; ++i){if(i!=s)ost<<d; ost<<*i;}ost<<endl;}
template <typename T> istream& operator>>(istream &is, vector<T> &v){for(auto &a : v) is >> a; return is;}
template <typename T, typename U> istream& operator>>(istream &is, pair<T,U> &p){is >> p.first >> p.second; return is;}

template <typename T, typename U> T& chmin(T &a, const U &b){return a = (a<=b?a:b);}
template <typename T, typename U> T& chmax(T &a, const U &b){return a = (a>=b?a:b);}
template <typename T, size_t N, typename U> void fill_array(T (&a)[N], const U &v){fill((U*)a, (U*)(a+N), v);}

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

  int N;
  while(cin >> N){
    vector<vector<int>> Q(1<<N, vector<int>(N));
    vector<int> R(1<<N);

    REP(i,1<<N){
      REP(j,N) cin >> Q[i][j];
      cin >> R[i];
    }

    if(all_of(ALL(R), [](int x){return x==1;})){
      cout << "A=⊤" << endl;
    }else if(all_of(ALL(R), [](int x){return x==0;})){
      cout << "A=⊥" << endl;
    }else{
      string ret = "A=";

      REP(i,1<<N){
	if(R[i]){
	  if(ret.size()>2) ret += "∨";
	  string t = "(";

	  REP(j,N){
	    if(j) t += "∧";
	    if(Q[i][j]) t += "P_" + to_string(j+1);
	    else t += "¬P_" + to_string(j+1);
	  }

	  t += ")";
	  ret += t;
	}
      }

      cout << ret << endl;
    }
  }
  
  return 0;
}