Groups | Search | Server Info | Login | Register
Groups > ucb.class.math1a > #1
| From | Jack Muller <Just_A_ManFUCKSPAM@mein.SPAMFUCKgmx> |
|---|---|
| Newsgroups | ucb.class.math1a |
| Subject | Upper bound on the number of simple rooted directed graphs on π vertices? |
| Date | 2020-01-15 21:24 +0100 |
| Organization | Aioe.org NNTP Server |
| Message-ID | <qvnsep$f71$1@gioia.aioe.org> (permalink) |
Harary mentioned this problem in "The number of linear, directed,
rooted, and connected graphs" on p. 455, l. 3β5, but a short and crisp
expression for an upper bound is missing. I believe that someone must
have computed a good upper bound on the number of rooted directed graphs
up to isomorphism, but I failed to find a literature reference. Could
anyone help? In this question, we consider only simple graphs, which
have no multiple edges or graph loops (corresponding to a binary
adjacency matrix with zeroes on the diagonal). Two rooted directed
graphs are considered the same iff there is a bijection between the
vertices that induces an orientation-preserving bijection on the edges
and sends the root of one graph to the root of the other.
Here is the formalization of the setup.
In the following, a directed rooted graph is a triple (π,πΈ,π) where
π is a set, πΈβπΓπ, and πβπ. We call such a rooted directed graph
simple iff βπ₯βπ:(π₯,π₯)βπΈ.
We call rooted directed graphs (π,πΈ,π) and (πΜ
,πΈΜ
,πΜ
) isomorphic
iff there is a bijection π:πβͺπΜ
such that π(π)=πΜ
and
πΈΜ
={(π(π₯),π(π₯β²))|(π₯,π₯β²)βπΈ}.
What would be a good closed-form upper bound on the maximal number of
pairwise nonisomorphic rooted simple directed graphs on π vertices (πβββ)?
Ideally, the upper bound should be elementary expressible using the
operations (in this priority) exponentiation, factorial, multiplication,
addition, division, subtraction, binomial, and multinomial.
Literature references are welcome.
Back to ucb.class.math1a | Find similar
Upper bound on the number of simple rooted directed graphs on π vertices? Jack Muller <Just_A_ManFUCKSPAM@mein.SPAMFUCKgmx> - 2020-01-15 21:24 +0100
csiph-web