SAT问题多项式时间算法一个稳定的NP问题算法研究.pdf

SAT问题多项式时间算法一一个稳定的NP问题算法 崔刚 Email 沈阳大学信息工程学院，沈阳，110044 i§Ⅲ￡二￡gQ!§3：￡Qg 摘要：本文基于逻辑代数的反向运算和对tt变元的等级划分规则给出了一种分级赋值求解 SAT问题的多项式时阔算法。这种方法根据逻辑代数中基本逻辑运算的特点，赋予由执行这 些基本逻辑运算的反向运算而得到的自变元的值以相应的等级，并且通过由拥有高等级的自 变元修正低等级自变元相应值的方法得出问题的确定解。这种方法在包括最坏情况下的时间 复杂度为0(n)。 关键字： SAT问题：逻辑代数；分级赋值：多项式时间算法． CuiGang Email Shenyang，110044，Chinai§皿￡：gg@!§≥：￡Q国) Callbe Abstract：lineartime discussed we by polynomialSAT-problem logicalcircuit，which atrue we of can WecaII when a knowif aequirooutput isa get inputs，It group NP—problem． worldhad with Scientiststheentire this methods．Include solvingproblemmany search，DP device，MSRA tempe*,localalgorithm，random geno-algorithm，lost algorithm， will itwith and discuss a SOOil．this base onthe grade-Val∞assignment paper algorithm．It ofthe and roleofthe ofthis logic oppositeapplication algebragrading figure．Theadvantage It includestwo is 2Asanuntruedefinite method