結果

問題 No.3482 Quod Erat Demonstrandum
コンテスト
ユーザー kakel-san
提出日時 2026-03-27 23:01:33
言語 C#
(.NET 10.0.102)
コンパイル:
dotnet_c
実行:
/usr/bin/dotnet_wrap
結果
TLE  
実行時間 -
コード長 3,304 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 7,773 ms
コンパイル使用メモリ 170,696 KB
実行使用メモリ 101,008 KB
最終ジャッジ日時 2026-03-27 23:02:45
合計ジャッジ時間 18,596 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 22 TLE * 1 -- * 22
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (87 ミリ秒)。
  main -> /home/judge/data/code/bin/Release/net10.0/main.dll
  main -> /home/judge/data/code/bin/Release/net10.0/publish/

ソースコード

diff #
raw source code 

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

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 t = NN;
        var ans = new List<string>();
        for (var u = 0; u < t; ++u)
        {
            var c = NList;
            var (n, m) = (c[0], c[1]);
            var map = NArr(m);
            var (res, num) = Quod(n, m, map);
            ans.Add(res);
            if (res != "Unknown") ans.Add(num.ToString());
        }
        WriteLine(string.Join("\n", ans));
    }
    static (string ans, int num) Quod(int n, int m, int[][] map)
    {
        var uf = new UnionFindTree(n + 1);
        foreach (var edge in map) if (edge[2] == 1)
        {
            uf.Unite(edge[0], edge[1]);
        }
        var tree = new List<int>[n + 1];
        for (var i = 0; i < tree.Length; ++i) tree[i] = new List<int>();
        var INF = int.MaxValue / 2;
        var len = Enumerable.Repeat(INF, n + 1).ToArray();
        len[1] = 0;
        if (uf.IsSameTree(1, n))
        {
            foreach (var edge in map) if (edge[2] == 1)
            {
                tree[edge[0]].Add(edge[1]);
                tree[edge[1]].Add(edge[0]);
            }
            DFS(1, tree, len);
            return ("Same", len[n]);
        }
        else
        {
            foreach (var edge in map)
            {
                if ((uf.IsSameTree(1, edge[0]) || uf.IsSameTree(n, edge[0])) && (uf.IsSameTree(1, edge[1]) || uf.IsSameTree(n, edge[1])))
                {
                    tree[edge[0]].Add(edge[1]);
                    tree[edge[1]].Add(edge[0]);
                }
            }
            DFS(1, tree, len);
            return (len[n] == INF ? "Unknown" : "Different", len[n]);
        }
    }
    static void DFS(int cur, List<int>[] tree, int[] len)
    {
        foreach (var next in tree[cur])
        {
            if (len[next] <= len[cur] + 1) continue;
            len[next] = len[cur] + 1;
            DFS(next, tree, len);
        }
    }
    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