A characterization of Johnson and Hamming graphs and proof of Babai's conjecture.

Published in: J. Comb. Theory, Ser. B (2021)

Keyphrases

graph structure
distance measure
directed graph
graph databases
hamming distance
graph matching
graph theory
theorem prover
graph clustering
subgraph isomorphism
data mining
data structure
graph construction
series parallel
mathematical proofs