文章/答案/技术大牛

发布

问在clingo中最大化间隔
EN

Stack Overflow用户

提问于 2021-02-08 11:58:17

回答 2查看 93关注 0票数 0

我有以下生成搜索空间的clingo代码，后面是约束。

{in(I,1..4)}=1 :- I=1..n.
:- [constraint1]
:- [constraint2]

这段代码可以工作。但我需要clingo来找到存在稳定模型的n的最大值。做到这一点的最好方法是什么？

gringo

logic-programming

answer-set-programming

clingo

回答 2

Stack Overflow用户

发布于 2021-09-28 17:47:15

性能更好的变体应该是：

value(I) :- in(I,_).
value(I-1) :- value(I), I > 0.
#maximize {1,I : value(I)}.

票数 1

Stack Overflow用户

发布于 2021-02-14 18:22:16

您可以使用#min聚合来查找min n。

value(I) :- I = #min {I:in(I,X) }.

并使用#maximize指令找到聚合经验值更大的稳定模型。

#maximize {I: value(I)}.

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/66095738

复制

相似问题

问在clingo中最大化间隔
EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问在clingo中最大化间隔EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问在clingo中最大化间隔
EN