-
Lower General Position in Cartesian Products
Authors:
Eartha Kruft Welton,
Sharif Khudairi,
James Tuite
Abstract:
A subset $S$ of vertices of a graph $G$ is in \emph{general position} if no shortest path in $G$ contains three vertices of $S$. The \emph{general position problem} consists of finding the number of vertices in a largest general position set of $G$, whilst the \emph{lower general position problem} asks for a smallest maximal general position set. In this paper we determine the lower general positi…
▽ More
A subset $S$ of vertices of a graph $G$ is in \emph{general position} if no shortest path in $G$ contains three vertices of $S$. The \emph{general position problem} consists of finding the number of vertices in a largest general position set of $G$, whilst the \emph{lower general position problem} asks for a smallest maximal general position set. In this paper we determine the lower general position numbers of several families of Cartesian products. We also show that the existence of small maximal general position sets in a Cartesian product is connected to a special type of general position set in the factors, which we call a \emph{terminal set}, for which adding any vertex $u$ from outside the set creates three vertices in a line with $u$ as an endpoint. We give a constructive proof of the existence of terminal sets for graphs with diameter at most three. We also present conjectures on the existence of terminal sets for all graphs and a lower bound on the lower general position number of a Cartesian product in terms of the lower general position numbers of its factors.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
On bipartite $(1,1,k)$-mixed graphs
Authors:
C. Dalfó,
G. Erskine,
G. Exoo,
M. A. Fiol,
J. Tuite
Abstract:
Mixed graphs can be seen as digraphs with arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case where such graphs are bipartite and in which the undirected and directed degrees are one. The best graphs, in terms of the number of vertices, are presented for small diameters. Moreover, two infinite families of such graphs with diameter $k$ and number of vertices…
▽ More
Mixed graphs can be seen as digraphs with arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case where such graphs are bipartite and in which the undirected and directed degrees are one. The best graphs, in terms of the number of vertices, are presented for small diameters. Moreover, two infinite families of such graphs with diameter $k$ and number of vertices of the order of $2^{k/2}$ are proposed, one of them being totally regular $(1,1)$-mixed graphs. In addition, we present two more infinite families called chordal ring and chordal double ring mixed graphs, which are bipartite and related to tessellations of the plane. Finally, we give an upper bound that improves the Moore bound for bipartite mixed graphs for $r = z = 1$.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
General position polynomials
Authors:
Vesna Iršič,
Sandi Klavžar,
Gregor Rus,
James Tuite
Abstract:
A subset of vertices of a graph $G$ is a general position set if no triple of vertices from the set lie on a common shortest path in $G$. In this paper we introduce the general position polynomial as $\sum_{i \geq 0} a_i x^i$, where $a_i$ is the number of distinct general position sets of $G$ with cardinality $i$. The polynomial is considered for several well-known classes of graphs and graph oper…
▽ More
A subset of vertices of a graph $G$ is a general position set if no triple of vertices from the set lie on a common shortest path in $G$. In this paper we introduce the general position polynomial as $\sum_{i \geq 0} a_i x^i$, where $a_i$ is the number of distinct general position sets of $G$ with cardinality $i$. The polynomial is considered for several well-known classes of graphs and graph operations. It is shown that the polynomial is not unimodal in general, not even on trees. On the other hand, several classes of graphs, including Kneser graphs $K(n,2)$, with unimodal general position polynomials are presented.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Builder-Blocker General Position Games
Authors:
Sandi Klavžar,
**g Tian,
James Tuite
Abstract:
This paper considers a game version of the general position problem in which a general position set is built through adversarial play. Two players in a graph, Builder and Blocker, take it in turns to add a vertex to a set, such that the vertices of this set are always in general position. The goal of Builder is to create a large general position set, whilst the aim of Blocker is to frustrate Build…
▽ More
This paper considers a game version of the general position problem in which a general position set is built through adversarial play. Two players in a graph, Builder and Blocker, take it in turns to add a vertex to a set, such that the vertices of this set are always in general position. The goal of Builder is to create a large general position set, whilst the aim of Blocker is to frustrate Builder's plans by making the set as small as possible. The game finishes when no further vertices can be added without creating three-in-a-line and the number of vertices in this set is the game general position number. We determine this number for some common graph classes and provide sharp bounds, in particular for the case of trees. We also discuss the effect of changing the order of the players.
△ Less
Submitted 2 July, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Lower General Position Sets in Graphs
Authors:
Gabriele Di Stefano,
Sandi Klavžar,
Aditi Krishnakumar,
James Tuite,
Ismael Yero
Abstract:
A subset $S$ of vertices of a graph $G$ is a \emph{general position set} if no shortest path in $G$ contains three or more vertices of $S$. In this paper, we generalise a problem of M. Gardner to graph theory by introducing the \emph{lower general position number} $\gp ^-(G)$ of $G$, which is the number of vertices in a smallest maximal general position set of $G$. We show that…
▽ More
A subset $S$ of vertices of a graph $G$ is a \emph{general position set} if no shortest path in $G$ contains three or more vertices of $S$. In this paper, we generalise a problem of M. Gardner to graph theory by introducing the \emph{lower general position number} $\gp ^-(G)$ of $G$, which is the number of vertices in a smallest maximal general position set of $G$. We show that ${\rm gp}^-(G) = 2$ if and only if $G$ contains a universal line and determine this number for several classes of graphs, including Kneser graphs $K(n,2)$, line graphs of complete graphs, and Cartesian and direct products of two complete graphs. We also prove several realisation results involving the lower general position number, the general position number and the geodetic number, and compare it with the lower version of the monophonic position number. We provide a sharp upper bound on the size of graphs with given lower general position number. Finally we demonstrate that the decision version of the lower general position problem is NP-complete.
△ Less
Submitted 5 January, 2024; v1 submitted 16 June, 2023;
originally announced June 2023.
-
On large regular (1,1,k)-mixed graphs
Authors:
C. Dalfó,
G. Erskine,
G. Exoo,
M. A. Fiol,
N. López,
A. Messegué,
J. Tuite
Abstract:
An $(r,z,k)$-mixed graph $G$ has every vertex with undirected degree $r$, directed in- and out-degree $z$, and diameter $k$. In this paper, we study the case $r=z=1$, proposing some new constructions of $(1,1,k)$-mixed graphs with a large number of vertices $N$. Our study is based on computer techniques for small values of $k$ and the use of graphs on alphabets for general $k$. In the former case,…
▽ More
An $(r,z,k)$-mixed graph $G$ has every vertex with undirected degree $r$, directed in- and out-degree $z$, and diameter $k$. In this paper, we study the case $r=z=1$, proposing some new constructions of $(1,1,k)$-mixed graphs with a large number of vertices $N$. Our study is based on computer techniques for small values of $k$ and the use of graphs on alphabets for general $k$. In the former case, the constructions are either Cayley or lift graphs. In the latter case, some infinite families of $(1,1,k)$-mixed graphs are proposed with diameter of the order of $2\log_2 N$.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Mutually avoiding Eulerian circuits
Authors:
Grahame Erskine,
Terry Griggs,
Robert Lewis,
James Tuite
Abstract:
Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices an…
▽ More
Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices and the cycles, are not doubly Eulerian. We prove results about doubly Eulerian graphs and identify those that are the `densest' and `sparsest' in terms of the number of edges.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
The maximum Wiener index of a uniform hypergraph
Authors:
Stijn Cambie,
Ervin Győri,
Nika Salia,
Casey Tompkins,
James Tuite
Abstract:
The Wiener index of a (hyper)graph is calculated by summing up the distances between all pairs of vertices. We determine the maximum possible Wiener index of a connected $n$-vertex $k$-uniform hypergraph and characterize for every~$n$ all hypergraphs attaining the maximum Wiener index.
The Wiener index of a (hyper)graph is calculated by summing up the distances between all pairs of vertices. We determine the maximum possible Wiener index of a connected $n$-vertex $k$-uniform hypergraph and characterize for every~$n$ all hypergraphs attaining the maximum Wiener index.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Traversing a graph in general position
Authors:
Sandi Klavžar,
Aditi Krishnakumar,
James Tuite,
Ismael Yero
Abstract:
Let $G$ be a graph. Assume that to each vertex of a set of vertices $S\subseteq V(G)$ a robot is assigned. At each stage one robot can move to a neighbouring vertex. Then $S$ is a mobile general position set of $G$ if there exists a sequence of moves of the robots such that all the vertices of $G$ are visited whilst maintaining the general position property at all times. The mobile general positio…
▽ More
Let $G$ be a graph. Assume that to each vertex of a set of vertices $S\subseteq V(G)$ a robot is assigned. At each stage one robot can move to a neighbouring vertex. Then $S$ is a mobile general position set of $G$ if there exists a sequence of moves of the robots such that all the vertices of $G$ are visited whilst maintaining the general position property at all times. The mobile general position number of $G$ is the cardinality of a largest mobile general position set of $G$. In this paper, bounds on the mobile general position number are given and exact values determined for certain common classes of graphs including block graphs, rooted products, unicyclic graphs, Cartesian products, joins of graphs, Kneser graphs $K(n,2)$, and line graphs of complete graphs.
△ Less
Submitted 21 June, 2024; v1 submitted 26 September, 2022;
originally announced September 2022.
-
On the Vertex Position Number of Graphs
Authors:
Maya Thankachy,
Elias John Thomas,
Ullas Chandran,
James Tuite,
Gabriele Di Stefano,
Grahame Erskine
Abstract:
In this paper we generalise the notion of visibility from a point in an integer lattice to the setting of graph theory. For a vertex $x$ of a connected graph $G$, we say that a set $S \subseteq V(G)$ is an \emph{$x$-position set} if for any $y \in S$ the shortest $x,y$-paths in $G$ contain no point of $S\setminus \{ y\}$. We investigate the largest and smallest orders of maximum $x$-position sets…
▽ More
In this paper we generalise the notion of visibility from a point in an integer lattice to the setting of graph theory. For a vertex $x$ of a connected graph $G$, we say that a set $S \subseteq V(G)$ is an \emph{$x$-position set} if for any $y \in S$ the shortest $x,y$-paths in $G$ contain no point of $S\setminus \{ y\}$. We investigate the largest and smallest orders of maximum $x$-position sets in graphs, determining these numbers for common classes of graphs and giving bounds in terms of the girth, vertex degrees, diameter and radius. Finally we discuss the complexity of finding maximum vertex position sets in graphs.
△ Less
Submitted 19 September, 2022; v1 submitted 1 September, 2022;
originally announced September 2022.
-
On the General Position Number of Mycielskian Graphs
Authors:
Elias John Thomas,
Ullas Chandran,
James Tuite,
Gabriele Di Stefano
Abstract:
The general position problem for graphs was inspired by the no-three-in-line problem from discrete geometry. A set $S$ of vertices of a graph $G$ is a \emph{general position set} if no shortest path in $G$ contains three or more vertices of $S$. The \emph{general position number} of $G$ is the number of vertices in a largest general position set. In this paper we investigate the general position n…
▽ More
The general position problem for graphs was inspired by the no-three-in-line problem from discrete geometry. A set $S$ of vertices of a graph $G$ is a \emph{general position set} if no shortest path in $G$ contains three or more vertices of $S$. The \emph{general position number} of $G$ is the number of vertices in a largest general position set. In this paper we investigate the general position numbers of the Mycielskian of graphs. We give tight upper and lower bounds on the general position number of the Mycielskian of a graph $G$ and investigate the structure of the graphs meeting these bounds. We determine this number exactly for common classes of graphs, including cubic graphs and a wide range of trees.
△ Less
Submitted 30 March, 2024; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Small graphs and hypergraphs of given degree and girth
Authors:
Grahame Erskine,
James Tuite
Abstract:
The search for the smallest possible $d$-regular graph of girth $g$ has a long history, and is usually known as the cage problem. This problem has a natural extension to hypergraphs, where we may ask for the smallest number of vertices in a $d$-regular, $r$-uniform hypergraph of given (Berge) girth $g$. We show that these two problems are in fact very closely linked. By extending the ideas of Cayl…
▽ More
The search for the smallest possible $d$-regular graph of girth $g$ has a long history, and is usually known as the cage problem. This problem has a natural extension to hypergraphs, where we may ask for the smallest number of vertices in a $d$-regular, $r$-uniform hypergraph of given (Berge) girth $g$. We show that these two problems are in fact very closely linked. By extending the ideas of Cayley graphs to the hypergraph context, we find smallest known hypergraphs for various parameter sets. Because of the close link to the cage problem from graph theory, we are able to use these techniques to find new record smallest cubic graphs of girths 23, 24, 28, 29, 30, 31 and 32.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
The structure of digraphs with excess one
Authors:
James Tuite
Abstract:
A digraph $G$ is \emph{$k$-geodetic} if for any (not necessarily distinct) vertices $u,v$ there is at most one directed walk from $u$ to $v$ with length not exceeding $k$. The order of a $k$-geodetic digraph with minimum out-degree $d$ is bounded below by the directed Moore bound $M(d,k) = 1+d+d^2+\dots +d^k$. The Moore bound can be met only in the trivial cases $d = 1$ and $k = 1$, so it is of in…
▽ More
A digraph $G$ is \emph{$k$-geodetic} if for any (not necessarily distinct) vertices $u,v$ there is at most one directed walk from $u$ to $v$ with length not exceeding $k$. The order of a $k$-geodetic digraph with minimum out-degree $d$ is bounded below by the directed Moore bound $M(d,k) = 1+d+d^2+\dots +d^k$. The Moore bound can be met only in the trivial cases $d = 1$ and $k = 1$, so it is of interest to look for $k$-geodetic digraphs with out-degree $d$ and smallest possible order $M(d,k)+ε$, where $ε$ is the \emph{excess} of the digraph. Miller, Miret and Sillasen recently ruled out the existence of digraphs with excess one for $k = 3,4$ and $d \geq 2$ and for $k = 2$ and $d \geq 8$. We conjecture that there are no digraphs with excess one for $d,k \geq 2$ and in this paper we investigate the structure of minimal counterexamples to this conjecture. We severely constrain the possible structures of the outlier function and prove the non-existence of certain digraphs with degree three and excess one, as well closing the open cases $k = 2$ and $d = 3,4,5,6,7$ left by the analysis of Miller et al. We further show that there are no involutary digraphs with excess one, i.e. the outlier function of any such digraph must contain a cycle of length $\geq 3$.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
On networks with order close to the Moore bound
Authors:
James Tuite,
Grahame Erskine
Abstract:
The degree/diameter problem for mixed graphs asks for the largest possible order of a mixed graph with given diameter and degree parameters. Similarly the \emph{degree/geodecity} problem concerns the smallest order of a $k$-geodetic mixed graph with given minimum undirected and directed degrees; this is a generalisation of the classical degree/girth problem. In this paper we present new bounds on…
▽ More
The degree/diameter problem for mixed graphs asks for the largest possible order of a mixed graph with given diameter and degree parameters. Similarly the \emph{degree/geodecity} problem concerns the smallest order of a $k$-geodetic mixed graph with given minimum undirected and directed degrees; this is a generalisation of the classical degree/girth problem. In this paper we present new bounds on the order of mixed graphs with given diameter or geodetic girth and exhibit new examples of directed and mixed geodetic cages. In particular, we show that any $k$-geodetic mixed graph with excess one must have geodetic girth two and be totally regular, thereby proving an earlier conjecture of the authors.
△ Less
Submitted 12 August, 2021;
originally announced August 2021.
-
On some extremal position problems for graphs
Authors:
James Tuite,
Elias John Thomas,
Ullas Chandran S. V.
Abstract:
The general position number of a graph $G$ is the size of the largest set of vertices $S$ such that no geodesic of $G$ contains more than two elements of $S$. The monophonic position number of a graph is defined similarly, but with `induced path' in place of `geodesic'. In this paper we investigate some extremal problems for these parameters. Firstly we discuss the problem of the smallest possible…
▽ More
The general position number of a graph $G$ is the size of the largest set of vertices $S$ such that no geodesic of $G$ contains more than two elements of $S$. The monophonic position number of a graph is defined similarly, but with `induced path' in place of `geodesic'. In this paper we investigate some extremal problems for these parameters. Firstly we discuss the problem of the smallest possible order of a graph with given general and monophonic position numbers. We then determine the asymptotic order of the largest size of a graph with given general or monophonic position number, classifying the extremal graphs with monophonic position number two. Finally we establish the possible diameters of graphs with given order and monophonic position number.
△ Less
Submitted 8 February, 2022; v1 submitted 12 June, 2021;
originally announced June 2021.
-
Turan problems for $k$-geodetic digraphs
Authors:
James Tuite,
Grahame Erskine,
Nika Salia
Abstract:
A digraph $G$ is \emph{$k$-geodetic} if for any pair of (not necessarily distinct) vertices $u,v \in V(G)$ there is at most one walk of length $\leq k$ from $u$ to $v$ in $G$. In this paper we determine the largest possible size of a $k$-geodetic digraph with given order. We then consider the more difficult problem of the largest size of a strongly-connected $k$-geodetic digraph with given order,…
▽ More
A digraph $G$ is \emph{$k$-geodetic} if for any pair of (not necessarily distinct) vertices $u,v \in V(G)$ there is at most one walk of length $\leq k$ from $u$ to $v$ in $G$. In this paper we determine the largest possible size of a $k$-geodetic digraph with given order. We then consider the more difficult problem of the largest size of a strongly-connected $k$-geodetic digraph with given order, solving this problem for $k = 2$ and giving a construction which we conjecture to be extremal for larger $k$. We close with some results on generalised Turán problems for the number of directed cycles and paths in $k$-geodetic digraphs.
△ Less
Submitted 28 March, 2022; v1 submitted 9 February, 2021;
originally announced February 2021.
-
On monophonic position sets in graphs
Authors:
Elias John Thomas,
S. V. Ullas Chandran,
James Tuite,
Gabriele Di Stefano
Abstract:
The general position problem in graph theory asks for the largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. In this paper we consider a variant of the general position problem called the \emph{monophonic position problem}, obtained by replacing `shortest path' by `induced path'. We prove some basic properties and bounds for the mon…
▽ More
The general position problem in graph theory asks for the largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. In this paper we consider a variant of the general position problem called the \emph{monophonic position problem}, obtained by replacing `shortest path' by `induced path'. We prove some basic properties and bounds for the monophonic position number of a graph and determine the monophonic position number of some graph families, including unicyclic graphs, complements of bipartite graphs and split graphs. We show that the monophonic position number of triangle-free graphs is bounded above by the independence number. We present realisation results for the general position number, monophonic position number and monophonic hull number. Finally we discuss the complexity of the monophonic position problem.
△ Less
Submitted 14 December, 2022; v1 submitted 18 December, 2020;
originally announced December 2020.
-
On total regularity of mixed graphs with order close to the Moore bound
Authors:
James Tuite,
Grahame Erskine
Abstract:
The undirected degree/diameter and degree/girth problems and their directed analogues have been studied for many decades in the search for efficient network topologies. Recently such questions have received much attention in the setting of mixed graphs, i.e. networks that admit both undirected \emph{edges} and directed \emph{arcs}. The degree/diameter problem for mixed graphs asks for the largest…
▽ More
The undirected degree/diameter and degree/girth problems and their directed analogues have been studied for many decades in the search for efficient network topologies. Recently such questions have received much attention in the setting of mixed graphs, i.e. networks that admit both undirected \emph{edges} and directed \emph{arcs}. The degree/diameter problem for mixed graphs asks for the largest possible order of a network with diameter $k$, maximum undirected degree $\leq r$ and maximum directed out-degree $\leq z$. It is also of interest to find smallest possible $k$-geodetic mixed graphs with minimum undirected degree $\geq r$ and minimum directed out-degree $\geq z$. A simple counting argument reveals the existence of a natural bound, the \emph{Moore bound}, on the order of such graphs; a graph that meets this limit is a \emph{mixed Moore graph}. Mixed Moore graphs can exist only for $k = 2$ and even in this case it is known that they are extremely rare. It is therefore of interest to search for graphs with order one away from the Moore bound. Such graphs must be out-regular; a much more difficult question is whether they must be totally regular. For $k = 2$, we answer this question in the affirmative, thereby resolving an open problem stated in a recent paper of López and Miret. We also present partial results for larger $k$. We finally put these results to practical use by proving the uniqueness of a 2-geodetic mixed graph with order exceeding the Moore bound by one.
△ Less
Submitted 1 November, 2018;
originally announced November 2018.
-
On diregular digraphs with degree two and excess three
Authors:
James Tuite
Abstract:
Moore digraphs, that is digraphs with out-degree $d$, diameter $k$ and order equal to the Moore bound $M(d,k) = 1 + d + d^2 + \dots +d^k$, arise in the study of optimal network topologies. In an attempt to find digraphs with a `Moore-like' structure, attention has recently been devoted to the study of small digraphs with minimum out-degree $d$ such that between any pair of vertices $u,v$ there is…
▽ More
Moore digraphs, that is digraphs with out-degree $d$, diameter $k$ and order equal to the Moore bound $M(d,k) = 1 + d + d^2 + \dots +d^k$, arise in the study of optimal network topologies. In an attempt to find digraphs with a `Moore-like' structure, attention has recently been devoted to the study of small digraphs with minimum out-degree $d$ such that between any pair of vertices $u,v$ there is at most one directed path of length $\leq k$ from $u$ to $v$; such a digraph has order $M(d,k)+ε$ for some small excess $ε$. Sillasen et al. have shown that there are no digraphs with out-degree two and excess one. The present author has classified all digraphs with out-degree two and excess two. In this paper it is proven that there are no diregular digraphs with out-degree two and excess three for $k \geq 3$, thereby providing the first classification of digraphs with order three away from the Moore bound for a fixed out-degree.
△ Less
Submitted 28 June, 2021; v1 submitted 29 September, 2017;
originally announced October 2017.
-
Large Cayley graphs of small diameter
Authors:
Grahame Erskine,
James Tuite
Abstract:
The degree-diameter problem seeks to find the largest possible number of vertices in a graph having given diameter and given maximum degree. Very often the problem is studied for restricted families of graph such as vertex-transitive or Cayley graphs, with the goal being to find a family of graphs with good asymptotic properties. In this paper we restrict attention to Cayley graphs, and study the…
▽ More
The degree-diameter problem seeks to find the largest possible number of vertices in a graph having given diameter and given maximum degree. Very often the problem is studied for restricted families of graph such as vertex-transitive or Cayley graphs, with the goal being to find a family of graphs with good asymptotic properties. In this paper we restrict attention to Cayley graphs, and study the asymptotics by fixing a small diameter and constructing families of graphs of large order for all values of the maximum degree. Much of the literature in this direction is focused on the diameter two case. In this paper we consider larger diameters, and use a variety of techniques to derive new best asymptotic constructions for diameters 3, 4 and 5 as well as an improvement to the general bound for all odd diameters. Our diameter 3 construction is, as far as we know, the first to employ matrix groups over finite fields in the degree-diameter problem.
△ Less
Submitted 12 April, 2018; v1 submitted 8 August, 2017;
originally announced August 2017.
-
On diregular digraphs with degree two and excess two
Authors:
James Tuite
Abstract:
An important topic in the design of efficient networks is the construction of $(d,k,+ε)$-digraphs, i.e. $k$-geodetic digraphs with minimum out-degree $\geq d$ and order $M(d,k)+ ε$, where $M(d,k)$ represents the Moore bound for degree $d$ and diameter $k$ and $ε> 0$ is the (small) excess of the digraph. Previous work has shown that there are no $(2,k,+1)$-digraphs for $k \geq 2$. In a separate pap…
▽ More
An important topic in the design of efficient networks is the construction of $(d,k,+ε)$-digraphs, i.e. $k$-geodetic digraphs with minimum out-degree $\geq d$ and order $M(d,k)+ ε$, where $M(d,k)$ represents the Moore bound for degree $d$ and diameter $k$ and $ε> 0$ is the (small) excess of the digraph. Previous work has shown that there are no $(2,k,+1)$-digraphs for $k \geq 2$. In a separate paper, the present author has shown that any $(2,k,+2)$-digraph must be diregular for $k \geq 2$. In the present work, this analysis is completed by proving the nonexistence of diregular $(2,k,+2)$-digraphs for $k \geq 3$ and classifying diregular $(2,2,+2)$-digraphs up to isomorphism.
△ Less
Submitted 29 September, 2017; v1 submitted 28 April, 2017;
originally announced May 2017.
-
Digraphs with degree two and excess two are diregular
Authors:
James Tuite
Abstract:
A $k$-geodetic digraph with minimum out-degree $d$ has excess $ε$ if it has order $M(d,k) + ε$, where $M(d,k)$ represents the Moore bound for out-degree $d$ and diameter $k$. For given $ε$, it is simple to show that any such digraph must be out-regular with degree $d$ for sufficiently large $d$ and $k$. However, proving in-regularity is in general non-trivial. It has recently been shown that any d…
▽ More
A $k$-geodetic digraph with minimum out-degree $d$ has excess $ε$ if it has order $M(d,k) + ε$, where $M(d,k)$ represents the Moore bound for out-degree $d$ and diameter $k$. For given $ε$, it is simple to show that any such digraph must be out-regular with degree $d$ for sufficiently large $d$ and $k$. However, proving in-regularity is in general non-trivial. It has recently been shown that any digraph with excess $ε= 1$ must be diregular. In this paper we prove that digraphs with minimum out-degree $d = 2$ and excess $ε= 2$ are diregular for $k \geq 2$.
△ Less
Submitted 1 February, 2019; v1 submitted 25 March, 2017;
originally announced March 2017.