結果

問題 No.2536 同値性と充足可能性
ユーザー kakel-sankakel-san
提出日時 2023-11-10 23:04:38
言語 C#
(.NET 8.0.203)
結果
WA  
実行時間 -
コード長 2,461 bytes
コンパイル時間 8,991 ms
コンパイル使用メモリ 168,248 KB
実行使用メモリ 227,188 KB
最終ジャッジ日時 2024-09-26 02:09:05
合計ジャッジ時間 13,142 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 65 ms
31,448 KB
testcase_01 AC 60 ms
30,720 KB
testcase_02 AC 64 ms
31,488 KB
testcase_03 AC 61 ms
30,592 KB
testcase_04 AC 66 ms
31,360 KB
testcase_05 AC 65 ms
31,488 KB
testcase_06 AC 65 ms
31,488 KB
testcase_07 AC 64 ms
31,360 KB
testcase_08 AC 65 ms
31,360 KB
testcase_09 WA -
testcase_10 AC 64 ms
31,488 KB
testcase_11 AC 63 ms
31,448 KB
testcase_12 AC 65 ms
31,616 KB
testcase_13 WA -
testcase_14 AC 64 ms
31,616 KB
testcase_15 AC 67 ms
31,488 KB
testcase_16 AC 72 ms
31,724 KB
testcase_17 AC 69 ms
31,744 KB
testcase_18 AC 65 ms
31,872 KB
testcase_19 AC 61 ms
30,848 KB
testcase_20 AC 82 ms
35,328 KB
testcase_21 AC 82 ms
35,304 KB
testcase_22 AC 82 ms
35,456 KB
testcase_23 AC 150 ms
61,184 KB
testcase_24 AC 147 ms
61,032 KB
testcase_25 AC 284 ms
74,064 KB
testcase_26 AC 273 ms
72,420 KB
testcase_27 AC 292 ms
74,832 KB
testcase_28 AC 262 ms
71,780 KB
testcase_29 AC 266 ms
73,312 KB
testcase_30 AC 266 ms
227,188 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (100 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 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 < dic.Count() / 2)
                {
                    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;
    }
}
0