我正在尝试填充一个 10 行数组，使每列包含一个“1”、一个“2”、一个“3”和七个“0”。有谁知道如何做到这一点？我尝试将列总数限制为 6，但返回的列有 6 个、2 个 3 等。是否有我不知道的“计数”函数？谢谢！
问问题
605 次
1 回答
3
至少有三个约束可用于此：
- global_cardinality
- 数数
- 也许 all_different_except_0
有关MiniZinc 2 中支持的全局约束的列表，请参见https://www.minizinc.org/2.0/doc-lib/doc-globals.html 。计数约束在此处： https ://www.minizinc.org/ 2.0/doc-lib/doc-globals-counting.html
如何使用 global_cardinality 的示例如下：http: //hakank.org/minizinc/sudoku_pi.mzn
于 2015-07-09T06:15:36.987 回答