prolog: how to tell with global_cardinality that a list has at least N element that equals M (M,N are integer)

Question

For example: I have some variable: A,B,C,D, and a condition: in [A,B,C,D] list there must be at least twice the number 2. I can only use global_cardinality/2 combinatorial constraint.

score 2 · Answer 1 · answered Mar 02 '14 at 23:05

2

Ok, it was a fairly stupid question. The solution is for example: global_cardinality(VarList, [1-_,2-M]), M >= 2. So we haven't got any constraint on how many 1 number the VarList has, but we give the number of number 2, that is M, and let M be greater than 2.

answered Mar 02 '14 at 23:05

lyra42

365
1
3
11

5

Fine, except ">=" is not a constraint, but a Prolog test. Replace it by "#>=" and everything should be fine. – Mats Carlsson Mar 03 '14 at 08:10

prolog: how to tell with global_cardinality that a list has at least N element that equals M (M,N are integer)

1 Answers1