結果

問題 No.3076 Goodstuff Deck Builder
ユーザー tobisatis
提出日時 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/

ソースコード

diff # 

#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();
}
0