結果

問題 No.3013 ハチマキ買い星人
ユーザー tobisatis
提出日時 2025-01-25 12:55:59
言語 C#
(.NET 8.0.404)
結果
TLE  
実行時間 -
コード長 2,923 bytes
コンパイル時間 15,745 ms
コンパイル使用メモリ 170,584 KB
実行使用メモリ 180,684 KB
最終ジャッジ日時 2025-01-25 22:28:29
合計ジャッジ時間 106,214 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge6
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 16 TLE * 29
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (114 ミリ秒)。
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

#nullable enable

using System.Numerics;

object? Solve()
{
    var n = Int();
    var m = Int();
    var p = Int();
    var y = long.Parse(String());
    var adjl = n.Repeat(() => new List<(int, long)>());
    for (var i = 0; i < m; i++)
    {
        var u = Int() - 1;
        var v = Int() - 1;
        var c = Int();
        adjl[u].Add((v, c));
        adjl[v].Add((u, c));
    }
    var shops = new int[n].AsSpan();
    shops.Fill(int.MaxValue);
    for (var i = 0; i < p; i++) shops[Int() - 1] = Int();

    bool F(long x, Span<int> shops)
    {
        if (y / x >= shops[0]) return true;
        var q = new PriorityQueue<(int v, long yl), long>();
        var byz = new long[n];
        q.Enqueue((0, y), -y);
        byz[0] = y;
        while (q.Count > 0)
        {
            var (v, yl) = q.Dequeue();
            if (yl < byz[v]) continue;
            var adjz = adjl[v];
            foreach (var (next, c) in adjz)
            {
                var ny = Math.Max(yl - c, 0);
                if (ny / x >= shops[next]) return true;
                if (byz[next] < ny)
                {
                    byz[next] = ny;
                    q.Enqueue((next, ny), -ny);
                }
            }
        }
        return false;
    }
    var pass = 0L;
    var fail = y + 1;
    while (Math.Abs(pass - fail) > 1)
    {
        var middle = (pass + fail) >> 1;
        if (F(middle, shops)) pass = middle; else fail = middle;
    }
    return pass;
}

#region
AtCoderIO _io_;
var _backend_ = new StandardIOBackend();
_io_ = new(){ Backend = _backend_ };
Out(Solve());
_backend_.Flush();

string String() => _io_.Next();
int Int() => int.Parse(String());
void Out(object? x, string? sep = null) => _io_.Out(x, sep ?? Environment.NewLine);

class AtCoderIO
{
    public required StandardIOBackend Backend { get; init; }

    Memory<string> _input = Array.Empty<string>();
    int _iter = 0;
    public string Next()
    {
        while (_iter >= _input.Length) (_input, _iter) = (Backend.ReadLine().Trim().Split(' '), 0);
        return _input.Span[_iter++];
    }

    public void Out(object? x, string separator)
    {
        if (x == null) return;
        if (x is System.Collections.IEnumerable a and not string)
        {
            var objects = a.Cast<object>();
            if (!objects.Any()) return;
            x = string.Join(separator, objects);
        }
        Backend.WriteLine(x);
    }
}

class StandardIOBackend
{
    readonly StreamReader _sr = new(Console.OpenStandardInput());
    readonly StreamWriter _sw = new(Console.OpenStandardOutput()) { AutoFlush = false };
    public string ReadLine() => _sr.ReadLine()!;
    public void WriteLine(object? value) => _sw.WriteLine(value);
    public void Flush() => _sw.Flush();
}
#endregion

static class Extensions
{
    public static T[] Repeat<T>(this int time, Func<T> F) => Enumerable.Range(0, time).Select(_ => F()).ToArray();
}
0