5. 对称symmetries

5. 对称symmetries

• 对称经常出现在离散优化中，使求解变得更困难

• 加入去对称约束到模型中来避免

• 变量对称是常见的：LexLeader 去对称

• MiniZinc 对称约束库：用于处理常见的对称 (crossbowlib.mzn)

  例如：var_sqr_sym(array[int,int] of var int: x)
  对一个正方(两个维的范围大小一样) 的二维整型数组，移除旋转和4个方向的镜像对称(布尔型会被强行转换为整型)

  include "var_sqr_sym.mzn";
  var_sqr_sym(t);
  

• 例子：

  array[1..3] of