結果
問題 | No.3067 +10 Seconds Clock |
ユーザー |
|
提出日時 | 2025-03-21 22:46:31 |
言語 | C# (.NET 8.0.404) |
結果 |
AC
|
実行時間 | 141 ms / 2,000 ms |
コード長 | 2,260 bytes |
コンパイル時間 | 14,562 ms |
コンパイル使用メモリ | 172,080 KB |
実行使用メモリ | 200,940 KB |
最終ジャッジ日時 | 2025-03-21 22:46:50 |
合計ジャッジ時間 | 13,956 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 23 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (162 ミリ秒)。 main -> /home/judge/data/code/bin/Release/net8.0/main.dll main -> /home/judge/data/code/bin/Release/net8.0/publish/
ソースコード
#nullable enable using System.Numerics; void Run() { var n = Int(); var ti = Int(); var tz = (n - 1).Repeat(Int); var k = Int(); var xz = new bool[n]; for (var i = 0; i < k; i++) xz[Int() - 1] = true; var ans = n; var fail = -1; bool F(int m) { var l = ti; for (var i = 1; i < n; i++) { var t = tz[i - 1]; l -= t; if (l <= 0) return false; if (xz[i] && m > 0) { l += 10; m--; } } return true; } while (ans - fail >= 2) { var mid = (fail + ans) / 2; if (F(mid)) ans = mid; else fail = mid; } if (ans > k) ans = -1; Out(ans); } #region AtCoderIO _io_; var _backend_ = new StandardIOBackend(); _io_ = new(){ Backend = _backend_ }; Run(); _backend_.Flush(); string String() => _io_.Next(); int Int() => int.Parse(String()); void Out(object? x, string? sep = null) => _io_.Out(x, sep); 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().Split(' '), 0); return _input.Span[_iter++]; } public void Out(object? x, string? separator = null) { if (x == null) return; separator ??= Environment.NewLine; if (x is System.Collections.IEnumerable a and not string) { var objects = a.Cast<object>(); if (separator == Environment.NewLine && !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(); }