小编Cha*_*arc的帖子

我正在 Minizinc 上对巨大的数据集执行聚类，但我的计算时间很长，我正在尝试减少它。为此，我想指定为变量尝试可能值的顺序。

例如，一个变量v作为一个域1..5，但我知道4比3更有可能，3比2更有可能，等等。在这种情况下，有没有办法让我说我想先尝试 4，然后是 3，然后是 2，等等？