結果

問題 No.3 ビットすごろく
ユーザー mazeppa1108
提出日時 2015-06-03 02:10:14
言語 Haskell
(9.10.1)
結果
TLE  
実行時間 -
コード長 793 bytes
コンパイル時間 5,822 ms
コンパイル使用メモリ 175,104 KB
実行使用メモリ 14,752 KB
最終ジャッジ日時 2024-07-06 13:51:13
合計ジャッジ時間 12,343 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 3 TLE * 1 -- * 29
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

import Data.Bits
import Control.Monad.State

main = do
  n <- readLn
  print . (\x -> case x of
                  [] -> -1
                  _ -> minimum x) $ evalState (bitDice 1 n) (1, [])


bitDice :: Int -> Int -> State (Int, [Int]) [Int]
bitDice k n  = do
  (c, visited)  <- get
  if k `elem` visited
     then return []
     else if k == n
             then return [c] 
             else if k > n || k < 0
                     then return []
                     else do 
                             let
                                 new_k = filter (\x -> x > 0 && x <= n) [k + popCount k, k - popCount k]
                             put (c + 1, k : visited)
                             return . concat . map (\s -> evalState s (c + 1, k : visited)) $ map (\s -> bitDice s n) new_k
0