結果

問題 No.3014 岩井満足性問題
ユーザー tobisatistobisatis
提出日時 2025-01-25 13:45:10
言語 C#
(.NET 8.0.404)
結果
WA  
実行時間 -
コード長 2,256 bytes
コンパイル時間 13,005 ms
コンパイル使用メモリ 169,828 KB
実行使用メモリ 197,536 KB
最終ジャッジ日時 2025-01-25 22:58:07
合計ジャッジ時間 12,604 ms
ジャッジサーバーID
(参考情報)
judge4 / judge7
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 7 WA * 11
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /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/

ソースコード

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 - 1; j >= 0; j--)
{
var ni = i + 1;
var nj = Math.Min(k, j + c);
dp[ni, nj] = Math.Max(dp[ni, nj], dp[i, j] + a);
}
}
}
var ans = dp[d, k];
if (ans <= min / 4) 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();
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0