結果

問題 No.67 よくある棒を切る問題 (1)
ユーザー aimy
提出日時 2017-05-17 15:11:20
言語 Haskell
(9.10.1)
結果
TLE  
実行時間 -
コード長 587 bytes
コンパイル時間 8,112 ms
コンパイル使用メモリ 207,232 KB
実行使用メモリ 50,112 KB
最終ジャッジ日時 2025-03-03 10:41:47
合計ジャッジ時間 20,877 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other TLE * 1 -- * 29
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.10.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

import Data.Ratio
import Text.Printf
import Data.Maybe
import qualified Data.ByteString.Char8 as B

apply n f x = foldr ($) x (replicate n f)

lmin = 0
lmax = 10e9
nbs = 100

main = do
 getLine
 ls <- map (fromIntegral . fst . fromJust . B.readInt) . B.words <$> B.getLine
 k <- readLn
 printf "%.12f" (yokuaru k ls)

yokuaru :: Integer -> [Ratio Integer] -> Double
yokuaru k ls = fromRational (fst (apply nbs (bsearch k ls) (1,(lmin,lmax))))

bsearch k ls (x,(xn,xx))
 | cuts x ls < k = (x - (x-xn) / 2, (xn,x))
 | otherwise = (x + (xx-x) / 2, (x,xx))

cuts x = sum . map (floor . (/x))
0