結果

問題 No.144 エラトステネスのざる
ユーザー Kaito Udagawa
提出日時 2015-02-06 01:27:10
言語 Haskell
(9.10.1)
結果
TLE  
実行時間 -
コード長 707 bytes
コンパイル時間 7,029 ms
コンパイル使用メモリ 174,080 KB
実行使用メモリ 16,768 KB
最終ジャッジ日時 2024-06-23 09:59:12
合計ジャッジ時間 9,011 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 10 TLE * 1 -- * 6
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

import qualified Data.ByteString.Char8 as B
import Data.Maybe
import Data.Functor

readInts :: B.ByteString -> [Int]
readInts x = fst <$> mapMaybe B.readInt (B.words x)

getParams :: B.ByteString -> (Int, Int)
getParams x = (x' !! 0, x' !! 1)
  where x' = readInts x

primes :: Int -> Double -> [(Double, Int)]
primes n p = sieve (zip (replicate n 1.0) [2..n])
  where
    sieve ((l, x):xs) = (l, x) : sieve ([((erase y x) * k, y) | (k, y) <- xs])
    sieve [] = []
    erase x y = if x `mod` y == 0 then 1 - p else 1

main =
  do
    l <- words <$> getLine
    let n = read (l !! 0) :: Int
        p = read (l !! 1) :: Double
        k = primes n p
    (putStrLn . show) (foldr (\ (v, _) r -> v + r) 0.0 k)
0