結果

問題 No.792 真理関数をつくろう
ユーザー iwotiwot
提出日時 2020-09-11 18:43:46
言語 D
(dmd 2.106.1)
結果
AC  
実行時間 28 ms / 2,000 ms
コード長 1,231 bytes
コンパイル時間 839 ms
コンパイル使用メモリ 109,212 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-06-22 08:56:28
合計ジャッジ時間 1,804 ms
ジャッジサーバーID
(参考情報)
judge5 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 3 ms
6,944 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 5 ms
6,940 KB
testcase_04 AC 1 ms
6,944 KB
testcase_05 AC 6 ms
6,940 KB
testcase_06 AC 18 ms
6,944 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 1 ms
6,944 KB
testcase_09 AC 1 ms
6,948 KB
testcase_10 AC 1 ms
6,944 KB
testcase_11 AC 1 ms
6,944 KB
testcase_12 AC 1 ms
6,940 KB
testcase_13 AC 1 ms
6,940 KB
testcase_14 AC 1 ms
6,944 KB
testcase_15 AC 1 ms
6,944 KB
testcase_16 AC 10 ms
6,944 KB
testcase_17 AC 1 ms
6,940 KB
testcase_18 AC 1 ms
6,940 KB
testcase_19 AC 1 ms
6,944 KB
testcase_20 AC 7 ms
6,944 KB
testcase_21 AC 28 ms
6,940 KB
testcase_22 AC 1 ms
6,944 KB
testcase_23 AC 1 ms
6,940 KB
testcase_24 AC 1 ms
6,940 KB
testcase_25 AC 1 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

import std.stdio;
import std.string;
import std.conv;
import std.algorithm;
import std.array;
import std.math : pow;
import std.uni : isWhite;
import std.range;

void main()
{
    auto immutable N = readln().chomp().to!float;
    auto max = pow(2.0, N).to!int;
    int[][] input = [];
    for (int i = 0; i < max; i++)
    {
        input ~= readln().chomp().split!isWhite
            .map!(x => x.to!int)
            .array;
    }
    writeln(solve(max, input));
}

string solve(int max, int[][] ps)
{
    int t_count = 0;
    string[] results = [];
    foreach (prow; ps)
    {
        if (prow[$ - 1] == 1)
        {
            t_count++;
            string[] local = [];
            for (int i = 0; i < prow.length - 1; i++)
            {
                if (prow[i] == 1)
                {
                    local ~= "P_" ~ (i + 1).to!string;
                }
                else
                {
                    local ~= "¬P_" ~ (i + 1).to!string;
                }
            }

            results ~= local.join("∧");
        }
    }

    if (t_count == 0)
    {
        return "A=⊥";
    }
    else if (t_count == max)
    {
        return "A=⊤";
    }

    return "A=(" ~ results.join(")∨(") ~ ")";
}
0