Showing 1–8 of 8 results for author: MacGillivray, G

A dichotomy theorem for $Γ$-switchable $H$-colouring on $m$-edge coloured graphs

Authors: Richard Brewster, Arnott Kidner, Gary MacGillivray

Abstract: Let $G$ be a graph in which each edge is assigned one of the colours $1, 2, \ldots, m$, and let $Γ$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ of $G$ with respect to an element $π$ of $Γ$ permutes the colours of the edges incident with $x$ according to $π$. We investigate the complexity of whether there exists a sequence of switches that transforms a given $m$-edge coloured… ▽ More Let $G$ be a graph in which each edge is assigned one of the colours $1, 2, \ldots, m$, and let $Γ$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ of $G$ with respect to an element $π$ of $Γ$ permutes the colours of the edges incident with $x$ according to $π$. We investigate the complexity of whether there exists a sequence of switches that transforms a given $m$-edge coloured graph $G$ so that it has a colour-preserving homomorphism to a fixed $m$-edge coloured graph $H$ and give a dichotomy theorem in the case that $Γ$ acts transitively. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 14 pages, 2 figures

MSC Class: 05C15 05C60 68R10

Fractional eternal domination: securely distributing resources across a network

Authors: Fnu Devvrit, Aaron Krim-Yee, Nithish Kumar, Gary MacGillivray, Ben Seamone, Virgélot Virgile, AnQi Xu

Abstract: This paper initiates the study of fractional eternal domination in graphs, a natural relaxation of the well-studied eternal domination problem. We study the connections to flows and linear programming in order to obtain results on the complexity of determining the fractional eternal domination number of a graph $G$, which we denote $γ_{\,\textit{f}}^{\infty}(G)$. We study the behaviour of… ▽ More This paper initiates the study of fractional eternal domination in graphs, a natural relaxation of the well-studied eternal domination problem. We study the connections to flows and linear programming in order to obtain results on the complexity of determining the fractional eternal domination number of a graph $G$, which we denote $γ_{\,\textit{f}}^{\infty}(G)$. We study the behaviour of $γ_{\,\textit{f}}^{\infty}(G)$ as it relates to other domination parameters. We also determine bounds on, and in some cases exact values for, $γ_{\,\textit{f}}^{\infty}(G)$ when $G$ is a member of one of a variety of important graph classes, including trees, split graphs, strongly chordal graphs, Kneser graphs, abelian Cayley graphs, and graph products. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 32 pages, including appendix

MSC Class: 05C57; 05C69; 05C72; 05C21; 90C05; 91A24; 49N75

Homomorphically Full Oriented Graphs

Authors: Thomas Bellitto, Christopher Duffy, Gary MacGillivray

Abstract: Homomorphically full graphs are those for which every homomorphic image is isomorphic to a subgraph. We extend the definition of homomorphically full to oriented graphs in two different ways. For the first of these, we show that homomorphically full oriented graphs arise as quasi-transitive orientations of homomorphically full graphs. This in turn yields an efficient recognition and construction a… ▽ More Homomorphically full graphs are those for which every homomorphic image is isomorphic to a subgraph. We extend the definition of homomorphically full to oriented graphs in two different ways. For the first of these, we show that homomorphically full oriented graphs arise as quasi-transitive orientations of homomorphically full graphs. This in turn yields an efficient recognition and construction algorithms for these homomorphically full oriented graphs. For the second one, we show that the related recognition problem is GI-hard, and that the problem of deciding if a graph admits a homomorphically full orientation is NP-complete. In doing so we show the problem of deciding if two given oriented cliques are isomorphic is GI-complete. △ Less

Submitted 12 September, 2023; v1 submitted 23 August, 2022; originally announced August 2022.

MSC Class: 05C60; 05C20; 68Q17

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (October 2, 2023) dmtcs:9957

Eternal Domination and Clique Covering

Authors: Gary MacGillivray, C. M. Mynhardt, Virgélot Virgile

Abstract: We study the relationship between the eternal domination number of a graph and its clique covering number using both large-scale computation and analytic methods. In doing so, we answer two open questions of Klostermeyer and Mynhardt. We show that the smallest graph having its eternal domination number less than its clique covering number has $10$ vertices. We determine the complete set of $10$-ve… ▽ More We study the relationship between the eternal domination number of a graph and its clique covering number using both large-scale computation and analytic methods. In doing so, we answer two open questions of Klostermeyer and Mynhardt. We show that the smallest graph having its eternal domination number less than its clique covering number has $10$ vertices. We determine the complete set of $10$-vertex and $11$-vertex graphs having eternal domination numbers less than their clique covering numbers. We show that the smallest triangle-free graph with this property has order $13$, as does the smallest circulant graph. We describe a method to generate an infinite family of triangle-free graphs and an infinite family of circulant graphs with eternal domination numbers less than their clique covering numbers. We also consider planar graphs and cubic graphs. Finally, we show that for any integer $k \geq 2$ there exist infinitely many graphs having domination number and eternal domination number equal to $k$ containing dominating sets which are not eternal dominating sets. △ Less

