結果

問題 No.2911 位相の公理
ユーザー kakel-sankakel-san
提出日時 2024-10-04 22:35:35
言語 C#
(.NET 8.0.203)
結果
AC  
実行時間 64 ms / 2,000 ms
コード長 2,976 bytes
コンパイル時間 7,044 ms
コンパイル使用メモリ 168,020 KB
実行使用メモリ 188,372 KB
最終ジャッジ日時 2024-10-04 22:35:46
合計ジャッジ時間 9,073 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 49 ms
30,336 KB
testcase_01 AC 48 ms
30,080 KB
testcase_02 AC 49 ms
30,336 KB
testcase_03 AC 49 ms
30,080 KB
testcase_04 AC 51 ms
30,208 KB
testcase_05 AC 49 ms
30,080 KB
testcase_06 AC 49 ms
30,208 KB
testcase_07 AC 50 ms
30,464 KB
testcase_08 AC 64 ms
30,208 KB
testcase_09 AC 51 ms
30,448 KB
testcase_10 AC 50 ms
30,208 KB
testcase_11 AC 49 ms
30,588 KB
testcase_12 AC 49 ms
30,336 KB
testcase_13 AC 49 ms
30,208 KB
testcase_14 AC 51 ms
30,448 KB
testcase_15 AC 53 ms
30,336 KB
testcase_16 AC 49 ms
30,204 KB
testcase_17 AC 51 ms
30,452 KB
testcase_18 AC 51 ms
30,720 KB
testcase_19 AC 51 ms
30,848 KB
testcase_20 AC 62 ms
31,104 KB
testcase_21 AC 62 ms
30,848 KB
testcase_22 AC 52 ms
31,100 KB
testcase_23 AC 64 ms
188,372 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (84 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;

class Program
{
    static int NN => int.Parse(ReadLine());
    static int[] NList => ReadLine().Split().Select(int.Parse).ToArray();
    static int[][] NArr(long n) => Enumerable.Repeat(0, (int)n).Select(_ => NList).ToArray();
    public static void Main()
    {
        Solve();
    }
    static void Solve()
    {
        var c = NList;
        var (n, m) = (c[0], c[1]);
        var s = new int[m];
        for (var i = 0; i < m; ++i)
        {
            var t = ReadLine();
            var si = 0;
            for (var j = 0; j < t.Length; ++j)
            {
                si <<= 1;
                si += t[j] - '0';
            }
            s[i] = si;
        }
        WriteLine(Judge(n, m, s) ? "Yes" : "No");
    }
    static bool Judge(int n, int m, int[] s)
    {
        var set = new HashSet<int>(s);
        var bitmax = 1 << n;
        if (!set.Contains(0) || !set.Contains(bitmax - 1)) return false;
        var dic = new bool[n * n][];
        for (var i = 0; i < dic.Length; ++i) dic[i] = new bool[4];
        foreach (var si in s)
        {
            for (var i = 0; i < n; ++i)
            {
                var l = (si >> i) & 1;
                for (var j = i + 1; j < n; ++j)
                {
                    var r = (si >> j) & 1;
                    dic[i * n + j][l * 2 + r] = true;
                }
            }
        }
        for (var b = 0; b < bitmax; ++b)
        {
            var flg = true;
            for (var i = 0; i < n; ++i) for (var j = i + 1; j < n; ++j)
            {
                if (!flg) break;
                var l = (b >> i) & 1;
                var r = (b >> j) & 1;
                if (!dic[i * n + j][l * 2 + r]) flg = false;
            }
            if (flg)
            {
                // WriteLine($"check exists {b}");
                if (!set.Contains(b)) return false;
            }
        }
        return true;
    }
    class UnionFindTree
    {
        int[] roots;
        public UnionFindTree(int size)
        {
            roots = new int[size];
            for (var i = 0; i < size; ++i) roots[i] = -1;
        }
        public int GetRoot(int a)
        {
            if (roots[a] < 0) return a;
            return roots[a] = GetRoot(roots[a]);
        }
        public bool IsSameTree(int a, int b)
        {
            return GetRoot(a) == GetRoot(b);
        }
        public bool Unite(int a, int b)
        {
            var x = GetRoot(a);
            var y = GetRoot(b);
            if (x == y) return false;
            if (-roots[x] < -roots[y]) { var tmp = x; x = y; y = tmp; }
            roots[x] += roots[y];
            roots[y] = x;
            return true;
        }
        public int GetSize(int a)
        {
            return -roots[GetRoot(a)];
        }
    }
}
0