Abstract.
The paper analyzes in terms of polynomial time many-one reductions the computational complexity of several natural equivalence relations on Boolean functions which derive from replacing variables by expressions, one of them is the Boolean isomorphism relation. Most of these computational problems turn out to be between co-NP and \(\Sigma\) p 2 .
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received July 1996, and in final form March 1998.
Rights and permissions
About this article
Cite this article
Borchert, B., Ranjan, D. & Stephan, F. On the Computational Complexity of Some Classical Equivalence Relations on Boolean Functions . Theory Comput. Systems 31, 679–693 (1998). https://doi.org/10.1007/s002240000109
Issue Date:
DOI: https://doi.org/10.1007/s002240000109