結果

問題 No.437 cwwゲーム
ユーザー むらため
提出日時 2019-01-23 11:23:54
言語 Nim
(2.2.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 861 bytes
コンパイル時間 2,404 ms
コンパイル使用メモリ 61,628 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-01 10:32:19
合計ジャッジ時間 3,428 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 41
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sequtils,bitops
template `max=`*(x,y) = x = max(x,y)
proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>" .}

var S = newSeq[int]()
while true:
  let k = getchar_unlocked()
  if k < '0': break
  S &= k.ord - '0'.ord

var dp = newSeqWith(1 shl S.len,-1)
proc bitDP(s:int,popcnt:int) : int =
  if dp[s] >= 0 : return dp[s]
  if popcnt + 3 > S.len : return 0
  for a in (not s).countTrailingZeroBits()..<S.len:
    let sa = 1 shl a
    if (sa or s) == s or  S[a] == 0 : continue
    for b in (a+1)..<S.len:
      let sb = 1 shl b
      if (sb or s) == s or S[a] == S[b] : continue
      for c in (b+1)..<S.len:
        let sc = 1 shl c
        if (sc or s) == s or S[b] != S[c] : continue
        let s2 = sa or sb or sc or s
        result .max= 100 * S[a] + 10 * S[b] + S[c] + bitDP(s2,popcnt+3)
  dp[s] = result
echo bitDP(0,0)
0