关于（k，s）-SAT临界函数上下界研究.pdfVIP

摘要 僻，s)一SAT是命题满足性问题限制在一类特殊的命题公式上，该命题公式具有每个子句 只有k个不同的文字且每个变元出现的次数少于S次的特点。已经验明对于正整数k，s， 存在一个指数函数，，满足：对任意ss，作)，所有的(女，5)一SAT例都是可满足的，而 (七，，∞)+1)一SAT却是一个NP一完全问题。于是我们称，(．)为关于仲，s)一SAT的临界函数。 到目前为止，只知道，(3)和，(4)的精确值。对于，(．)是否可计算是一个仍未解决的问题a 因此，对该l临界函数的上下界研究是具有理论意义的。目前，关于，(．)的最好上下界分别为 Q(才／k)和D(矿／扩)，其中a—log；一I--0．26。 由于每个满足某种条件的数值序列(阶梯序列)对应一个hfU(1)中的公式，在文献[SS] 从而得到了函数，(．)的可计算上界函数。但该方法是不确定的且不太实用。 本文主要有以下两方面贡献： (1)在临界函数的上界方面，基于文献[SS]的思想，本文提出了一个树规则以及基于 该规则的计算上界的确定性算法。该树规则可以显著的减少阶梯数值序列的计算步骤，这使 得新算法比文献[SS]的算法更实用。而得到的界却能接近文献[SS]所得的。此外，运用该算 法，得到了一些NP一完全问题类。 (2)在临界函数的下界方面，本文提出了一个随机算法。对于任意一个(七，8)一CNF中 stic 的公式，该算法能随机产生一个赋值。再通过运用概率方法(Probabilimethod)及局 Local 部引理(LovdszLemma)，本文证明了，对任意∞，+)一CNF中的公式，如果该公式的子 句数小于。．58√去2‘，则公式是可满足的。同时还得到了临界函数，(．)的新下界 Q(J去批卜 ． 关键词：SAT，(t，s)一CNF，极小不可满足公式，概率方法，随机算法 中图分类号0142 Abstract isthe satisfiablerestrictedtoinstanceswhereeach problem (k，s)一SATpropositional clausehas literalsand variableoccursatmost8times．Itis exactly七distinctevery existsan thatfor8 knownthatthere function，such exponential S，(七)，all(七，s)一 SAT are is instances satisfiable，but(七，，(七)+1)一SATalready knownfor We flmction．Exactvalues k=3and term，(．)critical of，areonly it’S theboundsof ％=4，andopenwhether，iscomputable．Thus，tostudy f(k)is lower oftheoreticalresearchsenses．Thebestknownand boundson upper f(k