結果

問題 No.792 真理関数をつくろう
ユーザー keymoonkeymoon
提出日時 2019-02-22 21:47:50
言語 C#(csc)
(csc 3.9.0)
結果
AC  
実行時間 48 ms / 2,000 ms
コード長 1,644 bytes
コンパイル時間 873 ms
コンパイル使用メモリ 110,952 KB
実行使用メモリ 31,844 KB
最終ジャッジ日時 2024-05-04 02:01:52
合計ジャッジ時間 2,405 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 26 ms
27,076 KB
testcase_01 AC 27 ms
25,412 KB
testcase_02 AC 27 ms
25,376 KB
testcase_03 AC 29 ms
25,268 KB
testcase_04 AC 25 ms
25,244 KB
testcase_05 AC 30 ms
23,348 KB
testcase_06 AC 41 ms
27,140 KB
testcase_07 AC 26 ms
25,276 KB
testcase_08 AC 25 ms
26,952 KB
testcase_09 AC 25 ms
25,288 KB
testcase_10 AC 26 ms
25,420 KB
testcase_11 AC 25 ms
25,012 KB
testcase_12 AC 27 ms
27,296 KB
testcase_13 AC 25 ms
25,248 KB
testcase_14 AC 28 ms
27,164 KB
testcase_15 AC 27 ms
25,288 KB
testcase_16 AC 33 ms
25,216 KB
testcase_17 AC 26 ms
25,252 KB
testcase_18 AC 25 ms
25,164 KB
testcase_19 AC 25 ms
25,164 KB
testcase_20 AC 37 ms
27,300 KB
testcase_21 AC 48 ms
31,844 KB
testcase_22 AC 27 ms
27,420 KB
testcase_23 AC 25 ms
25,112 KB
testcase_24 AC 26 ms
25,164 KB
testcase_25 AC 25 ms
25,168 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.IO;
using System.Linq;
using System.Collections;
using System.Collections.Generic;
using System.Numerics;
using System.Diagnostics;
using System.Text;
using System.Text.RegularExpressions;
using System.Threading.Tasks;
using static System.Math;

class P
{
    static void Main()
    {
        int n = int.Parse(Console.ReadLine());
        StringBuilder builder = new StringBuilder();
        builder.Append("A=");
        bool IsFirst = true;
        int max = 1 << n;
        bool IsAllTrue = true;
        for (int i = 0; i < max; i++)
        {
            var q = Console.ReadLine().Split().Select(int.Parse).ToList();
            if (q.Last() != 1)
            {
                IsAllTrue = false;
                continue;
            }
            if (!IsFirst) builder.Append("∨");
            else IsFirst = false;
            builder.Append("(");
            for (int j = 0; j < n; j++)
            {
                if (q[j] == 0) builder.Append("¬");
                builder.Append("P_");
                builder.Append(j + 1);
                if (j != n - 1) builder.Append("∧");
            }
            builder.Append(")");
        }
        if (IsFirst) builder.Append("⊥");
        if (IsAllTrue) Console.WriteLine("A=⊤");
        else Console.WriteLine(builder.ToString());
    }

    static long Power(long n, long m)
    {
        const int mod = 1000000007;
        long pow = n;
        long res = 1;
        while (m > 0)
        {
            if ((m & 1) == 1) res = (res * pow) % mod;
            pow = (pow * pow) % mod;
            m >>= 1;
        }
        return res;
    }
}
0