結果

問題 No.614 壊れたキャンパス
コンテスト
ユーザー 👑 kakel-san
提出日時 2026-11-01 22:07:47
言語 C#
(.NET 10.0.403 + ACL)
コンパイル:
dotnet_c
実行:
/usr/bin/dotnet_wrap
結果
AC  
実行時間 267 ms / 2,000 ms
+ 626µs
コード長 3,219 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,842 ms
コンパイル使用メモリ 172,516 KB
実行使用メモリ 84,416 KB
最終ジャッジ日時 2026-11-01 22:08:30
合計ジャッジ時間 13,278 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (168 ミリ秒)。
  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;

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 c = NList;
        var (n, m, k, s, t) = (c[0], c[1], c[2], c[3], c[4]);
        var map = NArr(m);
        WriteLine(Campus(n, m, k, s, t, map));
    }
    static long Campus(int n, int m, int k, int s, int t, int[][] map)
    {
        var list = new List<(int from, int to)>[n - 1];
        for (var i = 0; i < n - 1; ++i) list[i] = new List<(int from, int to)>();
        foreach (var edge in map)
        {
            list[edge[0] - 1].Add((edge[1], edge[2]));
        }
        var clist = new List<(int f, long l)> { (s, 0) };
        for (var i = 0; i + 1 < n; ++i)
        {
            var nclist = new List<(int f, long l)>();
            if (list[i].Count == 0)
            {
                return -1;
            }
            if (clist.Count * list[i].Count < 200)
            {
                foreach (var li in list[i])
                {
                    var min = long.MaxValue;
                    foreach (var ci in clist)
                    {
                        min = Math.Min(min, ci.l + Math.Abs(ci.f - li.from));
                    }
                    nclist.Add((li.to, min));
                }
            }
            else
            {
                var plist = new List<int>(clist.Count);
                var lseg = new AtCoder.Segtree<long, SegOp>(clist.Count);
                var rseg = new AtCoder.Segtree<long, SegOp>(clist.Count);
                for (var j = 0; j < clist.Count; ++j)
                {
                    plist.Add(clist[j].f);
                    lseg[j] = clist[j].l + clist[j].f;
                    rseg[j] = clist[j].l + k - clist[j].f;
                }
                foreach (var li in list[i])
                {
                    var pos = LowerBound(0, li.from, plist);
                    nclist.Add((li.to, Math.Min(lseg.Prod(pos, clist.Count) - li.from, rseg.Prod(0, pos) - k + li.from)));
                }
            }
            nclist.Sort((l, r) => l.f.CompareTo(r.f));
            clist = nclist;
        }
        var ans = long.MaxValue;
        foreach (var ci in clist) ans = Math.Min(ans, ci.l + Math.Abs(t - ci.f));
        return ans;
    }
    static int LowerBound(int left, int min, IList<int> list)
    {
        if (list[left] >= min) return left;
        var ng = left;
        var ok = list.Count;
        while (ok - ng > 1)
        {
            var mid = (ng + ok) / 2;
            if (list[mid] < min) ng = mid;
            else ok = mid;
        }
        return ok;
    }
    struct SegOp : AtCoder.ISegtreeOperator<long>
    {
        public long Identity => long.MaxValue;

        public long Operate(long x, long y)
        {
            return Math.Min(x, y);
        }
    }
}
0