結果

問題 No.792 真理関数をつくろう
ユーザー GrenacheGrenache
提出日時 2019-04-26 17:49:01
言語 Java21
(openjdk 21)
結果
WA  
実行時間 -
コード長 1,359 bytes
コンパイル時間 3,224 ms
コンパイル使用メモリ 78,740 KB
実行使用メモリ 54,260 KB
最終ジャッジ日時 2024-05-03 15:31:16
合計ジャッジ時間 8,690 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 128 ms
41,600 KB
testcase_01 AC 191 ms
44,168 KB
testcase_02 AC 105 ms
41,484 KB
testcase_03 AC 213 ms
46,384 KB
testcase_04 AC 109 ms
40,068 KB
testcase_05 AC 210 ms
45,840 KB
testcase_06 AC 324 ms
48,232 KB
testcase_07 AC 170 ms
42,612 KB
testcase_08 AC 102 ms
41,484 KB
testcase_09 AC 135 ms
41,480 KB
testcase_10 AC 132 ms
41,572 KB
testcase_11 AC 123 ms
41,388 KB
testcase_12 AC 129 ms
41,644 KB
testcase_13 AC 108 ms
41,480 KB
testcase_14 AC 110 ms
41,216 KB
testcase_15 AC 167 ms
42,100 KB
testcase_16 AC 231 ms
47,796 KB
testcase_17 AC 138 ms
41,476 KB
testcase_18 AC 118 ms
40,220 KB
testcase_19 AC 124 ms
41,200 KB
testcase_20 AC 309 ms
47,684 KB
testcase_21 AC 363 ms
48,796 KB
testcase_22 AC 122 ms
41,364 KB
testcase_23 WA -
testcase_24 WA -
testcase_25 AC 133 ms
41,392 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("⊥");
		} else if (cnt == n2) {
			pr.println("⊤");
		} 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