两种智能值排序启发式研究

为提升约束满足问题求解效率, 对最受推崇的智能值排序启发式Look-ahead 和Survivors-first 进行深入研究。比较两种值排序启发式在常规和自适应两种环境下的效率表现。结果显示, 在多数问题类上, 常规情况下Survivors-first效果更好, 而在自适应环境下效率有所下降; 在不同环境下使用不同启发式可提升约束满足问题求解效率。

Research on Two Intelligent Value Ordering Heuristics

It is important to select appropriate value ordering heuristics, as it influences the efficiency of constraint solving deeply. In this paper, two of the most respected intelligent value ordering heuristics are researched in depth. One is look-ahead value ordering heuristic, the other is survivors-first value ordering heuristic. The efficiency of the two kinds of value ordering heuristics are compared under the normal situation and the adaptive circumstance. The results display that survivors-first is better than look-ahead under normal environment, but decline in efficiency under adaptive situation. So we can choose different intelligent value ordering heuristics to achieve better property in different enviroments.