
A regular graph is strongly regular if there exist integers
so that every pair of adjacent vertices have exactly
common neighbors, and every pair of nonadjacent vertices have exactly
common neighbors. To eliminate degeneracies, we shall further assume that
. If
is
-regular and
, then we say that
is a
strongly regular graph.
There are exactly seven triangle-free strongly regular graphs known: The five cycle, the Petersen Graph, The Clebsch Graph, the Hoffman-Singleton Graph, The Gewirtz Graph, the Higman-Sims Graph, and a strongly regular subgraph of the Higman-Sims graph. Every Moore Graph of diameter 2 is a triangle-free strongly regular graph, so if there is a 57-regular Moore Graph of diameter 2, this would add another to the list.
See Andries Brouwer's graph descriptions for more on these graphs.
Bibliography
[G] C. D. Godsil, Problems in Algebraic Combinatorics, Electronic Journal of Combinatorics, Volume 2, F1
* indicates original appearance(s) of problem.