結果

問題 No.3014 岩井満足性問題
ユーザー tobisatis
提出日時 2025-01-25 13:52:37
言語 C#
(.NET 8.0.404)
結果
AC  
実行時間 249 ms / 3,000 ms
コード長 2,315 bytes
コンパイル時間 8,236 ms
コンパイル使用メモリ 171,104 KB
実行使用メモリ 198,420 KB
最終ジャッジ日時 2025-01-25 23:01:16
合計ジャッジ時間 11,284 ms
ジャッジサーバーID
(参考情報)
judge11 / judge9
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 18
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.csproj を復元しました (112 ミリ秒)。
  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;

object? Solve()
{
    var n = Int();
    var d = Int();
    var k = Int();
    var az = n.Repeat(Int);
    var cz = n.Repeat(() => Math.Min(k, Int()));

    var min = long.MinValue / 2;
    var dp = new long[d + 1, k + 1];
    for (var i = 0; i <= d; i++) for (var j = 0; j <= k; j++) dp[i, j] = min;
    dp[0, 0] = 0;
    for (var t = 0; t < n; t++)
    {
        var a = az[t];
        var c = cz[t];
        for (var i = d - 1; i >= 0; i--)
        {
            for (var j = k; j >= 0; j--)
            {
                var v = dp[i, j];
                if (v == min) continue;
                var ni = i + 1;
                var nj = Math.Min(k, j + c);
                dp[ni, nj] = Math.Max(dp[ni, nj], v + a);
            }
        }
    }
    var ans = dp[d, k];
    if (ans == min) return "No";
    return ans;
}

#region
AtCoderIO _io_;
var _backend_ = new StandardIOBackend();
_io_ = new(){ Backend = _backend_ };
Out(Solve());
_backend_.Flush();

string String() => _io_.Next();
int Int() => int.Parse(String());
void Out(object? x, string? sep = null) => _io_.Out(x, sep ?? Environment.NewLine);

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().Trim().Split(' '), 0);
        return _input.Span[_iter++];
    }

    public void Out(object? x, string separator)
    {
        if (x == null) return;
        if (x is System.Collections.IEnumerable a and not string)
        {
            var objects = a.Cast<object>();
            if (!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