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 information can be encoded by strictly upper triangular matrices over . This gives possibilities.
-
()
The number of isomorphisms from a graph to a graph is equal to the number of automorphisms of (or ). Therefore the total number of isomorphisms between two graphs is no more than – the total number of permutations of the vertices of . Therefore the total number of non-isomorphic simple graphs on vertices is at 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 enumeration Academic Press, New York, 1973, pp. xiv+271, 05C30, MR MR0357214 (50 #9682)
Title | enumerating graphs |
---|---|
Canonical name | EnumeratingGraphs |
Date of creation | 2013-03-22 15:50:07 |
Last modified on | 2013-03-22 15:50:07 |
Owner | Algeboy (12884) |
Last modified by | Algeboy (12884) |
Numerical id | 6 |
Author | Algeboy (12884) |
Entry type | Theorem |
Classification | msc 05C30 |
Related topic | EnumeratingGroups |