結果
| 問題 |
No.3076 Goodstuff Deck Builder
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-03-28 21:18:01 |
| 言語 | C# (.NET 8.0.404) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 2,669 bytes |
| コンパイル時間 | 11,103 ms |
| コンパイル使用メモリ | 174,644 KB |
| 実行使用メモリ | 475,068 KB |
| 最終ジャッジ日時 | 2025-03-28 21:18:21 |
| 合計ジャッジ時間 | 17,546 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 20 WA * 2 RE * 14 |
コンパイルメッセージ
復元対象のプロジェクトを決定しています... /home/judge/data/code/main.csproj を復元しました (106 ミリ秒)。 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 = 0;
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 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)
{
if (c > 0) res = Math.Max(res, F(nx, y + 1, z + 1) + d);
else res = Math.Max(res, F(nx, y + 1, z) + d);
}
return f[x, y, z] = res;
}
var ans = F(m, 0, 0) + a0;
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();
}