Groups | Search | Server Info | Login | Register
| From | Jack Muller <Just_A_ManFUCKSPAM@mein.SPAMFUCKgmx> |
|---|---|
| Newsgroups | japan.sci.math |
| Subject | Upper bound on the number of simple rooted directed graphs on π vertices? |
| Date | 2020-01-15 18:10 +0100 |
| Organization | Aioe.org NNTP Server |
| Message-ID | <qvnh1k$lgr$11@gioia.aioe.org> (permalink) |
Harary considers in "The number of linear, directed, rooted, and
connected graphs" (among other problems) the cases of rooted undirected
graphs and unrooted directed graphs. 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 so far.
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 0s 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 japan.sci.math | Previous | Next | Find similar
Upper bound on the number of simple rooted directed graphs on π vertices? Jack Muller <Just_A_ManFUCKSPAM@mein.SPAMFUCKgmx> - 2020-01-15 18:10 +0100
csiph-web