SWI-Prolog - 250
โอ้เจ้าหนูใช้เวลานี้นานเกินไป
o(A,B,A+B).
o(A,B,A-B).
o(A,B,A*B).
t([],0).
t([A,B|T],D):-t(T,Q),o(A,B,C),o(C,Q,D).
t([A|T],C):-t(T,Q),o(A,Q,C).
a(A):-t(A,B),n(C),B>C,retract(n(C)),assert(n(B)).
m(A):-assert(n(0)),\+p(A),n(R),R2 is R,write(R2).
p(A):-permutation([0|A],B),a(B),0=1.
เรียกได้จากบรรทัดคำสั่ง (เช่น):
> swipl -s filename.pl -g "m([1, 1, 1, 1, 1])" -t halt
6
(โดยไม่มีเหตุผลเรื่องอนุภาคฉันพบว่ามันยอดเยี่ยมมากที่ชื่อฟังก์ชันสนามกอล์ฟของฉันสะกด "หม้อมะเขือเทศ")
เวอร์ชันที่ไม่ถูกปรับแต่ง:
% Possible operations
operation(Left, Right, Left + Right).
operation(Left, Right, Left - Right).
operation(Left, Right, Left * Right).
% Possible ways to transform
transform([], 0).
transform([A, B|T], D) :- transform(T, Q), operation(A, B, C), operation(C, Q, D).
transform([A|T], C) :- transform(T, Q), operation(A, Q, C).
% Throw the given array through every possible transformation and update the max
all_transforms(A) :- transform(A, B), n(C), B>C, retract(n(C)), assert(n(B)).
% Find all the permutations and transformations, then fail and continue execution.
prog(A) :- assert(n(0)), !, permutation([0|A], B), all_transforms(B), fail.
% End the program
finished :- n(R), write(R), nl, R2 is R, write(R2), nl.
% Run the program
main(A) :- ignore(prog(A)), finished.
คำอธิบาย:
- ใช้เวลาในอาร์เรย์เป็นอาร์กิวเมนต์
- รับพีชคณิตทั้งหมดของอาร์เรย์
- ค้นหาการจัดเรียงของโอเปอเรเตอร์เพื่อเพิ่มในอาร์เรย์ (สิ่งนี้ทำได้ผ่านการเขียนโปรแกรมแบบไดนามิกโดยดูว่าดีกว่าหรือไม่ถ้าเรารวมสององค์ประกอบแรกเข้าด้วยกันหรือไม่)
- ตรวจสอบกับค่าสูงสุดปัจจุบันของเรา หากดีกว่าให้แทนที่
- บอกโปรแกรมที่เราล้มเหลวเพื่อให้มันตรวจสอบอยู่ แต่ก็ปฏิเสธว่า (ใช้
ignore
หรือ\+
) เพื่อให้ผลสรุปโดยรวมtrue
แล้วดำเนินการต่อ
- เราได้รับสตริงของเพรดิเคตแทนที่จะเป็นตัวเลขดังนั้นกำหนดโดยใช้
is
แล้วเขียน