Transitive graphs uniquely determined by their local structure
  We show that the "grandfather graph" has the following property: it is the unique completion to a transitive graph of a large enough finite subgraph of itself. 
Joshua Frisch and Omer Tamuz
math.GR math.MG