论文部分内容阅读
研究合取范式可满足性的SAT问题是一个著名的NP完全问题,在人工智能、计算机科 学及工程领域中有着中心课题的重要地位,它作为一种基础模型应用在解决各种实际问题中.由于其NP问题的性质决定了它没有通用的多项式的时间复杂度的算法.该文基于"实验算法学"的思想,按照平均性态而不是最坏情况性态的原则,对SAT的快速算法进行了探讨和 设计.