Problem 8 数字列中の最大の積

プロジェクトオイラーをPrologで解く

問題

他にも挑戦している人がいると思うので今回から解答を伏せます。


% problem 7

:- dynamic
gvar/2.

gvar(max,0).

set_gvar(Name,X):-
nonvar(Name),retract(gvar(Name,_)),!,asserta(gvar(Name,X)).
set_gvar(Name,X):-
nonvar(Name),asserta(gvar(Name,X)).

bignum(7316717653133062491922511967442657474235534919493496983520312774506326239578318016984801869478851843858615607891129494954595017379583319528532088055111254069874715852386305071569329096329522744304355766896648950445244523161731856403098711121722383113622298934233803081353362766142828064444866452387493035890729629049156044077239071381051585930796086670172427121883998797908792274921901699720888093776657273330010533678812202354218097512545405947522435258490771167055601360483958644670632441572215539753697817977846174064955149290862569321978468622482839722413756570560574902614079729686524145351004748216637048440319989000889524345065854122758866688116427171479924442928230863465674813919123162824586178664583591245665294765456828489128831426076900422421902267105562632111110937054421750694165896040807198403850962455444362981230987879927244284909188845801561660979191338754992005240636899125607176060588611646710940507754100225698315520005593572972571636269561882670428252483600823257530420752963450).

solve:-
gvar(max,0),
bignum(BigNumAtom),
number_chars(BigNumAtom,BigNumChars),
bignum_mul(BigNumChars).

bignum_mul([A01,A02,A03,A04,A05,A06,A07,A08,A09,A10,A11,A12,A13 | Rest]):-
!,
List = [A01,A02,A03,A04,A05,A06,A07,A08,A09,A10,A11,A12,A13],
mul_chars(List,Mul),
gvar(max,Max),
(Mul > Max->(set_gvar(max,Mul),write(Mul),nl);true),
bignum_mul([A02,A03,A04,A05,A06,A07,A08,A09,A10,A11,A12,A13 | Rest]).

mul_chars([],1):-!.
mul_chars([First|Rest],Mul):-
number_chars(FirstNum,[First]),
mul_chars(Rest,MulRest),
Mul is MulRest * FirstNum.

実行結果:
1 ?- time(solve).
5000940
9797760
13063680
25401600
50803200
71124480
284497920
568995840
1020366720
1632586752
2040733440
2972712960
6270566400
14108774400
XXXXXXXXXXX
% 42,565 inferences, 0.047 CPU in 0.047 seconds (100% CPU, 908053 Lips)
false.

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

次のHTML タグと属性が使えます: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>