結果

問題 No.3 ビットすごろく
ユーザー mazeppa1108mazeppa1108
提出日時 2015-06-03 22:16:15
言語 Haskell
(9.8.2)
結果
WA  
実行時間 -
コード長 1,004 bytes
コンパイル時間 9,187 ms
コンパイル使用メモリ 201,344 KB
実行使用メモリ 15,684 KB
最終ジャッジ日時 2024-07-06 14:00:03
合計ジャッジ時間 12,854 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,812 KB
testcase_02 AC 1 ms
6,816 KB
testcase_03 AC 21 ms
12,340 KB
testcase_04 AC 6 ms
10,752 KB
testcase_05 AC 73 ms
13,264 KB
testcase_06 AC 19 ms
12,144 KB
testcase_07 AC 9 ms
11,348 KB
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 AC 77 ms
13,408 KB
testcase_13 AC 13 ms
12,248 KB
testcase_14 AC 173 ms
14,316 KB
testcase_15 AC 266 ms
15,552 KB
testcase_16 WA -
testcase_17 WA -
testcase_18 AC 13 ms
12,000 KB
testcase_19 WA -
testcase_20 WA -
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 186 ms
15,276 KB
testcase_23 AC 280 ms
15,684 KB
testcase_24 WA -
testcase_25 WA -
testcase_26 AC 1 ms
6,940 KB
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 AC 2 ms
6,944 KB
testcase_32 WA -
権限があれば一括ダウンロードができます
コンパイルメッセージ
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
import qualified Data.Vector.Unboxed as U
import Debug.Trace

main = do
  n <- readLn
  print . (\x -> case x of
                    [] -> -1
                    _ -> minimum x) $ evalState (bitDice 1 n) (1, U.fromList []) 
  
bitDice :: Int -> Int -> State (Int, U.Vector Int) [Int]
bitDice k n  = do
  (c, visited)  <- get   
  if k `U.elem` visited || k > n || k < 1
     then return []
     else if k == n
             then return [c] 
             else do 
                   let
                       nexts = [k + popCount k, k - popCount k]
                       new_s = (c + 1, k `U.cons` visited)
                   put new_s
                   let 
                       (left, ls) = runState (bitDice (nexts !! 0) n) new_s
                   put ls 
                   let
                       (right, rs) = runState (bitDice (nexts !! 1) n) (c + 1, k `U.cons` snd ls)
                   put rs
                   return $ concat [left, right]
0