結果
| 問題 | No.312 置換処理 |
| コンテスト | |
| ユーザー |
aimy
|
| 提出日時 | 2017-05-01 12:37:24 |
| 言語 | Haskell (9.14.1 + ACL) |
| 結果 |
WA
不安定
|
| 実行時間 | - |
| コード長 | 523 bytes |
| 記録 | |
| コンパイル時間 | 1,059 ms |
| コンパイル使用メモリ | 195,456 KB |
| 実行使用メモリ | 16,896 KB |
| 最終ジャッジ日時 | 2026-08-26 17:23:05 |
| 合計ジャッジ時間 | 4,280 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 31 WA * 11 RE * 3 |
コンパイルメッセージ
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:6:27: 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"."
|
6 | main = readLn >>= print . head . filter (/=2) . factorization
| ^^^^
[2 of 2] Linking a.out
ソースコード
import Data.List primes = 2:3:[x | i<-[1..], j<-[-1,1], let x = 6*i+j, isPrime x] where isPrime n = null [i | i<-takeWhile (\x -> x^2 <= n) primes, mod n i == 0] main = readLn >>= print . head . filter (/=2) . factorization factorization :: Integer -> [Integer] factorization n = unfoldr fact (n, primes) where q = (floor . sqrt . fromIntegral) n fact (n', pps@(p:ps)) | n' == 1 = Nothing | p > q = Just (n',(1,pps)) | otherwise = let (d,m) = divMod n' p in if m==0 then Just (p,(d,pps)) else fact (n',ps)
aimy