-
Graph Burning On Large $p$-Caterpillars
Authors:
Danielle Cox,
M. E. Messinger,
Kerry Ojakian
Abstract:
Graph burning models the spread of information or contagion in a graph. At each time step, two events occur: neighbours of already burned vertices become burned, and a new vertex is chosen to be burned. The big conjecture is known as the {\it burning number conjecture}: for any connected graph on $n$ vertices, all $n$ vertices can be burned after at most $\lceil \sqrt{n}\ \rceil$ time steps. It is…
▽ More
Graph burning models the spread of information or contagion in a graph. At each time step, two events occur: neighbours of already burned vertices become burned, and a new vertex is chosen to be burned. The big conjecture is known as the {\it burning number conjecture}: for any connected graph on $n$ vertices, all $n$ vertices can be burned after at most $\lceil \sqrt{n}\ \rceil$ time steps. It is well-known that to prove the conjecture, it suffices to prove it for trees. We prove the conjecture for sufficiently large $p$-caterpillars.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
The 2-burning number of a graph
Authors:
C. B. Jacobs,
M. E. Messinger,
A. N. Trenk
Abstract:
We study a discrete-time model for the spread of information in a graph, motivated by the idea that people believe a story when they learn of it from two different origins. Similar to the burning number, in this problem, information spreads in rounds and a new source can appear in each round. For a graph $G$, we are interested in $b_2(G)$, the minimum number of rounds until the information has spr…
▽ More
We study a discrete-time model for the spread of information in a graph, motivated by the idea that people believe a story when they learn of it from two different origins. Similar to the burning number, in this problem, information spreads in rounds and a new source can appear in each round. For a graph $G$, we are interested in $b_2(G)$, the minimum number of rounds until the information has spread to all vertices of graph $G$. We are also interested in finding $t_2(G)$, the minimum number of sources necessary so that the information spreads to all vertices of $G$ in $b_2(G)$ rounds. In addition to general results, we find $b_2(G)$ and $t_2(G)$ for the classes of spiders and wheels and show that their behavior differs with respect to these two parameters. We also provide examples and prove upper bounds for these parameters for Cartesian products of graphs.
△ Less
Submitted 13 November, 2024; v1 submitted 4 November, 2024;
originally announced November 2024.
-
Discrete-time immunization number
Authors:
N. E. Clarke,
K. L. Collins,
M. E. Messinger,
A. N. Trenk,
A. Vetta
Abstract:
We introduce a discrete-time immunization version of the SEIS compartment model of infection by a contagious disease, with an extended latency and protective period. The population is modeled by a graph $H$ where vertices represent individuals and edges exist between individuals with close connections. Our objective is to clear the population of infection while minimizing the maximum number of imm…
▽ More
We introduce a discrete-time immunization version of the SEIS compartment model of infection by a contagious disease, with an extended latency and protective period. The population is modeled by a graph $H$ where vertices represent individuals and edges exist between individuals with close connections. Our objective is to clear the population of infection while minimizing the maximum number of immunizations that occur at each time-step. We prove that this minimum is bounded above by a natural function of the pathwidth of $H$. In addition to our general results, we also focus on the case where the latency and protective periods last for one time-step. In this case, we characterize graphs that require only one immunization per time-step, provide a useful tool for proving lower bounds, and show that, for any tree $T$, there is a subdivision of $T$ that requires at most two immunizations per time-step.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
Cops and Attacking Robbers with Cycle Constraints
Authors:
Alexander Clow,
Melissa A. Huggan,
M. E. Messinger
Abstract:
This paper considers the Cops and Attacking Robbers game, a variant of Cops and Robbers, where the robber is empowered to attack a cop in the same way a cop can capture the robber. In a graph $G$, the number of cops required to capture a robber in the Cops and Attacking Robbers game is denoted by $\attCop(G)$. We characterise the triangle-free graphs $G$ with $\attCop(G) \leq 2$ via a natural gene…
▽ More
This paper considers the Cops and Attacking Robbers game, a variant of Cops and Robbers, where the robber is empowered to attack a cop in the same way a cop can capture the robber. In a graph $G$, the number of cops required to capture a robber in the Cops and Attacking Robbers game is denoted by $\attCop(G)$. We characterise the triangle-free graphs $G$ with $\attCop(G) \leq 2$ via a natural generalisation of the cop-win characterisation by Nowakowski and Winkler \cite{nowakowski1983vertex}. We also prove that all bipartite planar graphs $G$ have $\attCop(G) \leq 4$ and show this is tight by constructing a bipartite planar graph $G$ with $\attCop(G) = 4$. Finally we construct $17$ non-isomorphic graphs $H$ of order $58$ with $\attCop(H) = 6$ and $\cop(H)=3$. This provides the first example of a graph $H$ with $\attCop(H) - \cop(H) \geq 3$ extending work by Bonato, Finbow, Gordinowicz, Haidar, Kinnersley, Mitsche, Prałat, and Stacho \cite{bonato2014robber}. We conclude with a list of conjectures and open problems.
△ Less
Submitted 5 August, 2024;
originally announced August 2024.
-
Eulerian $k$-dominating reconfiguration graphs
Authors:
M. E. Messinger,
A. Porter
Abstract:
For a graph $G$, the vertices of the $k$-dominating graph, denoted $\mathcal{D}_k(G)$, correspond to the dominating sets of $G$ with cardinality at most $k$. Two vertices of $\mathcal{D}_k(G)$ are adjacent if and only if the corresponding dominating sets in $G$ can be obtained from one other by adding or removing a single vertex of $G$. Since $\mathcal{D}_k(G)$ is not necessarily connected when…
▽ More
For a graph $G$, the vertices of the $k$-dominating graph, denoted $\mathcal{D}_k(G)$, correspond to the dominating sets of $G$ with cardinality at most $k$. Two vertices of $\mathcal{D}_k(G)$ are adjacent if and only if the corresponding dominating sets in $G$ can be obtained from one other by adding or removing a single vertex of $G$. Since $\mathcal{D}_k(G)$ is not necessarily connected when $k < |V(G)|$, much research has focused on conditions under which $\mathcal{D}_k(G)$ is connected and recent work has explored the existence of Hamilton paths in the $k$-dominating graph. We consider the complementary problem of determining the conditions under which the $k$-dominating graph is Eulerian. In the case where $k = |V(G)|$, we characterize those graphs $G$ for which $\mathcal{D}_k(G)$ is Eulerian. In the case where $k$ is restricted, we determine for a number of graph classes, the conditions under which the $k$-dominating graph is Eulerian.
△ Less
Submitted 9 January, 2025; v1 submitted 16 April, 2024;
originally announced April 2024.
-
Eternal distance-k domination on graphs
Authors:
Danielle Cox,
Erin Meger,
M. E. Messinger
Abstract:
Eternal domination is a dynamic process by which a graph is protected from an infinite sequence of vertex intrusions. In eternal distance-$k$ domination, guards initially occupy the vertices of a distance-$k$ dominating set. After a vertex is attacked, guards ``defend'' by each moving up to distance $k$ to form a distance-$k$ dominating set, such that some guard occupies the attacked vertex. The e…
▽ More
Eternal domination is a dynamic process by which a graph is protected from an infinite sequence of vertex intrusions. In eternal distance-$k$ domination, guards initially occupy the vertices of a distance-$k$ dominating set. After a vertex is attacked, guards ``defend'' by each moving up to distance $k$ to form a distance-$k$ dominating set, such that some guard occupies the attacked vertex. The eternal distance-$k$ domination number of a graph is the minimum number of guards needed to defend against any sequence of attacks. The process is well-studied for the situation where $k=1$. We introduce eternal distance-$k$ domination for $k > 1$.
Determining whether a given set is an eternal distance-$k$ domination set is in EXP, and in this paper we provide a number of results for paths and cycles, and relate this parameter to graph powers and domination in general. For trees we use decomposition arguments to bound the eternal distance-$k$ domination numbers, and solve the problem entirely in the case of perfect $m$-ary trees.
△ Less
Submitted 18 November, 2022; v1 submitted 8 April, 2021;
originally announced April 2021.
-
Hyperopic Cops and Robbers
Authors:
A. Bonato,
N. E. Clarke,
D. Cox,
S. Finbow,
F. Mc Inerney,
M. E. Messinger
Abstract:
We introduce a new variant of the game of Cops and Robbers played on graphs, where the robber is invisible unless outside the neighbor set of a cop. The hyperopic cop number is the corresponding analogue of the cop number, and we investigate bounds and other properties of this parameter. We characterize the cop-win graphs for this variant, along with graphs with the largest possible hyperopic cop…
▽ More
We introduce a new variant of the game of Cops and Robbers played on graphs, where the robber is invisible unless outside the neighbor set of a cop. The hyperopic cop number is the corresponding analogue of the cop number, and we investigate bounds and other properties of this parameter. We characterize the cop-win graphs for this variant, along with graphs with the largest possible hyperopic cop number. We analyze the cases of graphs with diameter 2 or at least 3, focusing on when the hyperopic cop number is at most one greater than the cop number. We show that for planar graphs, as with the usual cop number, the hyperopic cop number is at most 3. The hyperopic cop number is considered for countable graphs, and it is shown that for connected chains of graphs, the hyperopic cop density can be any real number in $[0,1/2].$
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
A Variation on Chip-Firing: the diffusion game
Authors:
C. Duffy,
T. F. Lidbetter,
M. E. Messinger,
R. J. Nowakowski
Abstract:
We introduce a natural variant of the parallel chip-firing game, called the diffusion game. Chips are initially assigned to vertices of a graph. At every step, all vertices simultaneously send one chip to each neighbour with fewer chips. As the dynamics of the parallel chip-firing game occur on a finite set the process is inherently periodic. However the diffusion game is not obviously periodic: e…
▽ More
We introduce a natural variant of the parallel chip-firing game, called the diffusion game. Chips are initially assigned to vertices of a graph. At every step, all vertices simultaneously send one chip to each neighbour with fewer chips. As the dynamics of the parallel chip-firing game occur on a finite set the process is inherently periodic. However the diffusion game is not obviously periodic: even if $2|E(G)|$ chips are assigned to vertices of graph G, there may exist time steps where some vertices have a negative number of chips. We investigate the process, prove periodicity for a number of graph classes, and pose some questions for future research.
△ Less
Submitted 15 January, 2018; v1 submitted 19 September, 2016;
originally announced September 2016.
-
Bounding the search number of graph products
Authors:
N. E. Clarke,
M. E. Messinger,
G. Power
Abstract:
In this paper, we provide results for the search number of the Cartesian product of graphs. We consider graphs on opposing ends of the spectrum: paths and cliques. Our main result determines the pathwidth of the product of cliques and provides a lower bound for the search number of the product of cliques. A consequence of this result is a bound for the search number of arbitrary graphs G and H bas…
▽ More
In this paper, we provide results for the search number of the Cartesian product of graphs. We consider graphs on opposing ends of the spectrum: paths and cliques. Our main result determines the pathwidth of the product of cliques and provides a lower bound for the search number of the product of cliques. A consequence of this result is a bound for the search number of arbitrary graphs G and H based on their respective clique numbers.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
A note on bounds for the cop number using tree decompositions
Authors:
Anthony Bonato,
N. E. Clarke,
S. Finbow,
S. Fitzpatrick,
M. E. Messinger
Abstract:
In this short note, we supply a new upper bound on the cop number in terms of tree decompositions. Our results in some cases extend a previously derived bound on the cop number using treewidth.
In this short note, we supply a new upper bound on the cop number in terms of tree decompositions. Our results in some cases extend a previously derived bound on the cop number using treewidth.
△ Less
Submitted 13 August, 2013;
originally announced August 2013.
