| 约束可满足问题求解策略的改进和实验结果 |
| |
| 引用本文： | 陈荣,孙吉贵,刘瑞胜. 约束可满足问题求解策略的改进和实验结果[J]. 吉林大学学报(理学版), 1997, 0(2) |
| |
| 作者姓名： | 陈荣 孙吉贵 刘瑞胜 |
| |
| 作者单位： | 吉林大学计算机科学系!长春，130023，吉林大学计算机科学系!长春，130023，吉林大学计算机科学系!长春，130023 |
| |
| 基金项目： | 国家自然科学基金，863计划和攀登计划资助 |
| |
| 摘 要： | 通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．
|
| 关 键 词： | 约束可满足问题 局部搜索算法 回溯搜索算法 控制策略 |
Experiments and Modification of Solving Strategies for Constraint Satisfiability Problems |
| |
| Chen Rong, Sun Jigui, Liu Ruisheng. Experiments and Modification of Solving Strategies for Constraint Satisfiability Problems[J]. Journal of Jilin University: Sci Ed, 1997, 0(2) |
| |
| Authors: | Chen Rong Sun Jigui Liu Ruisheng |
| |
| Abstract: | We used local search combined with some useful strategies to solve some NP-complete con-straint satisfiability problems (CSP) and found the limitatlon of local searching. The algorithm effect has been raised when the modified searching strategies were used. |
| |
| Keywords: | constraint satisfiability problems (CSP) local search algorithm backtrack-searching al-gorithm controlling strategies |
| 本文献已被 CNKI 等数据库收录！ |
