結果

問題 No.286 Modulo Discount Store
ユーザー むらためむらため
提出日時 2019-01-30 18:25:48
言語 Nim
(2.0.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 1,333 bytes
コンパイル時間 447 ms
コンパイル使用メモリ 44,008 KB
最終ジャッジ日時 2024-04-27 02:48:22
合計ジャッジ時間 880 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

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

ソースコード

diff # 

import sequtils,algorithm
# import ,math,tables
# import sets,intsets,queues,heapqueue,bitops,strutils
# import strutils,strformat,sugar,macros
# template stopwatch(body) = (let t1 = cpuTime();body;echo "TIME:",(cpuTime() - t1) * 1000,"ms")
template times*(n:int,body) = (for _ in 0..<n: body)
template `max=`*(x,y) = x = max(x,y)
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).sorted(cmp,Descending)
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