Copy the page URI to the clipboard
Tuite, James
(2022).
DOI: https://doi.org/10.21954/ou.ro.00014335
Abstract
We consider three problems in extremal graph theory, namely the degree/diameter problem, the degree/geodecity problem and Turn problems, in the context of directed and partially directed graphs.
A directed graph or mixed graph is -geodetic if there is no pair of vertices of such that there exist distinct non-backtracking walks with length in from to . The order of a -geodetic digraph with minimum out-degree is bounded below by the ; similarly the order of a -geodetic mixed graph with minimum undirected degree and minimum directed out-degree is bounded below by the . We will be interested in networks with order exceeding the Moore bound by some small .
The asks for the smallest possible order of a -geodetic digraph or mixed graph with given degree parameters. We prove the existence of extremal graphs, which we call , and provide some bounds on their order and information on their structure.
We discuss the structure of digraphs with excess one and rule out the existence of certain digraphs with excess one. We then classify all digraphs with out-degree two and excess two, as well as all diregular digraphs with out-degree two and excess three. We also present the first known non-trivial examples of geodetic cages.
We then generalise this work to the setting of mixed graphs. First we address the question of the total regularity of mixed graphs with order close to the Moore bound and prove bounds on the order of mixed graphs that are not totally regular. In particular using spectral methods we prove a conjecture of Lpez and Miret that mixed graphs with diameter two and order one less than the Moore bound are totally regular.
Using counting arguments we then provide strong bounds on the order of totally regular -geodetic mixed graphs and use these results to derive new extremal mixed graphs.
Finally we change our focus and study the Turn problem of the largest possible size of a -geodetic digraph with given order. We solve this problem and also prove an exact expression for the restricted problem of the largest possible size of strongly connected -geodetic digraphs, as well as providing constructions of strongly connected -geodetic digraphs that we conjecture to be extremal for larger . We close with a discussion of some related generalised Turn problems for -geodetic digraphs.