Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR96-032 | 12th March 1996 00:00

The Boolean Isomorphism Problem

RSS-Feed




TR96-032
Authors: Manindra Agrawal, Thomas Thierauf
Publication: 13th May 1996 16:45
Downloads: 1193
Keywords: 


Abstract:

We investigate the computational complexity of the Boolean Isomorphism problem (BI):
on input of two Boolean formulas F and G decide whether there exists a permutation of
the variables of G such that F and G become equivalent.

Our main result is a one-round interactive proof for $\overline{BI}$, where the Verifier
has access to an NP oracle. To obtain this, we use a recent result from learning theory
by Bshouty et.al. that Boolean formulas can be learned probabilistically with equivalence
queries and access to an NP oracle. As a consequence, BI cannot be $\Sigma_2^p$ complete
unless the Polynomial Hierarchy collapses. This solves an open problem posed in Borchert
et.al.

Further properties of BI are shown: BI has And- and Or-functions, the counting version,
#BI, can be computed in polynomial time relative to BI, and BI is self-reducible.



ISSN 1433-8092 | Imprint