arXiv++ Combinatorics

A graph is reconstructible if it is determined up to isomorphism from the collection of all its one-vertex-deleted subgraphs, known as the deck of G. The Reconstruction Conjecture (RC) posits that every finite simple graph with at least three vertices is reconstructible. In this paper, we prove that the class of graphs with domination number $γ(G)=2$ is recognizable from the deck $D(G)$. We also establish a new reduction of the RC: it holds if and only if all $2$-connected graphs $G$ with $γ(G)=2$ or $\operatorname{diam}(G)=\operatorname{diam}(\overline{G})=2$ are reconstructible. To aid reconstruction, we introduce two new parameters: $dv(G,k_1,k_2,k_3)$, which counts the number of non-adjacent vertex pairs in $G$ with $k_1$ common neighbours, $k_2$ neighbours exclusive to the first vertex, and $k_3$ exclusive to the second; and $dav(G,k_1,k_2,k_3)$, defined analogously for adjacent pairs. For connected graphs with at least $12$ vertices and $γ(G)\geq 3$, we show these parameters are reconstructible from $D(G)$ via recursive equations and induction. Finally, we prove that $k$-geodetic graphs of diameter two with $γ(G),γ(\overline{G})\geq 3$ are reconstructible under conditions where a vertex degree matches the size of a specific subset derived from these parameters.

An edge deleted unlabeled subgraph of a graph G is an ecard. A da-ecard specifies the degree of the deleted edge along with the ecard. The degree associated edge reconstruction number of a graph G, dern(G), is the size of the smallest collection of da-ecards of G that uniquely determines G. The adversary degree associated edge reconstruction number of a graph G, adern(G), is the minimum number k such that every collection of k da-ecards of G uniquely determines G. A strong double broom is the graph on at least 5 vertices obtained from a union of (at least two) internally vertex disjoint paths with same ends u and v by appending leaves at u and v. In particular, B(n, n,mPk) is the strong double broom with n leaves at both the ends u and v and with m internally vertex disjoint paths of order k joining u and v. We show that dern of strong double brooms is 1 or 2. We also determine adern(B(n, n,mPk)). It is 3 in most of the cases and 1 or 2 for all the remaining cases, except adern(B(1, 1, 2Pk)) = 5 for k > 3.