1

我正在使用 ECLiPSe 6.1 开发一个序言程序（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)).

whereAllNodesList是列表列表，是到期时TimeOutGoal运行的目标。TimeLimit此解决方案不会打印找到的最后一个解决方案，而是打印带有标签的第一个非优化解决方案。

有什么建议么？谢谢。

4

1 回答 1

1

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

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

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

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

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

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

于 2017-11-20T09:41:41.710 回答