Title: Graph Reconstruction Conjecture
1Graph Reconstruction Conjecture
2Graph Reconstruction Conjecture
- Proposed by S.M. Ulan P.J. Kelly in 1941
- The conjecture states that every graph with at
least 3 vertices is reconstructible a graph G is
reconstructible if it is defined by its
vertex-deleted subgraphs.
3Definitions
DECK the multi-subset of vertex-deleted
subgraphs of G
CARD a vertex-deleted subgraph of G
(we do not worry about graphs that are different
through labelling nodes differently, but are
isomorphic)
4Graph reconstruction
Can we obtain G from D(G)?
5Graph reconstruction
Can we obtain G from D(G)?
6Graph Reconstruction Conjecture
- Every graph with at least three vertices is
reconstructible - Unproven
- Verified for regular graphs (graphs in which all
vertices have same number of edges). - Verified for all graphs with at most 11 vertices.
- Bollobás Used probability to show that almost
all graphs are reconstructible probability that
a randomly chosen graph with n vertices is not
reconstructible approaches zero as n approaches
infinity. - For almost all graphs, there exist 3 cards that
uniquely determine the graph.
7Reconstruction Number
- ?rn(G)
- The number of cards required to reconstruct the
original graph. - gt 2 because at least 2 different graphs can be
generated from a deck of 2 (difference between
the 2 graphs is 1 edge)
8Reconstruction Number Logic
- Get all cards of a given deck
- Extend the cards
- The intersection of the extended cards is the
solution - Conjecture ?rn(G) is at most (n/2 1)
- Bollobás used proof via probability to prove
?rn(G) is at least 3
9Finding Reconstruction Number
- Get all cards of a given deck
10Finding Reconstruction Number
- Get all cards of a given deck
- Extend the cards
gt
gt
gt
11Finding Reconstruction Number
- Get all cards of a given deck
- Extend the cards
- The intersection of the extended cards is the
solution
gt
gt
gt
12- Proven generally not reconstructible
- Digraphs (AKA Directed graph)
- Hypergraphs edges can connect to any number of
vertices. - Infinite Graphs Infinitely many vertices and/or
edges