Computer Science – Computational Complexity
Scientific paper
2000-05-31
Computer Science
Computational Complexity
A (slightly) revised version of the paper submitted to the 15th IEEE Conference on Computational Complexity
Scientific paper
Phase transitions in combinatorial problems have recently been shown to be useful in locating "hard" instances of combinatorial problems. The connection between computational complexity and the existence of phase transitions has been addressed in Statistical Mechanics and Artificial Intelligence, but not studied rigorously. We take a step in this direction by investigating the existence of sharp thresholds for the class of generalized satisfiability problems defined by Schaefer. In the case when all constraints are clauses we give a complete characterization of such problems that have a sharp threshold. While NP-completeness does not imply (even in this restricted case) the existence of a sharp threshold, it "almost implies" this, since clausal generalized satisfiability problems that lack a sharp threshold are either 1. polynomial time solvable, or 2. predicted, with success probability lower bounded by some positive constant by across all the probability range, by a single, trivial procedure.
No associations
LandOfFree
Computational Complexity and Phase Transitions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Computational Complexity and Phase Transitions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computational Complexity and Phase Transitions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-362116