結果

問題 No.27 板の準備
ユーザー むらためむらため
提出日時 2017-08-16 22:42:19
言語 Nim
(2.0.2)
結果
AC  
実行時間 3 ms / 5,000 ms
コード長 1,048 bytes
コンパイル時間 9,738 ms
コンパイル使用メモリ 452,060 KB
実行使用メモリ 8,064 KB
最終ジャッジ日時 2024-04-27 02:29:33
合計ジャッジ時間 10,655 ms
ジャッジサーバーID
(参考情報)
judge5 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 1 ms
6,816 KB
testcase_02 AC 3 ms
7,936 KB
testcase_03 AC 1 ms
6,940 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 2 ms
7,808 KB
testcase_08 AC 3 ms
8,064 KB
testcase_09 AC 3 ms
7,808 KB
testcase_10 AC 3 ms
7,552 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 3 ms
7,040 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 2 ms
6,940 KB
testcase_15 AC 3 ms
7,552 KB
testcase_16 AC 2 ms
6,944 KB
testcase_17 AC 2 ms
8,064 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
/home/judge/data/code/Main.nim(1, 41) Warning: Use the new 'sugar' module instead; future is deprecated [Deprecated]
/home/judge/data/code/Main.nim(1, 41) Warning: imported and not used: 'future' [UnusedImport]
/home/judge/data/code/Main.nim(1, 48) Warning: imported and not used: 'macros' [UnusedImport]

ソースコード

diff #

import sequtils,strutils,algorithm,math,future,macros
template get*():string = stdin.readLine().strip()
template `min=`*(x,y:typed):void = x = min(x,y)

let V = get().split().map(parseInt).sorted(cmp) # 4 * [1,30]
const INF = 1e6.int
var ans = INF
# 30 * 30 * 30
proc getABCCost() : array[31,array[31,array[31,array[31,int]]]] =
  for a in 0..30:
    for b in 0..30:
      for c in 0..30:
        for d in 0..30:
          result[a][b][c][d] = INF
  for A in 1..30:
    for B in 1..A:
      for C in 1..B:
        var dp = newSeqWith(30+1,INF) # v を ABC で 作るのに掛かるコストの最小値
        dp[0] = 0
        for v in 0..30-A:
          if dp[v] != INF: dp[v + A] .min= dp[v] + 1
        for v in 0..30-B:
          if dp[v] != INF: dp[v + B] .min= dp[v] + 1
        for v in 0..30-C:
          if dp[v] != INF: dp[v + C] .min= dp[v] + 1
        for v in 0..30: result[A][B][C][v] = dp[v]
const ABC = getABCCost()
for A in 1..V.max():
  for B in 1..A:
    for C in 1..B:
      ans .min= V.mapIt(ABC[A][B][C][it]).sum()
echo ans
0