问题[constraints](coding)

我是 Minizinc 的新手，我想解决以下问题。

我有一个给定的 6x6 单元格矩阵。行编号从 1..6，列编号从 A..B。所有单元格都应按照某些规则用从 1..9 的数字填充：

1. 矩阵中所有 9 位数字都恰好出现了 4 次。
2. 行或列中的直接邻居不能具有相同的值。
3. 同一行中的所有单元格和同一列中的所有单元格都应具有不同的值。
4. (3) 有一些例外：a) 第 2 行有两个“6”。b) 第 3 行有两个“3”。c) 第 4 行有两个“5”。d) 第 5 行有三个“7”。e) 第 6 行有两个“8”。f) B 列有两个“3”。g) D 列有两个“8”。h) F 列有两个“9”。
5. 第 1 行所有数字的总和 >= 38。
6. E列所有数字的总和为= 21。
7. 第 2 行不包含“1”。
8. 第 4 行不包含“4”。
9. 第 5 行不包含“2”。
10. 第 6 行不包含“3”。
11. C 列不包含“2”。
12. B列除两个“3”外，只有偶数数字。
13. A 列具有升序或降序序列，例如“234567”或“987654”。

我在Minzinc中构建模型时最头疼的就是那些“矛盾的”约束：

• 同一行或同一列中的所有数字必须不同。
• 但有时这条规则也有例外。

这如何实现呢？

提前致以最诚挚的谢意。Guenther

Timefold Solver 是否按照 ConstraintProvider 默认定义的顺序（或优先级）应用（并检查）约束？或者，更准确地说，当求解器尝试解决特定问题时，它的约束如何工作？

考虑以下具有 2 个约束的情况：

• 约束A（具有复杂的实现）
• 约束 B（具有简单的实现；即简单的条件检查）

这两个约束的应用顺序是什么？

有没有一种方法可以对 ConstraintProvider 中的约束进行排序，以便更有效地应用约束？

例如：

情况a)：约束的顺序是约束A，约束B

应用约束 A（并执行必要的移动以获得更好的解决方案）后，在约束 B 中将有可能不受惩罚。

情况b)：约束的顺序是约束B，约束A

应用约束 B（并执行必要的移动以获得更好的解决方案）后，在约束 A 中将有可能受到额外的惩罚。

我希望这些问题有意义。如果没有，请随时编辑这篇文章。任何帮助将不胜感激。