gpt4 book ai didi

combinatorics - 生成候选解决方案以在 Clingo/ASP 中匹配人员

转载 作者:行者123 更新时间:2023-12-02 18:41:12 30 4
gpt4 key购买 nike

我有一个人员列表,我想将他们全部配对,然后根据偏好进行一些过滤。当我生成候选解决方案时,如何避免创建重新配对人员的候选解决方案。

例如:

person(a;b;c;d) .
{match(X, Y): person(Y)}1 :- person(X) .

这会生成候选解决方案,其中包括 match(a,b) match(c,b) ...

我只想要不重新匹配任何人的候选解决方案,例如:match(a,b) match(c,d) ...

我的目标是不必通过额外的限制来过滤重新匹配。此外,并不是每个人都需要匹配。谢谢!

最佳答案

person(a;b;c;d).
{match(A,B) : person(A), person(B), A < B}.
:- person(A), 1 < {match(A,B); match(B,A)}.

您排除与单个人匹配超过 1 个的解决方案。

在没有附加约束的情况下,不可能简单地选择一组正确的原子。由于 match(a,b)match(b,c) 可能出现在不同的答案集中,因此需要创建这两个变量。只有一个约束才能排除两者不会出现在同一答案集中。

另请注意您的生成器规则

{match(X, Y): person(Y)}1 :- person(X) .

已经是一个快捷方式编写

{match(X, Y): person(Y)} :- person(X).
:- person(X), 2 {match(X, Y): person(Y)}.

因此,只要您的生成器选择规则具有非平凡的边界,您就已经在使用约束了。

PS:使用 --stats=2 检查不同版本的约束计数,使用 --text 检查生成的约束类型的粗略近似值。

关于combinatorics - 生成候选解决方案以在 Clingo/ASP 中匹配人员,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/67994887/

30 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com