Submitted 21 February, 2022; v1 submitted 19 October, 2021; originally announced October 2021.

Comments: 21 pages, submitted for publication

MSC Class: 05C69

Colourings of $(m, n)$-coloured mixed graphs

Authors: Gary MacGillivray, Shahla Nasserasr, Feiran Yang

Abstract: A mixed graph is, informally, an object obtained from a simple undirected graph by choosing an orientation for a subset of its edges. A mixed graph is $(m, n)$-coloured if each edge is assigned one of $m \geq 0$ colours, and each arc is assigned one of $n \geq 0$ colours. Oriented graphs are $(0, 1)$-coloured mixed graphs, and 2-edge-coloured graphs are $(2, 0)$-coloured mixed graphs. We show that… ▽ More A mixed graph is, informally, an object obtained from a simple undirected graph by choosing an orientation for a subset of its edges. A mixed graph is $(m, n)$-coloured if each edge is assigned one of $m \geq 0$ colours, and each arc is assigned one of $n \geq 0$ colours. Oriented graphs are $(0, 1)$-coloured mixed graphs, and 2-edge-coloured graphs are $(2, 0)$-coloured mixed graphs. We show that results of Sopena for vertex colourings of oriented graphs, and of Kostochka, Sopena and Zhu for vertex colourings oriented graphs and 2-edge-coloured graphs, are special cases of results about vertex colourings of $(m, n)$-coloured mixed graphs. Both of these can be regarded as a version of Brooks' Theorem. △ Less

Submitted 26 October, 2022; v1 submitted 18 October, 2020; originally announced October 2020.

Comments: 7 pages, no figures

MSC Class: 05C15

Oriented Colourings of Graphs with Maximum Degree Three and Four

Authors: Christopher Duffy, Gary MacGillivray, Eric Sopena

Abstract: We show that any orientation of a graph with maximum degree three has an oriented 9-colouring, and that any orientation of a graph with maximum degree four has an oriented 69-colouring. These results improve the best known upper bounds of 11 and 80, respectively. We show that any orientation of a graph with maximum degree three has an oriented 9-colouring, and that any orientation of a graph with maximum degree four has an oriented 69-colouring. These results improve the best known upper bounds of 11 and 80, respectively. △ Less

Submitted 13 December, 2018; originally announced December 2018.

MSC Class: 05C20

Complexity of locally-injective homomorphisms to tournaments

Authors: Stefan Bard, Thomas Bellitto, Christopher Duffy, Gary MacGillivray, Feiran Yang

Abstract: For oriented graphs $G$ and $H$, a homomorphism $f: G \rightarrow H$ is locally-injective if, for every $v \in V(G)$, it is injective when restricted to some combination of the in-neighbourhood and out-neighbourhood of $v$. Two of the possible definitions of local-injectivity are examined. In each case it is shown that the associated homomorphism problem is NP-complete when $H$ is a reflexive tour… ▽ More For oriented graphs $G$ and $H$, a homomorphism $f: G \rightarrow H$ is locally-injective if, for every $v \in V(G)$, it is injective when restricted to some combination of the in-neighbourhood and out-neighbourhood of $v$. Two of the possible definitions of local-injectivity are examined. In each case it is shown that the associated homomorphism problem is NP-complete when $H$ is a reflexive tournament on three or more vertices with a loop at every vertex, and solvable in polynomial time when $H$ is a reflexive tournament on two or fewer vertices. △ Less

Submitted 22 November, 2018; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: 22 pages, 16 figures

MSC Class: 05C15

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (November 30, 2018) dmtcs:4021

A Study of $k$-dipath Colourings of Oriented Graphs

Authors: Christopher Duffy, Gary MacGillivray, Éric Sopena

Abstract: We examine $t$-colourings of oriented graphs in which, for a fixed integer $k \geq 1$, vertices joined by a directed path of length at most $k$ must be assigned different colours. A homomorphism model that extends the ideas of Sherk for the case $k=2$ is described. Dichotomy theorems for the complexity of the problem of deciding, for fixed $k$ and $t$, whether there exists such a $t$-colouring are… ▽ More We examine $t$-colourings of oriented graphs in which, for a fixed integer $k \geq 1$, vertices joined by a directed path of length at most $k$ must be assigned different colours. A homomorphism model that extends the ideas of Sherk for the case $k=2$ is described. Dichotomy theorems for the complexity of the problem of deciding, for fixed $k$ and $t$, whether there exists such a $t$-colouring are proved. △ Less

Submitted 23 January, 2018; v1 submitted 28 May, 2016; originally announced May 2016.

Comments: 14 pages

MSC Class: 05C15; 05C20; 05C60 ACM Class: F.2.2; G.2.2

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (February 1, 2018) dmtcs:1520