Complexity results in graph reconstruction

We investigate the relative complexity of the graph isomorphism problem (GI) and problems related to the reconstruction of a graph from its vertex-deleted or edge-deleted subgraphs (in particular, deck checking (DC) and legitimate deck (LD) problems). We show that these problems are closely related for all amounts c>=1 of deletion:(1)GI="i"s"o^lVDC"c, GI="i"s"o^lEDC"c, GI= =2, GI="i"s"o^pk-VDC"c and GI="i"s"o^pk-EDC"c. (3)For all k>=2, GI= =2, GI="i"s"o^pk-LED"c. For many of these results, even the c=1 case was not previously known. Similar to the definition of reconstruction numbers vrn"@?(G) [F. Harary, M. Plantholt, The graph reconstruction number, J. Graph Theory 9 (1985) 451-454] and ern"@?(G) (see [J. Lauri, R. Scapellato Topics in Graph Automorphism and Reconstruction, London Mathematical Society, Cambridge University Press, Cambridge, 2003, p. 120]), we introduce two new graph parameters, vrn"@?(G) and ern"@?(G), and give an example of a family {G"n}"n">="4 of graphs on n vertices for which vrn"@?(G"n)=2 and n>=1, we show that there exists a collection of k graphs on (2^k^-^1+1)n+k vertices with 2^n 1-vertex-preimages, i.e., one has families of graph collections whose number of 1-vertex-preimages is huge relative to the size of the graphs involved.

[1]  Uwe Schöning,et al.  A Low and a High Hierarchy within NP , 1983, J. Comput. Syst. Sci..

[2]  Lane A. Hemaspaandra,et al.  Threshold Computation and Cryptographic Security , 1993, ISAAC.

[3]  Vikraman Arvind,et al.  New Lowness Results for ZPPNP and Other Complexity Classes , 2002, J. Comput. Syst. Sci..

[4]  Frank Harary,et al.  The Reconstruction of a Tree from its Maximal Subtrees , 1966, Canadian Journal of Mathematics.

[5]  Kellogg S. Booth,et al.  Isomorphism Testing for Graphs, Semigroups, and Finite Automata Are Polynomially Equivalent Problems , 1978, SIAM J. Comput..

[6]  F. Harary,et al.  The theory of graphs and its applications , 1963 .

[7]  Juris Hartmanis,et al.  On Isomorphisms and Density of NP and Other Complete Sets , 1977, SIAM J. Comput..

[8]  Lane A. Hemaspaandra,et al.  The Complexity Theory Companion , 2002, Texts in Theoretical Computer Science An EATCS Series.

[9]  Claude Berge,et al.  The theory of graphs and its applications , 1962 .

[10]  J. Lauri,et al.  Topics in Graph Automorphisms and Reconstruction , 2003 .

[11]  Robert L. Hemminger,et al.  Graph reconstruction - a survey , 1977, J. Graph Theory.

[12]  J. A. Bondy,et al.  On Ulam’s conjecture for separable graphs , 1969 .

[13]  J. Köbler,et al.  The Graph Isomorphism Problem: Its Structural Complexity , 1993 .

[14]  Silvio Micali,et al.  Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems , 1991, JACM.

[15]  J. A. Bondy,et al.  Surveys in Combinatorics, 1991: “A Graph Reconstructor's Manual” , 1991 .

[16]  Shafi Goldwasser,et al.  Private coins versus public coins in interactive proof systems , 1986, STOC '86.

[17]  L. Beineke,et al.  Selected Topics in Graph Theory 2 , 1985 .

[18]  James Andrew Kadin Restricted Turing reducibilities and the structure of the polynomial time hierarchy , 1988 .

[19]  Wendy Myrvold The ally-reconstruction number of a tree with five or more vertices is three , 1990, J. Graph Theory.

[20]  Roger M. Bryant On a conjecture concerning the reconstruction of graphs , 1971 .

[21]  B. M. Fulk MATH , 1992 .

[22]  Frank Harary,et al.  The graph reconstruction number , 1985, J. Graph Theory.

[23]  P. Kelly A congruence theorem for trees. , 1957 .

[24]  Desh Ranjan,et al.  On randomized reductions to sparse sets , 1992, [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference.

[25]  Jan Roček,et al.  The Czechoslovak Academy of Sciences , 1968 .

[26]  S. Ulam A collection of mathematical problems , 1960 .

[27]  A. Lozano,et al.  On the nonuniform complexity of the graph isomorphism problem , 1992, [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference.

[28]  Stuart A. Kurtz,et al.  Gap-Definable Counting Classes , 1994, J. Comput. Syst. Sci..

[29]  Anthony Mansfield,et al.  THE RELATIONSHIP BETWEEN THE COMPUTATIONAL COMPLEXITIES OF THE LEGITIMATE DECK AND ISOMORPHISM PROBLEMS , 1982 .

[30]  Robert Molina The edge reconstruction number of a disconnected graph , 1995, J. Graph Theory.

[31]  Václav Nýdl,et al.  Graph reconstruction from subgraphs , 2001, Discret. Math..

[32]  Robert L. Hemminger,et al.  On reconstructing a graph , 1969 .

[33]  American Journal of Mathematics , 1886, Nature.

[34]  Dieter Kratsch,et al.  On the complexity of graph reconstruction , 1991, Mathematical systems theory.

[35]  Vikraman Arvind,et al.  New lowness results for ZPP (NP) and other complexity classes , 2002 .

[36]  Jacobo Torán,et al.  The graph isomorphism problem , 2020, Commun. ACM.

[37]  H. Whitney Congruent Graphs and the Connectivity of Graphs , 1932 .

[38]  Josef Lauri Proof of Harary's conjecture on the reconstruction of trees , 1983, Discret. Math..

[39]  Vikraman Arvind,et al.  Graph Isomorphism is in SPP , 2006, Inf. Comput..

[40]  Juris Hartmanis,et al.  On Log-Tape Isomorphisms of Complete Sets , 1978, Theor. Comput. Sci..

[41]  W. T. Tutte The reconstruction problem in graph theory , 1977 .

[42]  Uwe Schning GRAPH ISOMORPHISM IS IN THE LOW HIERARCHY , 2022 .

[43]  D. Lipman,et al.  The multiple sequence alignment problem in biology , 1988 .

[44]  Frank Harary,et al.  Graph Theory , 2016 .

[45]  J. F. Lawless An Investigation of Bhattacharya-Type Designs , 1971, J. Comb. Theory, Ser. A.

[46]  A. Meyers Reading , 1999, Language Teaching.

[47]  Bennet Manvel,et al.  Some basic observations on Kelly's conjecture for graphs , 1974, Discret. Math..