結果

問題 No.286 Modulo Discount Store
コンテスト
ユーザー むらため
提出日時 2019-01-30 18:26:50
言語 Nim
(2.2.0)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 994 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 534 ms
コンパイル使用メモリ 42,276 KB
最終ジャッジ日時 2024-11-14 21:13:14
合計ジャッジ時間 1,124 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
/home/judge/data/code/Main.nim(13, 17) Error: 10000000000.0 can't be converted to int32

ソースコード

diff #
raw source code 

import sequtils
template `min=`*(x,y) = x = min(x,y)
template `^`(n:int) : int = (1 shl n)
proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}
proc scan(): int =
  while true:
    let k = getchar_unlocked()
    if k < '0': return
    result = 10 * result + k.ord - '0'.ord

let n = scan().int32
let M = newSeqWith(n,scan().int32)
const INF = 1e10.int32
var ans = INF
var dp : array[^15 + 1,int32]
var T : array[^15 + 1,int32]
for x in 0..(^n): dp[x] = INF
# proc solve(s,total,buyTotal:int) =
#   if s == ^n - 1:
#     ans .min= total
#     return
#   if dp[s] <= total : return
#   dp[s] = total
#   for x in 0..<n:
#     if (^x and s ) > 0 : continue
#     solve(s or ^x,total + (M[x] - (buyTotal mod 1000)).max(0),buyTotal+M[x])
# solve(0,0,0)
proc solve() =
  for x in 0..<(^n - 1):
    for i in 0..<n:
      if (x and ^i) > 0 : continue
      dp[x or ^i] .min= dp[x] + 0.max(M[i] - T[x] mod 1000)
      T[x or ^i] = T[x] + M[i]
dp[0] = 0
solve()
echo dp[^n-1]
0