求解SAT问题的拟物拟人算法—Solar

被引：27

作者：

黄文奇

金人超

机构：

[1] 华中理工大学计算机系

来源：

中国科学E辑:技术科学 | 1997年 / 02期

关键词：

合取范式; 可满足性; 拟物法; 拟人法; 算法;

D O I：

暂无

中图分类号：

O224 [最优化的数学理论];

学科分类号：

摘要：

利用拟物与拟人的方法,为合取范式可满足性问题的高效率近似求解得出了继承策略、新路策略和赦免策略,然后对著名的Bart Selman跳坑策略给出了一个直观解释.综合这些策略得出了一个新的求解算法——Solar.

引用

收藏

页码：179 / 186

页数：8

相关论文

共 3 条

[1] 一种求解合取范式可满足性问题的数学物理方法 [J].

李未 ;

黄文奇 .

中国科学(A辑数学物理学天文学技术科学), 1994, (11) :1208-1217

[2] 求解Covering问题的拟物方法——NP难度问题的一个处理途径 [J].

黄文奇 .

计算机学报, 1989, (08) :610-616

[3] 求解Packing问题的拟物方法 [J].

黄文奇 ;

詹叔浩 .

应用数学学报, 1979, (02) :176-180