結果

問題 No.792 真理関数をつくろう
ユーザー iwot
提出日時 2020-09-11 18:43:46
言語 D
(dmd 2.109.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
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

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(")∨(") ~ ")";
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0