A dichotomy theorem for maximum generalized satisfiability problems
Journal of Computer and System Sciences - Special issue on selected papers presented at the 24th annual ACM symposium on the theory of computing (STOC '92)
Complexity of generalized satisfiability counting problems
Information and Computation
The Inverse Satisfiability Problem
SIAM Journal on Computing
Complexity classifications of boolean constraint satisfaction problems
Complexity classifications of boolean constraint satisfaction problems
The Approximability of Constraint Satisfaction Problems
SIAM Journal on Computing
A Dichotomy Theorem for Constraints on a Three-Element Set
FOCS '02 Proceedings of the 43rd Symposium on Foundations of Computer Science
The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The complexity of minimal satisfiability problems
Information and Computation
Exponential bounds for DPLL below the satisfiability threshold
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
A new look at survey propagation and its generalizations
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
On the solution-space geometry of random constraint satisfaction problems
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
A Complete Classification of the Complexity of Propositional Abduction
SIAM Journal on Computing
The complexity of game dynamics: BGP oscillations, sink equilibria, and beyond
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?
Complexity of Constraints
Reconfiguration of List Edge-Colorings in a Graph
WADS '09 Proceedings of the 11th International Symposium on Algorithms and Data Structures
Finding Paths between graph colourings: PSPACE-completeness and superpolynomial distances
Theoretical Computer Science
On the boolean connectivity problem for horn relations
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
On the Boolean connectivity problem for Horn relations
Discrete Applied Mathematics
Finding paths between graph colourings: pspace-completeness and superpolynomial distances
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |
Given a Boolean formula, do its solutions form a connected subgraph of the hypercube? This and other related connectivity considerations underlie recent work on random Boolean satisfiability. We study connectivity properties of the space of solutions of Boolean formulas, and establish computational and structural dichotomies. Specifically, we first establish a dichotomy theorem for the complexity of the st-connectivity problem for Boolean formulas in Schaefer's framework. Our result asserts that the tractable side is more generous than the tractable side in Schaefer's dichotomy theorem for satisfiability, while the intractable side is PSPACE-complete. For the connectivity problem, we establish a dichotomy along the same boundary between membership in coNP and PSPACE-completeness. Furthermore, we establish a structural dichotomy theorem for the diameter of the connected components of the solution space: for the PSPACE-complete cases, the diameter can be exponential, but in all other cases it is linear. Thus, small diameter and tractability of the st-connectivity problem are remarkably aligned.