如何解决最大化 clingo
{in(I,1..4)}=1 :- I=1..n.
:- [constraint1]
:- [constraint2]
此代码有效。但是我需要 clingo 来找到存在稳定模型的 n 的最大值。最好的方法是什么?
解决方法
您可以使用 #min 聚合来查找 min n。
TypeError: test2() got multiple values for argument 'x'
并使用 #maximize 指令找到聚合 experission 值较大的稳定模型。
value(I) :- I = #min {I:in(I,X) }.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。