結果

問題 No.792 真理関数をつくろう
ユーザー mnznmnzn
提出日時 2020-05-17 18:50:36
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 66 ms / 2,000 ms
コード長 5,176 bytes
コンパイル時間 2,600 ms
コンパイル使用メモリ 118,104 KB
実行使用メモリ 32,148 KB
最終ジャッジ日時 2024-09-25 12:12:16
合計ジャッジ時間 3,942 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 29 ms
25,072 KB
testcase_01 AC 32 ms
24,936 KB
testcase_02 AC 30 ms
26,724 KB
testcase_03 AC 35 ms
26,720 KB
testcase_04 AC 29 ms
24,812 KB
testcase_05 AC 35 ms
22,692 KB
testcase_06 AC 54 ms
31,504 KB
testcase_07 AC 30 ms
24,940 KB
testcase_08 AC 31 ms
26,792 KB
testcase_09 AC 30 ms
24,880 KB
testcase_10 AC 29 ms
22,968 KB
testcase_11 AC 29 ms
24,428 KB
testcase_12 AC 30 ms
24,564 KB
testcase_13 AC 29 ms
25,136 KB
testcase_14 AC 29 ms
24,684 KB
testcase_15 AC 30 ms
25,008 KB
testcase_16 AC 40 ms
26,904 KB
testcase_17 AC 30 ms
24,892 KB
testcase_18 AC 30 ms
26,920 KB
testcase_19 AC 29 ms
24,820 KB
testcase_20 AC 41 ms
24,988 KB
testcase_21 AC 66 ms
32,148 KB
testcase_22 AC 29 ms
25,132 KB
testcase_23 AC 29 ms
26,856 KB
testcase_24 AC 28 ms
24,560 KB
testcase_25 AC 29 ms
25,012 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Microsoft (R) Visual C# Compiler version 3.9.0-6.21124.20 (db94f4cc)
Copyright (C) Microsoft Corporation. All rights reserved.

ソースコード

diff # 

using System;
using System.Collections;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Numerics;

class Program
{
    static void Main(string[] args)
    {
        var sw = new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false };
        Console.SetOut(sw);
        Solve();
        Console.Out.Flush();
    }
    static void Solve()
    {
        var N = sc.ReadInt();
        var Q = new bool[(1 << N), N];
        var R = new bool[(1 << N)];
        for (int i = 0; i < (1 << N); i++)
        {
            for (int j = 0; j < N; j++)
            {
                Q[i, j] = sc.ReadInt() == 1;
            }
            R[i] = sc.ReadInt() == 1;
        }
        if (R.All(r => r))
        {
            Console.WriteLine("A=⊤");
        }
        else if (R.All(r => !r))
        {
            Console.WriteLine("A=⊥");
        }
        else
        {
            var list = new List<string>();
            for (int i = 0; i < (1 << N); i++)
            {
                if (!R[i]) continue;
                var x = new List<string>();
                for (int j = 0; j < N; j++)
                {
                    if (Q[i, j]) x.Add($"P_{j + 1}");
                    else x.Add($"¬P_{j + 1}");
                }
                var res = "(" + string.Join("∧", x) + ")";
                list.Add(res);
            }
            var ans = "A=" + string.Join("∨", list);
            Console.WriteLine(ans);
        }
    }
    static Scanner sc = new Scanner();
}
class Scanner
{
    string[] S = new string[0];
    int Index = 0;
    char[] Separators = new char[] { ' ' };

    public string Next()
    {
        if (this.Index < this.S.Length) return this.S[this.Index++];
        var line = "";
        while (line == "") line = Console.ReadLine();
        this.S = line.Split(this.Separators, StringSplitOptions.RemoveEmptyEntries);
        if (this.S.Length == 0) return this.Next();
        this.Index = 0;
        return this.S[this.Index++];
    }
    public string ReadStr()
    {
        return this.Next();
    }
    public char ReadChar()
    {
        return this.Next()[0];
    }
    public int ReadInt()
    {
        return int.Parse(this.Next());
    }
    public uint ReadUInt()
    {
        return uint.Parse(this.Next());
    }
    public long ReadLong()
    {
        return long.Parse(this.Next());
    }
    public double ReadDouble()
    {
        return double.Parse(this.Next());
    }
    public Tuple<int, int> ReadTup(int add = 0)
    {
        return Tuple.Create(this.ReadInt() + add, this.ReadInt() + add);
    }
    public Tuple<long, long> ReadTupLong(int add = 0)
    {
        return Tuple.Create(this.ReadLong() + add, this.ReadLong() + add);
    }
    public Tuple<int, int, int> ReadTup3(int add = 0)
    {
        return Tuple.Create(this.ReadInt() + add, this.ReadInt() + add, this.ReadInt() + add);
    }
    public Tuple<int, int, int, int> ReadTup4(int add = 0)
    {
        return Tuple.Create(this.ReadInt() + add, this.ReadInt() + add, this.ReadInt() + add, this.ReadInt() + add);
    }
    public int[] ReadIntArray(int n)
    {
        var array = new int[n];
        for (int i = 0; i < array.Length; i++)
        {
            array[i] = this.ReadInt();
        }
        return array;
    }
    public long[] ReadLongArray(int n)
    {
        var array = new long[n];
        for (int i = 0; i < array.Length; i++)
        {
            array[i] = this.ReadLong();
        }
        return array;
    }
    public double[] ReadDoubleArray(int n)
    {
        var array = new double[n];
        for (int i = 0; i < array.Length; i++)
        {
            array[i] = this.ReadDouble();
        }
        return array;
    }
    public char[] ReadCharArray(int n)
    {
        var array = new char[n];
        for (int i = 0; i < array.Length; i++)
        {
            array[i] = this.ReadChar();
        }
        return array;
    }
    public string[] ReadStrArray(int n)
    {
        var array = new string[n];
        for (int i = 0; i < array.Length; i++)
        {
            array[i] = this.ReadStr();
        }
        return array;
    }
    public Tuple<long, long>[] ReadTupLongArray(int n, int add = 0)
    {
        var array = new Tuple<long, long>[n];
        for (int i = 0; i < n; i++)
        {
            array[i] = this.ReadTupLong(add);
        }
        return array;
    }
    public Tuple<int, int>[] ReadTupArray(int n, int add = 0)
    {
        var array = new Tuple<int, int>[n];
        for (int i = 0; i < n; i++)
        {
            array[i] = this.ReadTup(add);
        }
        return array;
    }
    public Tuple<int, int, int>[] ReadTup3Array(int n, int add = 0)
    {
        var array = new Tuple<int, int, int>[n];
        for (int i = 0; i < n; i++)
        {
            array[i] = this.ReadTup3(add);
        }
        return array;
    }
    public Tuple<int, int, int, int>[] ReadTup4Array(int n, int add = 0)
    {
        var array = new Tuple<int, int, int, int>[n];
        for (int i = 0; i < n; i++)
        {
            array[i] = this.ReadTup4(add);
        }
        return array;
    }
}
0