結果
| 問題 |
No.3076 Goodstuff Deck Builder
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-03-28 21:13:31 |
| 言語 | C# (.NET 8.0.404) |
| 結果 |
RE
|
| 実行時間 | - |
| コード長 | 2,329 bytes |
| コンパイル時間 | 9,300 ms |
| コンパイル使用メモリ | 172,932 KB |
| 実行使用メモリ | 474,332 KB |
| 最終ジャッジ日時 | 2025-03-28 21:13:53 |
| 合計ジャッジ時間 | 18,555 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 20 RE * 16 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (165 ミリ秒)。 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 m = Int();
var cards = n.Repeat(() => (Int(), Int()));
Array.Sort(cards);
Array.Reverse(cards);
var tz = new int[11];
tz[0] = 1;
for (var i = 1; i <= 10; i++) tz[i] = tz[i - 1] * 2;
var max = long.MaxValue / 8;
var f = new long[m + 1, n, 11];
for (var i = 0; i <= m; i++) for (var j = 0; j < n; j++) for (var k = 0; k <= 10; k++) f[i, j, k] = max;
long F(int x, int y, int z)
{
if (y == n) return 0;
if (f[x, y, z] < max) return f[x, y, z];
var res = F(x, y + 1, z);
var (c, d) = cards[y];
var nx = x - c * tz[z];
if (nx >= 0) res = Math.Max(res, F(nx, y + 1, z + 1) + d);
return f[x, y, z] = res;
}
var ans = F(m, 0, 0);
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();
}