結果

問題 No.305 鍵(2)
コンテスト
ユーザー Leonardone
提出日時 2015-12-01 06:31:38
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
AC  
実行時間 18 ms / 2,000 ms
コード長 725 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 849 ms
コンパイル使用メモリ 197,028 KB
実行使用メモリ 28,976 KB
平均クエリ数 52.15
最終ジャッジ日時 2026-03-31 11:14:40
合計ジャッジ時間 1,935 ms
ジャッジサーバーID
（参考情報） 		judge3_1 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 13
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.14.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
Main.hs:20:20: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Data.List, but defined in GHC.Internal.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching, 'Data.List.uncons' or 'Data.Maybe.listToMaybe' instead. Consider refactoring to use "Data.List.NonEmpty"."
   |
20 |             read . head . words <$> getLine
   |                    ^^^^

[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

-- yukicoder My Practice
-- author: Leonardone @ NEETSDKASU

import Control.Applicative
import System.IO
import Data.List
import Data.Char

main = solve where
    n = 10
    s0 = replicate n '0'
    solve = seek n "" s0
    calc o = chr . flip o 1 . ord
    inc = calc (+)
    dec = calc (-)
    seek b ys (x:xs) = check =<< res where
        res =
            putStrLn str  >>
            hFlush stdout >>
            read . head . words <$> getLine
        str = reverse ys ++ (x:xs)
        d = dec x
        i = inc x
        check r
            | r == n         = pure ()
            | r > b          = seek n (x:ys) xs
            | r < b && b < n = seek n (d:ys) xs
            | otherwise      = seek r ys     (i:xs)
0