By Topic

Optimal myopic algorithms for random 3-SAT

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Achioptas, D. ; Microsoft Res., Redmond, WA, USA ; Sorkin, G.B.

Let F3(n,m) be a random 3-SAT formula formed by selecting uniformly, independently and with replacement, m clauses among all 8(nC3) possible 3-clauses over n variables. It has been conjectured that there exists a constant r3 such that, for any ε>0, F3[n,(r3-ε)n] is almost surely satisfiable, but F3[n,(r3+ε)n] is almost surely unsatisfiable. The best lower bounds for the potential value of r3 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 r3 >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

Published in:

Foundations of Computer Science, 2000. Proceedings. 41st Annual Symposium on

Date of Conference: