|
|||||
|
|
| 约束可满足问题求解策略的改进和实验结果 | |
| 引用本文： | 陈荣,孙吉贵.约束可满足问题求解策略的改进和实验结果[J].吉林大学自然科学学报,1997(2):27-30. |
| 作者姓名： | 陈荣 孙吉贵 |
| 作者单位： | 吉林大学计算机科学系 |
| 摘 要： | 通过对那些属于ＮＰ－Ｃｏｍｐｌｅｔｅ的约束可满足问题（如图着色，规划、ＳＡＴ问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略，实验结果表明，应用改进的搜索策略使算法效率明显提高。 |
| 关 键 词： | 约束可满足问题 局部搜索算法 控制策略 |
| 本文献已被 维普 等数据库收录！ | |