ECCC-Report TR15-100https://eccc.weizmann.ac.il/report/2015/100Comments and Revisions published for TR15-100en-usFri, 19 Jun 2015 23:10:21 +0300
Paper TR15-100
| Succinct Encodings of Graph Isomorphism |
Bireswar Das,
Patrick Scharpfenecker,
Jacobo Toran
https://eccc.weizmann.ac.il/report/2015/100It is well known that problems encoded with circuits or formulas generally gain an exponential complexity blow-up compared to their original complexity.
We introduce a new way for encoding graph problems, based on $\textrm{CNF}$ or $\textrm{DNF}$ formulas. We show that contrary to the other existing succinct models, there are examples of problems whose complexity does not increase when encoded in the new form, or increases to an intermediate complexity class less powerful than the exponential blow up.
We also study the complexity of the succinct versions of the Graph Isomorphism problem. We show that all the versions are hard for $\textrm{PSPACE}$. Although the exact complexity of these problems is still unknown, we show that under most existing succinct models the different versions of the problem are equivalent. We also give an algorithm for the $\textrm{DNF}$ encoded version of $\textrm{GI}$ whose running time depends only on the size of the succinct representation.Fri, 19 Jun 2015 23:10:21 +0300https://eccc.weizmann.ac.il/report/2015/100