This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
41st Annual Symposium on Foundations of Computer Science
Optimal myopic algorithms for random 3-SAT
Redondo Beach, California
November 12-November 14
ISBN: 0-7695-0850-2
D. Achioptas, Microsoft Res., Redmond, WA, USA
G.B. Sorkin, Microsoft Res., Redmond, WA, USA
Let F/sub 3/(n,m) be a random 3-SAT formula formed by selecting uniformly, independently and with replacement, m clauses among all 8(/sup n/C/sub 3/) possible 3-clauses over n variables. It has been conjectured that there exists a constant r/sub 3/ such that, for any /spl epsiv/<0, F/sub 3/[n,(r/sub 3/-/spl epsiv/)n] is almost surely satisfiable, but F/sub 3/[n,(r/sub 3/+/spl epsiv/)n] is almost surely unsatisfiable. The best lower bounds for the potential value of r/sub 3/ have come form analyzing rather simple extensions of unit-clause propagation. It was shown by D. Achlioptas (2000) that all these extensions can be cast in a common framework and analyzed in a uniform manner by employing differential equations. We determine optimal algorithms that are expressible in that framework, establishing r/sub 3/<3.26. We extend the analysis via differential equations, and make extensive use of a new optimization problem that we call the "max-density multiple-choice knapsack" problem. The structure of optimal knapsack solutions elegantly characterizes the choices made by an optimal algorithm.
Index Terms:
computability; optimisation; differential equations; randomised algorithms; satisfiability; optimal myopic algorithms; random 3-SAT formula; 3-clauses; lower bounds; unit-clause propagation extensions; differential equations; expressible algorithms; optimization problem; max-density multiple-choice knapsack problem; optimal knapsack solution structure
Citation:
D. Achioptas, G.B. Sorkin, "Optimal myopic algorithms for random 3-SAT," focs, pp.590, 41st Annual Symposium on Foundations of Computer Science, 2000
Usage of this product signifies your acceptance of the Terms of Use.