Problem 23

A perfect number is a number for which the sum of its proper divisors is exactly equal to the number. For example, the sum of the proper divisors of 28 would be 1 + 2 + 4 + 7 + 14 = 28, which means that 28 is a perfect number.

A number whose proper divisors are less than the number is called deficient and a number whose proper divisors exceed the number is called abundant.

As 12 is the smallest abundant number, 1 + 2 + 3 + 4 + 6 = 16, the smallest number that can be written as the sum of two abundant numbers is 24. By mathematical analysis, it can be shown that all integers greater than 28123 can be written as the sum of two abundant numbers. However, this upper limit cannot be reduced any further by analysis even though it is known that the greatest number that cannot be expressed as the sum of two abundant numbers is less than this limit.

Find the sum of all the positive integers which cannot be written as the sum of two abundant numbers.

問題文が意味不明だ。できないことをしろって書いてあるのかと。

おそらく数学的証明はできていないが、計算機実験ではおk

見たいな感じなんだろう、たぶん。

英語ができないと不便です。

import Data.List
import Data.Array.IArray
import Control.Arrow
factors' 1 _ = []
factors' m d = q:(factors' m' q)
where (q,m') = head [(n,div m n)|n<-[d..(floor.sqrt.fromIntegral$m)]++[m],mod m n==]
factors n = factors' n 2
d n = (flip(-)n).product.map q.map (head&&&length).group.factors$n
where q(p,n)= div (p^(n+1) - 1) $p - 1
lim = 28123
isAbund = listArray(1,lim)[n < d n|n<-[1..]]::Array Int Bool
isSum n = any (isAbund!).map(n-).takeWhile(<=n`div`2)$filter(isAbund!)[1..lim]
main = print.sum.filter (not.isSum)$ [1..lim]
More Reading
Newer// Problem 22
Older// Problem 28