結果

問題 No.594 壊れた宝物発見機
ユーザー pekempeypekempey
提出日時 2017-11-11 18:37:48
言語 Haskell
(9.8.2)
結果
WA  
実行時間 -
コード長 747 bytes
コンパイル時間 729 ms
コンパイル使用メモリ 163,820 KB
実行使用メモリ 26,428 KB
平均クエリ数 48.00
最終ジャッジ日時 2023-09-23 15:03:48
合計ジャッジ時間 4,480 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 AC 108 ms
23,664 KB
testcase_16 AC 107 ms
24,360 KB
testcase_17 AC 108 ms
23,628 KB
testcase_18 WA -
testcase_19 WA -
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

{-# LANGUAGE LambdaCase #-}
import System.IO

main = do
  x <- binarySearch (flipX ask) (-110) 110
  y <- binarySearch (flipY ask) (-110) 110
  z <- binarySearch (flipZ ask) (-110) 110
  putStrLn $ "! " ++ show x ++ " " ++ show y ++ " " ++ show z

flipX f x y z = f x y z
flipY f x y z = f y x z
flipZ f x y z = f z x y

binarySearch :: (Int -> Int -> Int -> IO Int) -> Int -> Int -> IO Int
binarySearch f l r
  | r - l == 1 = return r
  | otherwise = do
    let mid = (l + r) `div` 2
    (<) <$> f mid 0 0 <*> f (mid + 1) 0 0 >>= \case
      True  -> binarySearch f l mid
      False -> binarySearch f mid r

ask :: Int -> Int -> Int -> IO Int
ask x y z = do
  putStrLn $ "? " ++ show x ++ " " ++ show y ++ " " ++ show z
  hFlush stdout
  readLn
0