結果

問題 No.792 真理関数をつくろう
ユーザー threepipes_sthreepipes_s
提出日時 2019-02-22 21:42:49
言語 Java21
(openjdk 21)
結果
AC  
実行時間 726 ms / 2,000 ms
コード長 3,865 bytes
コンパイル時間 2,629 ms
コンパイル使用メモリ 87,056 KB
実行使用メモリ 69,576 KB
最終ジャッジ日時 2023-08-16 18:36:54
合計ジャッジ時間 7,818 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 118 ms
54,452 KB
testcase_01 AC 172 ms
56,884 KB
testcase_02 AC 109 ms
54,444 KB
testcase_03 AC 210 ms
58,204 KB
testcase_04 AC 108 ms
54,628 KB
testcase_05 AC 210 ms
58,292 KB
testcase_06 AC 390 ms
60,216 KB
testcase_07 AC 145 ms
56,560 KB
testcase_08 AC 108 ms
54,632 KB
testcase_09 AC 113 ms
54,404 KB
testcase_10 AC 108 ms
54,352 KB
testcase_11 AC 112 ms
54,412 KB
testcase_12 AC 115 ms
54,452 KB
testcase_13 AC 106 ms
54,404 KB
testcase_14 AC 106 ms
54,064 KB
testcase_15 AC 124 ms
54,420 KB
testcase_16 AC 244 ms
58,364 KB
testcase_17 AC 132 ms
54,780 KB
testcase_18 AC 107 ms
54,860 KB
testcase_19 AC 107 ms
54,096 KB
testcase_20 AC 171 ms
57,876 KB
testcase_21 AC 726 ms
69,576 KB
testcase_22 AC 104 ms
54,324 KB
testcase_23 AC 40 ms
49,380 KB
testcase_24 AC 103 ms
54,416 KB
testcase_25 AC 108 ms
54,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import java.io.BufferedReader;
import java.io.BufferedWriter;
import java.io.Closeable;
import java.io.FileInputStream;
import java.io.FileWriter;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.lang.reflect.Array;
import java.util.*;

public class Main implements Runnable {
    static ContestScanner in;
    static Writer out;
    public static void main(String[] args) {
        new Thread(null, new Main(), "", 16 * 1024 * 1024).start();
    }

    public void run() {
        Main main = new Main();
        try {
            in = new ContestScanner();
            out = new Writer();
            main.solve();
            out.close();
            in.close();
        } catch (IOException e) {
            e.printStackTrace();
        }
    }

    void solve() throws IOException {
        int n = in.nextInt();
        int h = 1<<n;
        int[][] q = new int[1<<n][n];
        int[] r = new int[h];
        int r1 = 0;
        int r0 = 1;
        String s = "";
        for (int i = 0; i < h; i++) {
            for (int j = 0; j < n; j++) {
                q[i][j] = in.nextInt();
            }
            r[i] = in.nextInt();
            r0 *= r[i];
            r1 += r[i];
            if (r[i] == 0) {
                continue;
            }
            String t = "";
            for (int j = 0; j < n; j++) {
                if (j > 0) t += "∧";
                t += (q[i][j] == 0 ? "¬" : "") + "P_" + (j + 1);
            }
            if (s.length() > 0) {
                s += "∨";
            }
            s += "(" + t + ")";
        }

        if (r0 == 1) { // all 1
            System.out.println("A=⊤");
            return;
        }
        if (r1 == 0) { // all 0
            System.out.println("A=⊥");
            return;
        }
        System.out.println("A=" + s);
    }
}


@SuppressWarnings("serial")
class MultiSet<T> extends HashMap<T, Integer>{
    @Override public Integer get(Object key){return containsKey(key)?super.get(key):0;}
    public void add(T key,int v){put(key,get(key)+v);}
    public void add(T key){put(key,get(key)+1);}
    public void sub(T key){final int v=get(key);if(v==1)remove(key);else put(key,v-1);}
    public MultiSet<T> merge(MultiSet<T> set)
    {MultiSet<T>s,l;if(this.size()<set.size()){s=this;l=set;}else{s=set;l=this;}
        for(Entry<T,Integer>e:s.entrySet())l.add(e.getKey(),e.getValue());return l;}
}

class Writer extends PrintWriter{
    public Writer(String filename)throws IOException
    {super(new BufferedWriter(new FileWriter(filename)));}
    public Writer()throws IOException{super(System.out);}
}
class ContestScanner implements Closeable{
    private BufferedReader in;private int c=-2;
    public ContestScanner()throws IOException
    {in=new BufferedReader(new InputStreamReader(System.in));}
    public ContestScanner(String filename)throws IOException
    {in=new BufferedReader(new InputStreamReader(new FileInputStream(filename)));}
    public String nextToken()throws IOException {
        StringBuilder sb=new StringBuilder();
        while((c=in.read())!=-1&&Character.isWhitespace(c));
        while(c!=-1&&!Character.isWhitespace(c)){sb.append((char)c);c=in.read();}
        return sb.toString();
    }
    public String readLine()throws IOException{
        StringBuilder sb=new StringBuilder();if(c==-2)c=in.read();
        while(c!=-1&&c!='\n'&&c!='\r'){sb.append((char)c);c=in.read();}
        return sb.toString();
    }
    public long nextLong()throws IOException,NumberFormatException
    {return Long.parseLong(nextToken());}
    public int nextInt()throws NumberFormatException,IOException
    {return(int)nextLong();}
    public double nextDouble()throws NumberFormatException,IOException
    {return Double.parseDouble(nextToken());}
    public void close() throws IOException {in.close();}
}
0