結果
| 問題 | No.192 合成数 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2017-06-08 15:58:19 |
| 言語 | Haskell (9.10.1) |
| 結果 |
CE
(最新)
AC
(最初)
|
| 実行時間 | - |
| コード長 | 503 bytes |
| 記録 | |
| コンパイル時間 | 177 ms |
| コンパイル使用メモリ | 148,608 KB |
| 最終ジャッジ日時 | 2024-06-27 02:11:52 |
| 合計ジャッジ時間 | 572 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
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:1:1: error: [GHC-87110]
Could not load module ‘Data.Set’.
It is a member of the hidden package ‘containers-0.6.8’.
Use -v to see a list of the files searched for.
|
1 | import qualified Data.Set as S
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ソースコード
import qualified Data.Set as S
eratosthenes n = f [] [2..n] where
f pn ys | pn /= [] && (head pn)^2 > n = (reverse pn) ++ ys
| otherwise = f ((head ys):pn) (filter (p (head ys)) ys)
p m z = z `mod` m /= 0
solve' n = head (S.toList (S.difference (S.fromList [m..n]) (S.fromList pn))) where
m | n - 100 < 2 = 2
| otherwise = n - 100
pn = filter p (eratosthenes n)
p x = x >= n - 100 && x <= n + 100
main = readLn >>= print . solve'