DMTCS Proceedings, 2007 Conference on Analysis of Algorithms, AofA 07

Font Size:  Small  Medium  Large

Expected number of locally maximal solutions for random Boolean CSPs

Nadia Creignou, Hervé Daudé, Olivier Dubois

Abstract


For a large number of random Boolean constraint satisfaction problems, such as random k-SAT, we study how the number of locally maximal solutions evolves when constraints are added. We give the exponential order of the expected number of these distinguished solutions and prove it depends on the sensitivity of the allowed constraint functions only. As a by-product we provide a general tool for computing an upper bound of the satisfiability threshold for any problem of a large class of random Boolean CSPs.

Full Text: GZIP Compressed PostScript PostScript PDF

Valid XHTML 1.0 Transitional