我想知道是否可以在MiniZinc语言中使用(多维)数组数组.
实际上,我想解决与工人的时间表问题.我的目标是检查他们是否每周至少有1天可用.每个工人都用一个整数索引,我每周都有他们的日程安排.
对我来说,像这样的阵列[[number_of_week, weekday]]可能是一个解决方案.
例如,在第1周的星期一/星期五和第2周的星期二/星期四可用的工人1可以通过以下数组建模:(«1»表示工人可用)
[[| 1,0,0,0,1,
| 0,1,0,1,0 |],
[...], ...]
如果有可能,如何声明这种数组？而且我也对建模这个约束的建议持开放态度.
对不起我不完美的英语,并提前谢谢你,尼古拉斯.