答案集编程中的负优化结果
Negative optimization result in Answer Set Programming
我写了一个ASP程序，最后有一个优化条件。当我编译它时，即使我得到了正确的结果，在总结中我得到了优化的负值（即 -3）。
你知道为什么会这样吗？
优化代码部分如下所示：
number_of_leaves(N) :- #count{X : leaf(X)} = N.
#maximize {N : number_of_leaves(N)}.
在 clingo 中只有 #minimize 被实际实现。 #maximize 是通过使用 #minimize 实现的 - 仅使用负值。因此，“最大值”也被否定 - 当值应为 3.
时，它显示 -3
我写了一个ASP程序，最后有一个优化条件。当我编译它时，即使我得到了正确的结果，在总结中我得到了优化的负值（即 -3）。
你知道为什么会这样吗？
优化代码部分如下所示：
number_of_leaves(N) :- #count{X : leaf(X)} = N.
#maximize {N : number_of_leaves(N)}.
在 clingo 中只有 #minimize 被实际实现。 #maximize 是通过使用 #minimize 实现的 - 仅使用负值。因此，“最大值”也被否定 - 当值应为 3.
-3