两种高效局部搜索算法求解RB模型实例

  • 打印
  • 收藏
收藏成功


打开文本图片集

摘 要:RB (revised B)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出两种高效的启发式局部搜索算法用于解决RB模型生成的大值域约束可满足问题。首先为基于权重指导搜索的W-MCH算法,该算法通过约束判断和违反约束数计分来进行搜索,并引入了基于约束违反概率的权重计算公式,根据其关联的约束权重进行修正,再对变量进行迭代调整。(剩余21725字)

目录
monitor
客服机器人