簡體   English   中英

Minizinc - 如何約束數組的每列只包含給定整數中的一個?

[英]Minizinc - How can I constrain each column of an array to contain only one of a given integer?

我正在嘗試填充10行數組,使每列包含“1”,“2”,“3”和7“0”。 有誰知道怎么做? 我嘗試將列總數限制為等於6但是返回的列有六個,兩個三等等。是否有一個我不知道的“計數”功能? 謝謝!

至少有三個可用於此的約束:

  • 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-全局-counting.html

這里有一個如何使用global_cardinality的例子: http ://hakank.org/minizinc/sudoku_pi.mzn

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM