Minizinc数据文件中包含默认值的大型数组？

Question

如何建模大型数组，例如＆＃34;数组[1..10000000] int：A;＆＃34;其中有很多0作为默认值。有没有办法指定＆＃34;默认＆＃34;为了减少数据文件的大小，MiniZinc的值是什么？

Answer 1

MiniZinc是一种声明性语言，您无法更改已分配变量的值。这使得问题有点奇怪，不需要默认值，因为变量的值不能改变。

我会使用数组解析[if i == 3 then i else 0 endif | i in 1..10000000]并根据您的需要切换if语句的条件和结果。

可能还有另一种表示数组的方法吗？大多数空的数组听起来不太有效。