結果

問題 No.3490 最高経路問題
コンテスト
ユーザー tobisatis
提出日時 2026-04-03 21:26:33
言語 C#
(.NET 10.0.201)
コンパイル:
dotnet_c
実行:
/usr/bin/dotnet_wrap
結果
AC  
実行時間 227 ms / 2,000 ms
コード長 3,030 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 9,335 ms
コンパイル使用メモリ 174,472 KB
実行使用メモリ 238,080 KB
最終ジャッジ日時 2026-04-03 21:26:54
合計ジャッジ時間 11,842 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge1_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 25
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (95 ミリ秒)。
  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 

#nullable enable

#region
var (_input, _iter) = (Array.Empty<string>(), 0);
T I<T>() where T : IParsable<T>
{
    while (_iter >= _input.Length) (_input, _iter) = (Console.ReadLine()!.Trim().Split(' '), 0);
    return T.Parse(_input[_iter++], null);
}
#endregion

static T[] Range<T>(int n, Func<T> F) => Enumerable.Range(0, n).Select(_ => F()).ToArray();

var n = I<int>();
var m = I<int>();
var oez = Range(m, () => (I<int>() - 1, I<int>() - 1, I<int>()));

bool F(int x)
{
    var edges = new List<(int, int)>();
    foreach (var (u, v, h) in oez) if (h >= x) edges.Add((u, v));
    var g = new StaticGraph(edges, n, false).ToGraph();
    var depth = g.Depths(0)[^1];
    return depth >= 0;
}

var pass = 0;
var fail = int.MaxValue / 2;
while (Math.Abs(pass - fail) >= 2)
{
    var mid = (pass + fail) / 2;
    if (F(mid)) pass = mid;
    else fail = mid;
}
if (pass == 0) Console.WriteLine("NaN");
else Console.WriteLine(pass);

class StaticGraph
{
    public int N { get; }
    public bool Directed { get; }
    public ReadOnlySpan<(int next, int edgeIndex)> Adjacencies(int of) => _adjacencies.AsSpan()[_starts[of].._starts[of + 1]];
    public ReadOnlySpan<(int Ab, int Ad)> Edges => _edges;

    readonly (int Ab, int Ad)[] _edges;
    readonly (int, int)[] _adjacencies;
    readonly int[] _starts;

    public StaticGraph(IReadOnlyList<(int, int)> edges, int n, bool directed)
    {
        var ez = edges.ToArray();
        var el = ez.Length;
        var m = directed ? el : (el << 1);
        var starts = new int[n + 1];
        for (var i = 0; i < el; i++)
        {
            var (ab, ad) = ez[i];
            starts[ab + 1]++;
            if (!directed) starts[ad + 1]++;
        }
        for (var i = 0; i < n; i++) starts[i + 1] += starts[i];
        var adjacencies = new (int, int)[m];
        var counts = starts.AsSpan().ToArray();
        for (var i = 0; i < el; i++)
        {
            var (ab, ad) = ez[i];
            adjacencies[counts[ab]++] = (ad, i);
            if (!directed) adjacencies[counts[ad]++] = (ab, i);
        }
        N = n;
        Directed = directed;
        _adjacencies = adjacencies;
        _edges = ez;
        _starts = starts;
    }
}

class Graph { public required StaticGraph StaticGraph { get; init; } }

static class GraphBaseExtensions
{
    public static Graph ToGraph(this StaticGraph g) => new(){ StaticGraph = g };
    public static Span<int> Depths(this Graph graph, int start)
    {
        var g = graph.StaticGraph;
        var res = new int[g.N].AsSpan();
        for (var i = 0; i < res.Length; i++) res[i] = -1;
        res[start] = 0;
        var q = new Queue<int>();
        q.Enqueue(start);
        while (q.Count > 0)
        {
            var v = q.Dequeue();
            var adjacencies = g.Adjacencies(v);
            foreach (var (next, _) in adjacencies)
            {
                if (res[next] >= 0) continue;
                res[next] = res[v] + 1;
                q.Enqueue(next);
            }
        }
        return res;
    }

}
0