Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Exponential Bounds for DPLL Below the Satisfiability Threshold Dimitris Achlioptas
 

Summary: Exponential Bounds for DPLL Below the Satisfiability Threshold
Dimitris Achlioptas
Paul Beame
Michael Molloy
Abstract
For each k 4, we give rk > 0 such that a random
k-CNF formula F with n variables and rkn clauses
is satisfiable with high probability, but ordered-dll
takes exponential time on F with uniformly positive
probability. Using results of [2], this can be strength-
ened to a high probability result for certain natu-
ral backtracking schemes and extended to many other
DPLL algorithms.
1 Previous work
In the last twenty years a significant amount of work
has been devoted to the study of randomly generated
satisfiability instances and the performance of different
algorithms on them. Historically, a major motivation
for studying random instances has been the desire to
understand the hardness of "typical" instances. Indeed,

  

Source: Achlioptas, Dimitris - Department of Computer Engineering, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences