結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 121 ms
53,908 KB
testcase_01 AC 189 ms
56,844 KB
testcase_02 AC 111 ms
53,036 KB
testcase_03 AC 209 ms
58,132 KB
testcase_04 AC 121 ms
53,996 KB
testcase_05 AC 208 ms
58,048 KB
testcase_06 AC 312 ms
59,332 KB
testcase_07 AC 169 ms
55,032 KB
testcase_08 AC 120 ms
54,040 KB
testcase_09 AC 127 ms
54,308 KB
testcase_10 AC 125 ms
54,360 KB
testcase_11 AC 123 ms
54,512 KB
testcase_12 AC 127 ms
54,172 KB
testcase_13 AC 110 ms
53,088 KB
testcase_14 AC 122 ms
54,324 KB
testcase_15 AC 153 ms
54,748 KB
testcase_16 AC 251 ms
58,204 KB
testcase_17 AC 136 ms
54,124 KB
testcase_18 AC 110 ms
52,972 KB
testcase_19 AC 110 ms
52,880 KB
testcase_20 AC 289 ms
59,180 KB
testcase_21 AC 341 ms
59,984 KB
testcase_22 AC 117 ms
53,876 KB
testcase_23 AC 119 ms
54,268 KB
testcase_24 AC 114 ms
53,124 KB
testcase_25 AC 128 ms
54,232 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