2

我需要在 Eclipse CLP 中对这个（简单）约束建模：

给定三个域变量，假设D1,D2和D3我想确保这三个变量不会以相同的值结束。其中两个可以具有相等的价值。

版本 1

我的第一个想法是这样的：

D1 #\= D2 or D1 #\= D3

但我不喜欢模型中的析取。

版本 2

然后我把模型改成蕴涵的形式：

D1 #= D2 => D1 #\= D3

有没有更有效的方法来模拟这个约束？

我正在考虑alldifferent([D1,D2,D3],2)orneg nvalue([D1,D2,D3],1) 但我不确定对于这样一个简单的用法是否过于复杂。

4

1 回答 1

4

使用nvalue(N, X)and then constrain Nto be greater than 1 ( N #> 1) 将要求应该有 2 或 3 个不同的值。

例子：

:-lib(ic).
:-lib(ic_search).
:-lib(ic_global).

go :-
    Len = 3,
    dim(X,[Len]),
    X :: 1..Len,
    N :: 1..Len,        

    nvalue(N,X),
    N #> 1,

    term_variables([X],Vars),
    search(Vars,0,first_fail,indomain,complete,[]),

    writeln([n:N, x:X]),
    fail.

该模型给出了以下解决方案：

[n : 2, x : [](1, 1, 2)]
[n : 2, x : [](1, 1, 3)]
[n : 2, x : [](1, 2, 1)]
[n : 2, x : [](1, 2, 2)]
[n : 3, x : [](1, 2, 3)]
[n : 2, x : [](1, 3, 1)]
[n : 3, x : [](1, 3, 2)]
[n : 2, x : [](1, 3, 3)]
[n : 2, x : [](2, 1, 1)]
[n : 2, x : [](2, 1, 2)]
[n : 3, x : [](2, 1, 3)]
[n : 2, x : [](2, 2, 1)]
[n : 2, x : [](2, 2, 3)]
[n : 3, x : [](2, 3, 1)]
[n : 2, x : [](2, 3, 2)]
[n : 2, x : [](2, 3, 3)]
[n : 2, x : [](3, 1, 1)]
[n : 3, x : [](3, 1, 2)]
[n : 2, x : [](3, 1, 3)]
[n : 3, x : [](3, 2, 1)]
[n : 2, x : [](3, 2, 2)]
[n : 2, x : [](3, 2, 3)]
[n : 2, x : [](3, 3, 1)]
[n : 2, x : [](3, 3, 2)]
于 2019-04-25T16:09:51.957 回答