来源：期刊VIP网 时间：
作者：杨易;王晓峰;华盈盈;杨澜;庞立超;
单位：北方民族大学计算机科学与工程学院;北方民族大学图像图形智能处理国家民委重点实验室;
摘要：修正的B (revised B,RB)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型，提出一种基于元启发式与局部搜索相结合的求解算法用于解决RB模型实例。以海洋捕食者算法为基础，对初始解空间进行编码离散化，并对海洋捕食者算法的三个核心阶段进行优化。有针对性地将当前候选解向最优解方向引导搜索，最终阶段借助局部搜索方法，当所得当前最优解无法满足RB模型实例解时，传递至退火策略的最小冲突启发式，进一步提升算法求解效能。实验证明，与多种启发式算法相比，所提算法在精度与时间效率方面均呈现明显提升，即便在接近可满足性相变点的情形下仍展现出高概率求解的潜力。
关键词：RB模型;;约束可满足问题;;海洋捕食者算法;;元启发式;;最小冲突启发式
基金资助：国家自然科学基金项目(62062001);; 宁夏青年拔尖人才项目(2021);; 北方民族大学研究生创新项目(YCX23145)
