結果
| 問題 |
No.3076 Goodstuff Deck Builder
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-03-28 21:38:33 |
| 言語 | C# (.NET 8.0.404) |
| 結果 |
AC
|
| 実行時間 | 1,153 ms / 3,000 ms |
| コード長 | 2,821 bytes |
| コンパイル時間 | 8,061 ms |
| コンパイル使用メモリ | 172,896 KB |
| 実行使用メモリ | 194,292 KB |
| 最終ジャッジ日時 | 2025-03-28 21:39:07 |
| 合計ジャッジ時間 | 28,180 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 36 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (102 ミリ秒)。 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 a0 = 0L;
var cards = new List<(int, int)>();
for (var i = 0; i < n; i++)
{
var c = Int();
var d = Int();
if (c == 0)
{
a0 += d;
}
else
{
cards.Add((c, d));
}
}
n = cards.Count;
cards.Sort();
cards.Reverse();
var mk = 11;
var tz = new int[mk + 1];
tz[0] = 1;
for (var i = 1; i <= mk; i++) tz[i] = tz[i - 1] * 2;
var min = long.MinValue / 8;
var f = new long[m + 1, mk + 1];
for (var i = 0; i <= m; i++) for (var k = 0; k <= mk; k++) f[i, k] = min;
f[m, 0] = 0;
var ans = 0L;
for (var y = 0; y < n; y++)
{
var g = new long[m + 1, mk + 1];
for (var i = 0; i <= m; i++) for (var k = 0; k <= mk; k++) g[i, k] = min;
var (c, d) = cards[y];
for (var x = 0; x <= m; x++) for (var z = 0; z <= mk; z++)
{
var v = f[x, z];
g[x, z] = Math.Max(g[x, z], v);
var nx = x - c * tz[z];
if (nx >= 0) g[nx, z + 1] = Math.Max(g[nx, z + 1], v + d);
}
f = g;
}
for (var x = 0; x <= m; x++) for (var z = 0; z <= mk; z++) ans = Math.Max(ans, f[x, z]);
Out(ans + a0);
}
#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();
}