On the complexity of graph reconstruction

Abstract

In the wake of the resolution of the four color conjecture, the graph reconstruction conjecture has emerged as one focal point of graph theory. This paper considers the computational complexity of decisions problems (deck checking and legitimate deck), the construction problems (preimage construction), and counting problems (preimage counting) related to the graph reconstruction conjecture. We show that: 1 deck checking ℓ m graph isomorphism ℓ m legitimate deck, and 2 if the graph reconstruction conjecture holds, then graph isomorphism ≡iso/l deck checking. Relatedly, we display the first natural GI-hard NP set lacking obvious padding functions. Finally, we show that legitimate deck, preimage construction, and preimage counting are solvable in polynomial time on planar graphs, graphs with bounded genus, and partial k-trees for fixed k.KeywordsPolynomial TimePlanar GraphGraph ClassGraph IsomorphismOuterplanar GraphThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.