如何在MiniZinc中将数组变量的取值域设置为0、0.5或1？

嘿，我来帮你搞定这个MiniZinc变量域的问题～你想要让三维数组的元素取0、0.5或1，之前的两种方法踩坑很正常，我给你两个靠谱的解决方案：

方法一：整数变量映射（推荐） #

MiniZinc对整数变量的支持远好于离散浮点变量，所以我们可以先定义一个整数数组，域为0、1、2，再通过约束把它转换成0、0.5、1的浮点值。这种方法稳定性最高，不容易出现求解器报错：

% 先定义整数变量数组，取值0/1/2
array[1..num_compute_nodes,1..num_access_nodes,1..num_request] of var 0..2: assignment_int;
% 目标浮点数组
array[1..num_compute_nodes,1..num_access_nodes,1..num_request] of var float: assignment;

% 映射约束：整数转浮点
constraint forall(m in 1..num_compute_nodes, a in 1..num_access_nodes, r in 1..num_request) (
    assignment[m,a,r] = assignment_int[m,a,r] / 2.0
);

这样assignment_int取0时对应assignment的0，1对应0.5，2对应1，完美匹配你的需求。

方法二：直接使用浮点变量+正确约束 #

如果一定要直接用浮点变量，需要修正你之前错误的约束写法。你之前的约束语法混乱，导致求解器无法解析，正确的做法是用逻辑或（\/）明确指定变量只能取三个值之一，同时可以加精度容差避免浮点精度问题：

array[1..num_compute_nodes,1..num_access_nodes,1..num_request] of var float: assignment;

% 明确变量只能是0、0.5或1，加精度容差处理浮点误差
constraint forall(m in 1..num_compute_nodes, a in 1..num_access_nodes, r in 1..num_request) (
    (abs(assignment[m,a,r] - 0.0) < 1e-6) \/ 
    (abs(assignment[m,a,r] - 0.5) < 1e-6) \/ 
    (abs(assignment[m,a,r] - 1.0) < 1e-6)
);

注意这里用abs()和小阈值（比如1e-6）是为了避免求解器计算时出现的浮点精度偏差（比如把0.5算出0.499999999），如果你的求解器对浮点离散值支持很好，也可以直接写：

constraint forall(m in 1..num_compute_nodes, a in 1..num_access_nodes, r in 1..num_request) (
    assignment[m,a,r] = 0.0 \/ assignment[m,a,r] = 0.5 \/ assignment[m,a,r] = 1.0
);

为什么你之前的方法失败了？ #

• 第一种方法：用set of float作为变量域，MiniZinc的大多数求解器对离散浮点集合的支持很差——因为float本质是连续类型，求解器在处理这种集合时容易出现“无限值”的算术错误，这是求解器底层处理逻辑导致的。
• 第二种方法：你的约束语法完全错误，逻辑或的写法、嵌套的表达式结构都不符合MiniZinc的语法规则，求解器无法将其转换成可处理的约束形式，所以触发了“flattening error”。

内容的提问来源于stack exchange，提问作者badej60