結果
問題 | No.2536 同値性と充足可能性 |
ユーザー | 👑 kakel-san |
提出日時 | 2023-11-10 23:07:23 |
言語 | C# (.NET 8.0.203) |
結果 |
AC
|
実行時間 | 358 ms / 2,000 ms |
コード長 | 2,461 bytes |
コンパイル時間 | 9,146 ms |
コンパイル使用メモリ | 156,944 KB |
実行使用メモリ | 222,252 KB |
最終ジャッジ日時 | 2023-11-10 23:07:39 |
合計ジャッジ時間 | 14,514 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 92 ms
33,316 KB |
testcase_01 | AC | 89 ms
33,060 KB |
testcase_02 | AC | 94 ms
33,316 KB |
testcase_03 | AC | 88 ms
33,060 KB |
testcase_04 | AC | 92 ms
33,316 KB |
testcase_05 | AC | 95 ms
33,316 KB |
testcase_06 | AC | 93 ms
33,316 KB |
testcase_07 | AC | 92 ms
33,316 KB |
testcase_08 | AC | 94 ms
33,316 KB |
testcase_09 | AC | 94 ms
33,316 KB |
testcase_10 | AC | 94 ms
33,316 KB |
testcase_11 | AC | 92 ms
33,316 KB |
testcase_12 | AC | 93 ms
33,316 KB |
testcase_13 | AC | 93 ms
33,316 KB |
testcase_14 | AC | 93 ms
33,316 KB |
testcase_15 | AC | 92 ms
33,316 KB |
testcase_16 | AC | 96 ms
33,316 KB |
testcase_17 | AC | 94 ms
33,572 KB |
testcase_18 | AC | 94 ms
33,572 KB |
testcase_19 | AC | 90 ms
33,188 KB |
testcase_20 | AC | 111 ms
36,644 KB |
testcase_21 | AC | 102 ms
36,772 KB |
testcase_22 | AC | 104 ms
36,772 KB |
testcase_23 | AC | 185 ms
62,820 KB |
testcase_24 | AC | 180 ms
62,820 KB |
testcase_25 | AC | 353 ms
75,852 KB |
testcase_26 | AC | 358 ms
74,264 KB |
testcase_27 | AC | 351 ms
76,440 KB |
testcase_28 | AC | 321 ms
73,420 KB |
testcase_29 | AC | 340 ms
75,136 KB |
testcase_30 | AC | 315 ms
222,252 KB |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (102 ms)。 MSBuild のバージョン 17.7.3+8ec440e68 (.NET) main -> /home/judge/data/code/bin/Release/net7.0/main.dll main -> /home/judge/data/code/bin/Release/net7.0/publish/
ソースコード
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 string[] SList(long n) => Enumerable.Repeat(0, (int)n).Select(_ => ReadLine()).ToArray(); public static void Main() { Solve(); } static void Solve() { var c = NList; var (n, m) = (c[0], c[1]); var order = SList(m); var tree = new List<(int to, int xor)>[n]; for (var i = 0; i < tree.Length; ++i) tree[i] = new List<(int to, int xor)>(); foreach (var o in order) { var s = o.Split(); var i = int.Parse(s[0]) - 1; var j = int.Parse(s[2]) - 1; var xor = s[1] == "<==>" ? 0 : 1; tree[i].Add((j, xor)); tree[j].Add((i, xor)); } var color = Enumerable.Repeat(-1, n).ToArray(); for (var i = 0; i < n; ++i) { if (color[i] < 0) { var dic = new Dictionary<int, int>(); dic[i] = 0; if (!DFS(i, tree, dic)) { WriteLine("No"); return; } var zeros = dic.Count(kv => kv.Value == 0); if (zeros * 2 < dic.Count()) { foreach (var kv in dic) color[kv.Key] = kv.Value ^ 1; } else { foreach (var kv in dic) color[kv.Key] = kv.Value; } } } var list = new List<int>(); for (var i = 0; i < n; ++i) if (color[i] == 0) list.Add(i + 1); WriteLine("Yes"); WriteLine(list.Count); WriteLine(string.Join(" ", list)); } static bool DFS(int cur, List<(int to, int xor)>[] tree, Dictionary<int, int> dic) { var color = dic[cur]; foreach (var next in tree[cur]) { if (dic.ContainsKey(next.to)) { if (dic[next.to] != (color ^ next.xor)) return false; } else { dic[next.to] = color ^ next.xor; if (!DFS(next.to, tree, dic)) return false; } } return true; } }