結果

問題 No.567 コンプリート
ユーザー aimyaimy
提出日時 2017-09-09 18:03:47
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 377 bytes
コンパイル時間 116 ms
コンパイル使用メモリ 149,888 KB
最終ジャッジ日時 2024-05-08 12:06:51
合計ジャッジ時間 445 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )

Main.hs:1:1: error: [GHC-87110]
    Could not load module ‘Data.IntMap.Strict’.
    It is a member of the hidden package ‘containers-0.6.8’.
    Use -v to see a list of the files searched for.
  |
1 | import qualified Data.IntMap.Strict as M
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

ソースコード

diff # 

import qualified Data.IntMap.Strict as M
import Text.Printf

main = readLn >>= printf "%.12f" . complete

complete :: Int -> Double
complete n = M.findWithDefault 0 6 $ foldl dp (M.singleton 0 1) [1..n]

dp m k = M.fromListWith (+) (filter (\(k,_) -> k<=6) next)
  where
    next = concatMap (\(i,p) -> let j = fromIntegral i in [(i+1, p*((6-j)/6)), (i, p*(j/6))]) $ M.toList m
0