answer-set-programming - 答案集编程：如何将学生分配到一个小组中，以使不喜欢彼此的两个学生不在同一个小组中

Question

我是答案集编程的初学者。我想将所有学生分成不同的组，这样： 1. 每个组有 3 到 4 名学生 2. 没有两个不喜欢彼此的学生在同一个组中。3. 我们不能将同一个学生分配到不同的组。

我写过这样的：

%suppose there are total 6 students 
student(1..6). 

%suppose there are 2 groups
group(1..2). 

%1 and 4 like each other, 4 and 5 dislike each other
dislike(1,4). dislike(5,4). 

% each group has 3 to 4 students 
:- group(G), #count {S : in(S,G)} < 3. 
:- group(G), #count {S : in(S,G)} > 4.

我已经添加了每个组可以包含多少学生的约束，但不知道如何满足其他两个条件。

对你的帮助表示感谢。谢谢。

Answer 1

试试这个：

student(1..6). 
group(1..2). 

dislike(1,4). dislike(5,4). 


% each group has 3 to 4 students 
:- group(G), #count {S : in(S,G)} < 3. 
:- group(G), #count {S : in(S,G)} > 4.

%no two students who dislike each other are in the same group
:-in(X, G1), in(Y,G2), dislike(X,Y), group(G1), group(G2), G1==G2.

%each student should be assigned to only one group
1{in(S,G): group(G)}1 :- student(S).

#show in/2.