求解SAT问题的似人下降搜索算法

为了解决求解合取范式的可满足性（简称为ＳＡＴ）问题的坐标轮换法中所存在的函数增量的变化、优化方向的顺序、跳出局部极小陷井的策略和堵绝走回头路的措施等４个问题，引入拟人策略和伴随价值量等概念，构造出一种新的求解ＳＡＴ问题的非完整快速算法拟人下降搜索算法。新的算法对坐标轮换法中频繁使用的函数增量计算作了公式化的递推，对涉及的处理对象诸如函数增量和未满足子句作了科学的排序，对跳出局部极小陷井的策略作了拟人化的运用。实验结果表明，新算法比现有的同类算法更有效。