#170165 (Haskell) No.312 置換処理

提出ソース

結果

問題	No.312 置換処理
ユーザー	aimy
提出日時	2017-05-01 12:53:32
言語	Haskell (9.8.2)
結果	AC
実行時間	696 ms / 2,000 ms
コード長	630 bytes
コンパイル時間	6,474 ms
コンパイル使用メモリ	170,752 KB
実行使用メモリ	14,848 KB
最終ジャッジ日時	2024-04-27 10:52:15
合計ジャッジ時間	16,008 ms
ジャッジサーバーID （参考情報）	judge2 / judge5

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	174 ms 9,984 KB
testcase_01	AC	426 ms 12,032 KB
testcase_02	AC	696 ms 14,720 KB
testcase_03	AC	690 ms 14,720 KB
testcase_04	AC	2 ms 6,940 KB
testcase_05	AC	686 ms 14,848 KB
testcase_06	AC	345 ms 11,904 KB
testcase_07	AC	573 ms 12,032 KB
testcase_08	AC	527 ms 12,032 KB
testcase_09	AC	196 ms 10,240 KB
testcase_10	AC	240 ms 9,984 KB
testcase_11	AC	540 ms 12,032 KB
testcase_12	AC	213 ms 9,984 KB
testcase_13	AC	30 ms 8,448 KB
testcase_14	AC	399 ms 12,032 KB
testcase_15	AC	338 ms 11,648 KB
testcase_16	AC	181 ms 9,984 KB
testcase_17	AC	212 ms 9,984 KB
testcase_18	AC	469 ms 11,776 KB
testcase_19	AC	559 ms 11,776 KB
testcase_20	AC	653 ms 14,464 KB
testcase_21	AC	670 ms 14,720 KB
testcase_22	AC	1 ms 6,940 KB
testcase_23	AC	2 ms 6,944 KB
testcase_24	AC	2 ms 6,940 KB
testcase_25	AC	1 ms 6,944 KB
testcase_26	AC	1 ms 6,940 KB
testcase_27	AC	2 ms 6,940 KB
testcase_28	AC	1 ms 6,944 KB
testcase_29	AC	2 ms 6,940 KB
testcase_30	AC	57 ms 8,576 KB
testcase_31	AC	84 ms 8,704 KB
testcase_32	AC	39 ms 8,320 KB
testcase_33	AC	157 ms 9,984 KB
testcase_34	AC	162 ms 9,984 KB
testcase_35	AC	162 ms 9,984 KB
testcase_36	AC	1 ms 6,944 KB
testcase_37	AC	2 ms 6,940 KB
testcase_38	AC	1 ms 6,940 KB
testcase_39	AC	148 ms 9,984 KB
testcase_40	AC	2 ms 6,944 KB
testcase_41	AC	1 ms 6,948 KB
testcase_42	AC	5 ms 6,940 KB
testcase_43	AC	1 ms 6,944 KB
testcase_44	AC	1 ms 6,944 KB

権限があれば一括ダウンロードができます

コンパイルメッセージ

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:17:32: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Data.List, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
17 | rmin n = if length twos > 1 && head (rest++[n]) /= 3 then 4 else head (rest++[n])
   |                                ^^^^

Main.hs:17:66: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Data.List, but defined in GHC.List):
    "This is a partial function, it throws an error on empty lists. Use pattern matching or Data.List.uncons instead. Consider refactoring to use Data.List.NonEmpty."
   |
17 | rmin n = if length twos > 1 && head (rest++[n]) /= 3 then 4 else head (rest++[n])
   |                                                                  ^^^^
[2 of 2] Linking a.out

ソースコード

raw source code

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]

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)

main = readLn >>= print . rmin

rmin n = if length twos > 1 && head (rest++[n]) /= 3 then 4 else head (rest++[n])
 where (twos,rest) = partition (==2) (factorization n)

yukicoder

結果

テストケース

コンパイルメッセージ

ソースコード