結果

問題 No.2536 同値性と充足可能性
ユーザー kakel-sankakel-san
提出日時 2023-11-10 23:07:23
言語 C#
(.NET 8.0.404)
結果
AC  
実行時間 277 ms / 2,000 ms
コード長 2,461 bytes
コンパイル時間 7,915 ms
コンパイル使用メモリ 166,804 KB
実行使用メモリ 227,904 KB
最終ジャッジ日時 2024-09-26 02:10:04
合計ジャッジ時間 13,140 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 31
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /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 * 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;
    }
}
0