5. 对称symmetries

博客探讨了在离散优化问题中对称性如何增加求解难度,并介绍了对称性破缺的概念。通过静态对称性破缺约束消除变量对称,例如在装箱、涂色、车辆路线和排班问题中的应用。同时,提到了矩阵模型中的点灯模型对称性问题,以及值对称性在排列问题中的角色,强调在添加去对称约束时确保解的兼容性。
摘要由CSDN通过智能技术生成

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<
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值