結果

問題 No.3482 Quod Erat Demonstrandum
コンテスト
ユーザー kakel-san
提出日時 2026-03-27 23:22:21
言語 C#
(.NET 10.0.102)
コンパイル:
dotnet_c
実行:
/usr/bin/dotnet_wrap
結果
AC  
実行時間 263 ms / 2,000 ms
コード長 2,698 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 7,701 ms
コンパイル使用メモリ 172,264 KB
実行使用メモリ 244,952 KB
最終ジャッジ日時 2026-03-27 23:22:51
合計ジャッジ時間 22,219 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 45
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (91 ミリ秒)。
  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 tree = new List<(int to, int kind)>[n + 1];
        for (var i = 0; i < tree.Length; ++i) tree[i] = new List<(int to, int kind)>();
        foreach (var edge in map)
        {
            tree[edge[0]].Add((edge[1], edge[2]));
            tree[edge[1]].Add((edge[0], edge[2]));
        }
        var INF = int.MaxValue / 2;
        var len = new int[n + 1];
        for (var i = 2; i < len.Length; ++i) len[i] = INF;
        var len2 = new int[n + 1];
        for (var i = 0; i < len2.Length; ++i) len2[i] = INF;
        var q = new Queue<(int id, int kind)>();
        q.Enqueue((1, 1));
        while (q.Count > 0)
        {
            var cur = q.Dequeue();
            foreach (var next in tree[cur.id])
            {
                if (next.kind == 1)
                {
                    if (cur.kind == 1)
                    {
                        if (len[next.to] <= len[cur.id] + 1) continue;
                        len[next.to] = len[cur.id] + 1;
                        q.Enqueue((next.to, 1));
                    }
                    else
                    {
                        if (len2[next.to] <= len2[cur.id] + 1) continue;
                        len2[next.to] = len2[cur.id] + 1;
                        q.Enqueue((next.to, 2));
                    }
                }
                else if (cur.kind == 1)
                {
                    if (len2[next.to] <= len[cur.id] + 1) continue;
                    len2[next.to] = len[cur.id] + 1;
                    q.Enqueue((next.to, 2));
                }
            }
        }
        if (len[n] < INF) return ("Same", len[n]);
        return (len2[n] == INF ? "Unknown" : "Different", len2[n]);
    }
}
0