constraint-programming - 约束编程 bool 求解器

Question

休伊、杜威和路易被他们的叔叔盘问。以下是他们的声明:

• 休伊:“杜威和路易平分秋色；如果一个人有罪，那么另一个人也有罪。”

• 杜威:“如果休伊有罪，那我也是。”

• 路易:“杜威和我都没有罪。”

他们的叔叔知道他们是侦察兵，意识到他们不能说谎。

我的解决方案。

var bool :D; var bool :L; var bool :H;
    constraint D <->L;
    constraint H -> D;
    constraint D!=L;
    solve satisfy;
    output[show(D), "\n", show(L),"\n", show(H)];

Minizinc 解决不了。

Answer 1

这是这个问题的(旧)版本:http://www.hakank.org/minizinc/huey_dewey_louie.mzn

 var bool: huey;
 var bool: dewey;
 var bool: louie;

 constraint
   %  Huey: Dewey and Louie has equal share in it; if one is quitly, so is the other.
   (dewey <-> louie)

   %  Dewey: If Huey is guilty, then so am I.
   /\
   (huey -> dewey)

   %  Louie: Dewey and I are not both quilty.
   /\
   (not (dewey /\ louie))
;