Question

我正在使用ECLiPSe 6.1开发一个prolog程序（CLPFD）。该程序有很多变量，我想最小化某个值，但（显然）最小化步骤需要花费很多时间。如何打印在最小化阶段找到的每个解决方案？输出仅打印（例如）Found a solution with cost 22003482，但不打印解决方案本身。我想：

Found a solution with cost 22003482
L = [[...],[...],...,[]] %L is the list of value to minimize

关于最小化过程的每一步。

我尝试过这种方法：

myLabeling([]).
myLabeling([H|T]):-
    labeling(H),
    myLabeling(T).

%code for the problem

%timeout(+Goal, ++TimeLimit, +TimeOutGoal)
timeout(minimize(myLabeling(AllNodesList),Result),TimeLimit,
    myLabeling(AllNodesList)).

其中AllNodesList是列表列表，TimeOutGoal是TimeLimit到期时运行的目标。此解决方案不会打印找到的最后一个解决方案，但会在标记时找到第一个未优化的解决方案。

有什么建议吗？感谢。

Answer 1

您似乎在问两个不同的问题：（1）如何打印在最小化期间找到的每个中间解决方案，以及（2）如何在超时的情况下获得最佳解决方案。

要打印在最小化期间找到的每个解决方案，只需在标记程序成功后立即打印变量：

minimize( (labeling(Variables),writeln(solution(Variables))), Cost)

要使用超时，最简单的方法是使用bb_min/3库中的branch_and_bound谓词。这与minimize/2类似，但接受各种选项，包括超时：

bb_min( labeling(Variables), Cost, bb_options{timeout:TimeLimit})

这将在给定时间后中止搜索，并将Variables绑定到在时间限制内找到的最佳解决方案。

打印最小化步骤序言

1 个答案: