結果

問題 No.2 素因数ゲーム
コンテスト
ユーザー はむ吉🐹
提出日時 2015-11-15 13:02:59
言語 Haskell
(9.14.1)
コンパイル:
ghc -rtsopts -with-rtsopts=-K1G -o a.out -O2 _filename_
実行:
./a.out
結果
AC  
実行時間 3 ms / 5,000 ms
コード長 1,264 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 8,928 ms
コンパイル使用メモリ 189,440 KB
実行使用メモリ 6,400 KB
最終ジャッジ日時 2026-06-01 09:17:40
合計ジャッジ時間 10,193 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 31
権限があれば一括ダウンロードができます
コンパイルメッセージ
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:27:29: warning: [GHC-63394] [-Wx-partial]
    In the use of ‘head’
    (imported from Prelude, 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"."
   |
27 | frequency = map (length &&& head) . group
   |                             ^^^^

[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

import           Control.Arrow ((&&&))
import           Data.Bits     (Bits, xor)
import           Data.List     (group)

-- | Generates the sequence of prime numbers.
-- Based on <http://qiita.com/little_Haskeller/items/614a3ae20a517c19bb1f this article> .
primes :: Integral a => [a]
primes = map fromIntegral primes'
    where
        primes' = [2, 3, 5] ++ sieve2 5 7 (drop 2 primes')
        sieve2 m s (p : ps) = [n | n <- ns, gcd m n == 1] ++ sieve2 (m * p) (p * p) ps
            where ns = [x + y | x <- [s, s + 6 .. p * p - 2], y <- [0, 4]]

-- | Factorizes the given integer using 'primes'.
-- Based on <https://wiki.haskell.org/Testing_primality this page>.
factorize :: Integral a => a -> [a]
factorize 1 = []
factorize n = factorize' n primes
    where
        factorize' n ps@(p : pr)
            | p * p > n    = [n]
            | m == 0       = p : factorize' d ps
            | otherwise    = factorize' n pr
            where (d, m) = divMod n p

frequency :: Ord a => [a] -> [(Int, a)]
frequency = map (length &&& head) . group

xor2 :: Bits a => [a] -> a
xor2 (x : []) = x
xor2 (x : xs) = xor x $ xor2 xs

main :: IO ()
main = putStrLn .
    (\x -> if x == 0 then "Bob" else "Alice") .
        xor2 .map fst . frequency . factorize =<< readLn
0