結果
問題 | No.3013 ハチマキ買い星人 |
ユーザー |
|
提出日時 | 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/
ソースコード
#nullable enableusing 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;}#regionAtCoderIO _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();}#endregionstatic class Extensions{public static T[] Repeat<T>(this int time, Func<T> F) => Enumerable.Range(0, time).Select(_ => F()).ToArray();}