Abstract
A Boolean constraint satisfaction instance is a set of constraint applications where the allowed constraints are drawn from a fixed set C of Boolean functions. We consider the problem of determining whether two given constraint satisfaction instances are equivalent and prove a dichotomy theorem by showing that for all finite sets C of constraints, this problem is either polynomial-time solvable or coNP-complete, and we give a simple criterion to determine which case holds. A more general problem addressed in this paper is the isomorphism problem, the problem of determining whether there exists a renaming of the variables that makes two given constraint satisfaction instances equivalent in the above sense. We prove that this problem is coNP-hard if the corresponding equivalence problem is coNP-hard, and polynomial-time many-one reducible to the graph isomorphism problem in all other cases.
Supported in part by grant NSF-INT-9815095/DAAD-315-PPP-gü-ab.
Supported in part by an RIT FEAD grant. Work done in part while visiting Julius-Maximilians-Universität Würzburg.
Work done in part while employed at Julius-Maximilians-Universität Würzburg.
Work done in part while employed at Julius-Maximilians-Universität Würzburg.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Agrawal and T. Thierauf. The formula isomorphism problem. SIAM Journal on Computing, 30(3):990–1009, 2000.
K.S. Booth and C. J. Colbourn. Problems polynomially equivalent to graph isomorphism. Technical Report CS-77-01, University of Waterloo, 1979.
S. Buss and L. Hay. On truth-table reducibility to SAT. Information and Computation, 90(2):86–102, 1991.
B. Borchert, D. Ranjan, and F. Stephan. On the computational complexity of some classical equivalence relations on Boolean functions. Theory of Computing Systems, 31:679–693, 1998.
N. Creignou and M. Hermann. Complexity of generalized satisfiability counting problems. Information and Computation, 125:1–12, 1996.
N. Creignou and J.-J. Hébrard. On generating all solutions of generalized satisfiability problems. Informatique Théorique et Applications /Theoretical Informatics and Applications, 31(6):499–511, 1997.
N. Creignou, S. Khanna, and M. Sudan. Complexity Classifications of Boolean Constraint Satisfaction Problems. Monographs on Discrete Applied Mathematics. SIAM, 2000.
N. Creignou. A dichotomy theorem for maximum generalized satisfiability problems. Journal of Computer and System Sciences, 51:511–522, 1995.
T. Eiter and G. Gottlob. Identifying the minimal transversals of a hypergraph and related problems. SIAM Journal on Computing, 24(6):1278–1304, 1995.
M. Fontet. Automorphismes de graphes et planarité. In Asterisque, pages 73–90. 1976.
L. Hemachandra. The strong exponential hierarchy collapses. Journal of Computer and System Sciences, 39(3):299–322, 1989.
L. M. Kirousis and P. G. Kolaitis. The complexity of minimal satisfiability problems. In Proceedings 18th Symposium on Theoretical Aspects of Computer Science, volume 2010, pages 407–418. Springer Verlag, 2001.
J. Köbler, U. Schöning, and J. Torán. The Graph Isomorphism Problem: its Structureal Complexity. Progress in Theoretical Computer Science. Birkhäuser, 1993.
S. Khanna, M. Sudan, L. Trevisan, and D. Williamson. The approximability of constraint satisfaction problems. SIAM Journal on Computing, 30(6):1863–1920, 2001.
R. Ladner. On the structure of polynomial-time reducibility. Journal of the ACM, 22:155–171, 1975.
E. L. Post. Two-valued iterative systems of mathematical logic. In Annals of Math. Studies, volume 5. Princeton University Press, 1941.
C. Papadimitriou and S. Zachos. Two remarks on the power of counting. In Proceedings 6th GI Conference on Theoretical Computer Science, volume 145 of Lecture Notes in Computer Science, pages 269–276. Springer Verlag, 1983.
S. Reith. Generalized Satisfiability Problems. PhD thesis, University of Würzburg, 2001.
S. Reith and H. Vollmer. Optimal satisfiability for propositional calculi and constraint satisfaction problems. In Proceedings 25th International Symposium on Mathematical Foundations of Computer Science, volume 1893 of Lecture Notes in Computer Science, pages 640–649. Springer Verlag, 2000.
S. Reith and K.W. Wagner. The complexity of problems defined by Boolean circuits. Technical Report 255, Institut für Informatik, Universität Würzburg, 2000. To appear in Proceedings International Conference Mathematical Foundation of Informatics, Hanoi, October 25–28, 1999.
T. J. Schaefer. The complexity of satisfiability problems. In Proccedings 10th Symposium on Theory of Computing, pages 216–226. ACM Press, 1978
J. Torán. On the hardness of graph isomorphism. In Proceedings 41st Foundations of Computer Science, pages 180–186, 2000.
K. Wagner. Bounded query classes. SIAM Journal on Computing, 19(5):833–846, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Böhler, E., Hemaspaandra, E., Reith, S., Vollmer, H. (2002). Equivalence and Isomorphism for Boolean Constraint Satisfaction. In: Bradfield, J. (eds) Computer Science Logic. CSL 2002. Lecture Notes in Computer Science, vol 2471. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45793-3_28
Download citation
DOI: https://doi.org/10.1007/3-540-45793-3_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44240-0
Online ISBN: 978-3-540-45793-0
eBook Packages: Springer Book Archive