結果

問題 No.792 真理関数をつくろう
ユーザー ut0sut0s
提出日時 2021-01-01 10:48:48
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 2,527 bytes
コンパイル時間 1,910 ms
コンパイル使用メモリ 177,084 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-04-19 06:19:28
合計ジャッジ時間 2,919 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

/**
  @file 0792.cpp
  @title  No.792 真理関数をつくろう - yukicoder
  @url https://yukicoder.me/problems/no/792
**/

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

typedef long long LL;
typedef unsigned long long uLL;
typedef unsigned int uint;

#define ALL(obj) (obj).begin(), (obj).end()
#define RALL(x) (x).rbegin(), (x).rend()
#define SZ(x) ((int)(x).size())

#define REPI(i, a, b) for (LL i = LL(a); i < LL(b); ++i)
#define REP(i, N) for (LL i = LL(0); i < LL(N); ++i)
#define REPS(i, N) for (int i = 1; i <= (int)(N); i++)
#define RREP(i, N) for (int i = ((int)(N)-1); i >= 0; i--)
#define RREPS(i, N) for (int i = ((int)(N)); i > 0; i--)

#define chmax(ret, x) ret = max(ret, x)
#define chmin(ret, x) ret = min(ret, x)

#define FILL(x, e) memset(x, e, sizeof(x))
#define ZEROS(x) fill(x, 0)

#define SORT(x) sort(ALL(x))
#define RSORT(x) sort(RALL(x))

#define UNIQ(x) x.erase(unique(ALL(x)), x.end())

#define BIT(n) (1LL << (n))

#define OUT(x) cout << (x) << "\n"
#define DEBUG(x) cerr << #x << " : " << x << "\n"
#define DEBUG2(x, y) cerr << "(" << #x << ", " << #y << ") = (" << x << ", " << y << ")\n";

#define PB push_back
#define EB emplace_back
#define MP make_pair
#define MT make_tuple
#define FI first
#define SE second

const int MOD = 1e9 + 7;

void iostream_init() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.setf(ios::fixed);
  cout.precision(12);
  // cout.fill('0');
  // cout.width(3);
}

int main() {
  ::iostream_init();

  int N;
  cin >> N;

  vector<int> tmpQ(N, 0);
  vector<vector<int>> Q;
  vector<int> R(pow(2, N), 0);

  REP(i, pow(2, N)) {
    REP(j, N) {
      cin >> tmpQ[j];
    }
    cin >> R[i];
    Q.PB(tmpQ);
  }

  string str_and = "∧";
  string str_or  = "∨";
  string str_not = "¬";
  string str_top = "⊤"; // all true
  string str_btm = "⊥"; // all false

  int c = 0;
  vector<string> buf;
  REP(i, (int)pow(2, N)) {
    string tmp = "";
    if (R[i] == 1) {
      c++;

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

        if (j != N - 1) {
          tmp += str_and;
        }
      }
      tmp += ")";
      buf.PB(tmp);
    }
  }

  string ans = "A=";
  REP(i, SZ(buf)) {
    ans += buf[i];
    if (i != (SZ(buf) - 1)) {
      ans += str_or;
    }
  }

  if (c == pow(2, N)) {
    ans = "A=" + str_top;
  } else if (c == 0) {
    ans = "A=" + str_btm;
  }

  OUT(ans);
  return 0;
}
0