結果
問題 | No.2911 位相の公理 |
ユーザー | tobisatis |
提出日時 | 2024-10-04 23:08:08 |
言語 | C# (.NET 8.0.203) |
結果 |
TLE
|
実行時間 | - |
コード長 | 2,113 bytes |
コンパイル時間 | 7,476 ms |
コンパイル使用メモリ | 168,184 KB |
実行使用メモリ | 65,068 KB |
最終ジャッジ日時 | 2024-10-04 23:08:29 |
合計ジャッジ時間 | 20,308 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 51 ms
33,792 KB |
testcase_01 | AC | 52 ms
39,604 KB |
testcase_02 | AC | 54 ms
30,464 KB |
testcase_03 | AC | 52 ms
30,720 KB |
testcase_04 | AC | 50 ms
30,576 KB |
testcase_05 | AC | 56 ms
30,592 KB |
testcase_06 | AC | 51 ms
30,464 KB |
testcase_07 | AC | 50 ms
30,720 KB |
testcase_08 | AC | 50 ms
30,720 KB |
testcase_09 | AC | 52 ms
30,848 KB |
testcase_10 | AC | 50 ms
30,720 KB |
testcase_11 | AC | 52 ms
30,720 KB |
testcase_12 | AC | 50 ms
30,592 KB |
testcase_13 | AC | 50 ms
30,848 KB |
testcase_14 | AC | 49 ms
30,716 KB |
testcase_15 | AC | 50 ms
30,720 KB |
testcase_16 | AC | 53 ms
30,828 KB |
testcase_17 | AC | 53 ms
30,592 KB |
testcase_18 | TLE | - |
testcase_19 | TLE | - |
testcase_20 | TLE | - |
testcase_21 | TLE | - |
testcase_22 | TLE | - |
testcase_23 | -- | - |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (91 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/
ソースコード
namespace AtCoder; #nullable enable using System.Numerics; static class Extensions { public static T[] Repeat<T>(this int time, Func<T> F) => Enumerable.Range(0, time).Select(_ => F()).ToArray(); } class AtCoder { object? Solve() { var n = Int(); var m = Int(); var sz = m.Repeat(() => Convert.ToUInt64(String(), 2)); var sh = new HashSet<ulong>(sz); if (!sh.Contains((1UL << n) - 1)) return false; var andz = new HashSet<ulong>(); foreach (var s1 in sz) foreach (var s2 in sz) andz.Add(s1 & s2); var sss = new HashSet<ulong>(); sss.Add(0); foreach (var b in andz) { var nss = new HashSet<ulong>(); foreach (var bs in sss) { nss.Add(bs); nss.Add(bs | b); } sss = nss; } foreach (var b in sss) if (!sh.Contains(b)) return false; return true; } public static void Main() => new AtCoder().Run(); public void Run() { var res = Solve(); if (res != null) { if (res is bool yes) res = yes ? "Yes" : "No"; sw.WriteLine(res); } sw.Flush(); } string[] input = Array.Empty<string>(); int iter = 0; readonly StreamWriter sw = new(Console.OpenStandardOutput()) { AutoFlush = false }; string String() { while (iter >= input.Length) (input, iter) = (Console.ReadLine()!.Trim().Split(' '), 0); return input[iter++]; } T Input<T>() where T : IParsable<T> => T.Parse(String(), null); int Int() => Input<int>(); void Out(object? x, string? separator = null) { separator ??= Environment.NewLine; if (x is System.Collections.IEnumerable obj and not string) { var firstLine = true; foreach (var item in obj) { if (!firstLine) sw.Write(separator); firstLine = false; sw.Write(item); } } else sw.Write(x); sw.WriteLine(); } }