結果

問題 No.355 数当てゲーム(2)
ユーザー aimyaimy
提出日時 2017-04-19 13:47:37
言語 Haskell
(9.8.2)
結果
RE  
実行時間 -
コード長 523 bytes
コンパイル時間 9,169 ms
コンパイル使用メモリ 171,008 KB
実行使用メモリ 25,616 KB
平均クエリ数 5.52
最終ジャッジ日時 2024-07-16 12:49:27
合計ジャッジ時間 13,407 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 RE -
testcase_01 RE -
testcase_02 RE -
testcase_03 RE -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 RE -
testcase_15 RE -
testcase_16 RE -
testcase_17 RE -
testcase_18 RE -
testcase_19 RE -
testcase_20 RE -
testcase_21 RE -
testcase_22 RE -
testcase_23 RE -
testcase_24 RE -
testcase_25 RE -
testcase_26 RE -
testcase_27 RE -
testcase_28 RE -
testcase_29 RE -
testcase_30 RE -
testcase_31 RE -
testcase_32 RE -
testcase_33 RE -
testcase_34 RE -
testcase_35 RE -
testcase_36 RE -
testcase_37 RE -
testcase_38 RE -
testcase_39 RE -
testcase_40 RE -
testcase_41 RE -
testcase_42 RE -
testcase_43 RE -
testcase_44 RE -
testcase_45 RE -
testcase_46 RE -
testcase_47 RE -
testcase_48 RE -
testcase_49 RE -
testcase_50 RE -
testcase_51 RE -
権限があれば一括ダウンロードができます
コンパイルメッセージ
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:21:33: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Data.List, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
21 |    putStrLn (unwords (map show (head ps)))
   |                                 ^^^^
[2 of 2] Linking a.out

ソースコード

diff # 

import Control.Monad
import System.IO
import Data.List

perms = do
 n1 <- [0..9]
 n2 <- [0..9] \\ [n1]
 n3 <- [0..9] \\ [n1,n2]
 n4 <- [0..9] \\ [n1,n2,n3]
 return [n1,n2,n3,n4]

next h b (ns@[n1,n2,n3,n4]:ps) = do
 cand <- ps
 guard (length (filter id (zipWith (==) ns cand)) == h)
 guard (length (intersect ns cand) == h+b)
 return cand

main = main' perms
 where
  main' ps = do
   putStrLn (unwords (map show (head ps)))
   hFlush stdout
   [h,b] <- map read . words <$> getLine
   guard (h /= 4)
   main' (next h b ps)
0