Discrete Mathematics & Theoretical Computer Science

DMTCS

Volume 6 n° 2 (2004), pp. 425-436


author:Puyhaubert, Vincent
title:Generating functions and the satisfiability threshold
keywords:First moment method, exponential generating functions, saddle-point bounds
abstract:The 3-SAT problem consists in determining if a boolean formula with 3 literals per clause is satisfiable. When the ratio between the number of clauses and the number of variables increases, a threshold phenomenon is observed: the probability of satisfiability appears to decrease sharply from 1 to 0 in the neighbourghood of a threshold value, conjectured to be close to 4.25. Although the threshold has been proved to exist for the 2-SAT formulæ and for closely related problems like 3-XORSAT, there is still no proof for the 3-SAT problem. Recent works have provided so far upper and lower bounds for the threshold's potential location. We present here a unified approach to upper bounds that is based on urn models, generating functions, and saddle-point bounds. In this way, we re-derive some of the most significant upper bounds known in a simple and uniform manner.

If your browser does not display the abstract correctly (because of the different mathematical symbols) you can look it up in the PostScript or PDF files.

reference: Puyhaubert, Vincent (2004), Generating functions and the satisfiability threshold, Discrete Mathematics and Theoretical Computer Science 6, pp. 425-436
bibtex:For a corresponding BibTeX entry, please consider our BibTeX-file.
ps.gz-source:dm060216.ps.gz (59 K)
ps-source:dm060216.ps (160 K)
pdf-source:dm060216.pdf (109 K)

The first source gives you the `gzipped' PostScript, the second the plain PostScript and the third the format for the Adobe accrobat reader. Depending on the installation of your web browser, at least one of these should (after some amount of time) pop up a window for you that shows the full article. If this is not the case, you should contact your system administrator to install your browser correctly.

Due to limitations of your local software, the two formats may show up differently on your screen. If eg you use xpdf to visualize pdf, some of the graphics in the file may not come across. On the other hand, pdf has a capacity of giving links to sections, bibliography and external references that will not appear with PostScript.


Automatically produced on Thu Oct 14 21:52:57 CEST 2004 by falk