我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:六合报码室 > 多项式时间 >

SAT数学题-进制算法

归档日期:06-27       文本归类:多项式时间      文章编辑:爱尚语录

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  摘要 本文我们介绍如何利用限位数理论,通过子句消去法算法(CEASP),在O(nk+1)多项式算法时间复杂度来求解SAT问题满足解。SAT问题可以用二进制数码以表的形式表达出来。我们借助于限位数理论文中定义变量唯一解和它的可选解概念,基于它们我们可以求出SAT问题的满足解。本文提出了一些新的概念,给出了一些重要的定理并给出了证明。CEASP是求解SAT问题完备性算法。我已经设计了3-SAT计算机程序(CEASP)而且经过测试没有错误。

  关键词 CEASP 限位数 i-子句块 变量可选解 算法时间复杂度 多项式

  P与NP问题是计算机科学中尚未解决的巨大问题。攻破P=NP问题,NP完全问题的概念十分重要。NP完全问题是一个问题的集合,它们之间可以在多项式时间相互归约。任何一个NP问题都可以转成NP完全问题,形式上,NP完全问题是一个NP问题,它至少象其它NP问题一样具有代表性。依据库克.史提芬定理,任何一个NP问题都可以在多项式时间内,机械地转化成布尔可满足性问题(SAT)。布尔可满足性问题是一个NP完全问题。如果布尔可满足性问题有多项式时间算法,则它是P问题,必然导致有P=NP的结论。

本文链接:http://barstaffuk.com/duoxiangshishijian/733.html