結果

問題 No.3013 ハチマキ買い星人
ユーザー tobisatistobisatis
提出日時 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();
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0