enumerating graphs
How many graphs are there?
Proposition 1.
The number of non-isomorphic simple graphs on vertices, denoted , satisfies
Proof.
- ()
Every simple graph on vertices can be encoded by a symmetric matrix
with all entries from and with ’s on the diagonal
. Therefore the informationcan be encoded by strictly upper triangular matrices over . Thisgives possibilities.
- ()
The number of isomorphisms
from a graph to a graph is equal to the number ofautomorphisms of (or ). Therefore the total number of isomorphisms between twographs is no more than – the total number of permutations
of the vertices of. Therefore the total number of non-isomorphic simple graphs on vertices isat least .
∎
- •
The gap between the bounds is superexponential in :that is: . However logarithmically the estimate is tight:
- •
is closer to the lower bound; yet, most graphs have few automorphisms.
- •
is monotonically increasing.
References
- 1 Harary, Frank and Palmer, Edgar M.Graphical enumerationAcademic Press, New York, 1973, pp. xiv+271, 05C30, MR MR0357214 (50 #9682)