結果

問題 No.792 真理関数をつくろう
ユーザー GrenacheGrenache
提出日時 2019-04-26 17:49:45
言語 Java21
(openjdk 21)
結果
AC  
実行時間 404 ms / 2,000 ms
コード長 1,363 bytes
コンパイル時間 3,977 ms
コンパイル使用メモリ 78,540 KB
実行使用メモリ 59,588 KB
最終ジャッジ日時 2024-05-03 15:32:34
合計ジャッジ時間 9,395 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 143 ms
54,484 KB
testcase_01 AC 208 ms
57,048 KB
testcase_02 AC 135 ms
54,436 KB
testcase_03 AC 229 ms
58,192 KB
testcase_04 AC 135 ms
54,016 KB
testcase_05 AC 232 ms
58,092 KB
testcase_06 AC 370 ms
59,380 KB
testcase_07 AC 189 ms
55,024 KB
testcase_08 AC 137 ms
54,092 KB
testcase_09 AC 136 ms
54,132 KB
testcase_10 AC 137 ms
54,084 KB
testcase_11 AC 133 ms
54,176 KB
testcase_12 AC 140 ms
54,012 KB
testcase_13 AC 134 ms
54,128 KB
testcase_14 AC 152 ms
54,372 KB
testcase_15 AC 182 ms
54,960 KB
testcase_16 AC 262 ms
59,328 KB
testcase_17 AC 151 ms
54,500 KB
testcase_18 AC 136 ms
54,312 KB
testcase_19 AC 134 ms
54,316 KB
testcase_20 AC 350 ms
59,416 KB
testcase_21 AC 404 ms
59,588 KB
testcase_22 AC 134 ms
54,148 KB
testcase_23 AC 134 ms
54,480 KB
testcase_24 AC 135 ms
54,208 KB
testcase_25 AC 138 ms
54,276 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import java.io.*;
import java.util.Scanner;


public class Main_yukicoder792 {

	private static Scanner sc;
	private static Printer pr;

	private static void solve() {
		int n = sc.nextInt();
		int n2 = 0x1 << n;

		boolean[][] q = new boolean[n2][n];
		boolean[] r = new boolean[n2];
		for (int i = 0; i < n2; i++) {
			for (int j = 0; j < n; j++) {
				q[i][j] = sc.next().equals("1");
			}
			r[i] = sc.next().equals("1");
		}

		StringBuilder sb = new StringBuilder();
		int cnt = 0;
		for (int i = 0; i < n2; i++) {
			if (r[i]) {
				cnt++;
				if (sb.length() > 0) {
					sb.append("∨");
				}
				StringBuilder qq = new StringBuilder();
				qq.append('(');
				for (int j = 0; j < n; j++) {
					if (j > 0) {
						qq.append("∧");
					}
					if (!q[i][j]) {
						qq.append("¬");
					}
					qq.append("P_");
					qq.append(j + 1);
				}
				qq.append(')');
				sb.append(qq);
			}
		}
		
		if (cnt == 0) {
			pr.println("A=⊥");
		} else if (cnt == n2) {
			pr.println("A=⊤");
		} else {
			pr.printf("A=%s%n", sb.toString());
		}
	}

	// ---------------------------------------------------
	public static void main(String[] args) {
		sc = new Scanner(System.in);
		pr = new Printer(System.out);
			
		solve();
			
		pr.close();
		sc.close();
	}

	static class Printer extends PrintWriter {
		Printer(OutputStream out) {
			super(out);
		}
	}
}
0