姜咏江 我确信子句消去法是快速求出 SAT 问题满足解的唯一方法。子句消去法是一个多项式时间的算法，我已经在科学网上介绍了它完整的证明，我有十足的把握，没有人能够推翻它。 由于 SAT 问题直接能够运用到超大规模集成电路化简、生物基因计算、博弈决策、密码破译、人工智能、计算机系统设计等诸多方面， ...
深入研究子句消去法 姜咏江 多项式 C n k +C n k-1 +...+C n 1 +C n 0 与 2 n 相差多少？其实，只要 k=n ，那么前者就是后者。只有当 k 为常数的时侯，多项式与指数时间复杂度才有明显的时间效益。 k 为常整数，求由比 k 少的逻辑变量取值形成子句间与运算表达式结果为真值，就是 SAT 问题。如今 SAT 问题 ...
博文
视频
基金
相册
收藏
积分
会议