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 |