子句消去法求k-SAT满足解.PDFVIP

子句消去法求 k-SAT 满足解 姜咏江 （对外经济贸易大学 北京 中国 100013） （供同行讨论2016-11-3 ） 摘 要 本文将 k-SAT 问题用表格式表达，用限位数理论和方法找出了k-CNF 特有规律，用作者发明的变量唯一解消去法，能够在多项 式时间求出 k-SAT 的满足解。算法通过证明和大量k-SAT 问题实例检验正确无误。 关键词 k-SAT 子句消去法 限位数 多项式时间 反子句 中图法分类号 TP301.6 O158 Remove-Clause method for solving k-SAT Satisfied Answer JIANG Yong-Jiang