Showing 1–11 of 11 results for author: Seamone, B

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

Few hamiltonian cycles in graphs with one or two vertex degrees

Authors: Jan Goedgebeur, Jorik Jooken, On-Hei Solomon Lo, Ben Seamone, Carol T. Zamfirescu

Abstract: We fully disprove a conjecture of Haythorpe on the minimum number of hamiltonian cycles in regular hamiltonian graphs, thereby extending a result of Zamfirescu, as well as correct and complement Haythorpe's computational enumerative results from [Experim. Math. 27 (2018) 426-430]. Thereafter, we use the Lovász Local Lemma to extend Thomassen's independent dominating set method. Regarding the limit… ▽ More We fully disprove a conjecture of Haythorpe on the minimum number of hamiltonian cycles in regular hamiltonian graphs, thereby extending a result of Zamfirescu, as well as correct and complement Haythorpe's computational enumerative results from [Experim. Math. 27 (2018) 426-430]. Thereafter, we use the Lovász Local Lemma to extend Thomassen's independent dominating set method. Regarding the limitations of this method, we answer a question of Haxell, Seamone, and Verstraete, and settle the first open case of a problem of Thomassen. Motivated by an observation of Aldred and Thomassen, we prove that for every $κ\in \{ 2, 3 \}$ and any positive integer $k$, there are infinitely many non-regular graphs of connectivity $κ$ containing exactly one hamiltonian cycle and in which every vertex has degree $3$ or $2k$. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Further results on Hendry's Conjecture

Authors: Manuel Lafond, Ben Seamone, Rezvan Sherkati

Abstract: Recently, a conjecture due to Hendry was disproved which stated that every Hamiltonian chordal graph is cycle extendible. Here we further explore the conjecture, showing that it fails to hold even when a number of extra conditions are imposed. In particular, we show that Hendry's Conjecture fails for strongly chordal graphs, graphs with high connectivity, and if we relax the definition of "cycle e… ▽ More Recently, a conjecture due to Hendry was disproved which stated that every Hamiltonian chordal graph is cycle extendible. Here we further explore the conjecture, showing that it fails to hold even when a number of extra conditions are imposed. In particular, we show that Hendry's Conjecture fails for strongly chordal graphs, graphs with high connectivity, and if we relax the definition of "cycle extendible" considerably. We also consider the original conjecture from a subtree intersection model point of view, showing that a result of Abuieda et al is nearly best possible. △ Less

Submitted 16 August, 2022; v1 submitted 14 July, 2020; originally announced July 2020.

Comments: 9 pages, 2 figures. The results in this manuscript were originally presented at the Canadian Discrete and Algorithmic Mathematics Conference (CanaDAM) in 2015. v2: Edited to acknowledge recent similar results obtained by Rong at al (arXiv:2007.04698 [cs.DM])

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (August 22, 2022) dmtcs:6700

A method for eternally dominating strong grids

Authors: Alizée Gagnon, Alexander Hassler, Jerry Huang, Aaron Krim-Yee, Fionn Mc Inerney, Andrés Zacarías, Ben Seamone, Virgélot Virgile

Abstract: In the eternal domination game, an attacker attacks a vertex at each turn and a team of guards must move a guard to the attacked vertex to defend it. The guards may only move to adjacent vertices and no more than one guard may occupy a vertex. The goal is to determine the eternal domination number of a graph which is the minimum number of guards required to defend the graph against an infinite seq… ▽ More In the eternal domination game, an attacker attacks a vertex at each turn and a team of guards must move a guard to the attacked vertex to defend it. The guards may only move to adjacent vertices and no more than one guard may occupy a vertex. The goal is to determine the eternal domination number of a graph which is the minimum number of guards required to defend the graph against an infinite sequence of attacks. In this paper, we continue the study of the eternal domination game on strong grids. Cartesian grids have been vastly studied with tight bounds for small grids such as $2\times n$, $3\times n$, $4\times n$, and $5\times n$ grids, and recently it was proven in [Lamprou et al., CIAC 2017, 393-404] that the eternal domination number of these grids in general is within $O(m+n)$ of their domination number which lower bounds the eternal domination number. Recently, Finbow et al. proved that the eternal domination number of strong grids is upper bounded by $\frac{mn}{6}+O(m+n)$. We adapt the techniques of [Lamprou et al., CIAC 2017, 393-404] to prove that the eternal domination number of strong grids is upper bounded by $\frac{mn}{7}+O(m+n)$. While this does not improve upon a recently announced bound of $\lceil\frac{m}{3}\rceil \lceil\frac{n}{3}\rceil+O(m\sqrt{n})$ [Mc Inerney, Nisse, Pérennes, CIAC 2019] in the general case, we show that our bound is an improvement in the case where the smaller of the two dimensions is at most $6179$. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: Discrete Mathematics and Theoretical Computer Science, DMTCS, In press, 22

Eternal domination on prisms of graphs

Authors: Aaron Krim-Yee, Ben Seamone, Virgélot Virgile

Abstract: An eternal dominating set of a graph $G$ is a set of vertices (or "guards") which dominates $G$ and which can defend any infinite series of vertex attacks, where an attack is defended by moving one guard along an edge from its current position to the attacked vertex. The size of the smallest eternal dominating set is denoted $γ^\infty(G)$ and is called the eternal domination number of $G$. In this… ▽ More An eternal dominating set of a graph $G$ is a set of vertices (or "guards") which dominates $G$ and which can defend any infinite series of vertex attacks, where an attack is defended by moving one guard along an edge from its current position to the attacked vertex. The size of the smallest eternal dominating set is denoted $γ^\infty(G)$ and is called the eternal domination number of $G$. In this paper, we answer a conjecture of Klostermeyer and Mynhardt [Discussiones Mathematicae Graph Theory, vol. 35, pp. 283-300], showing that there exist there are infinitely many graphs $G$ such that $γ^\infty(G)=θ(G)$ and $γ^\infty(G \Box K_2)<θ(G \Box K_2)$, where $θ(G)$ denotes the clique cover number of $G$. △ Less

Submitted 2 February, 2019; originally announced February 2019.

Comments: 5 pages, submitted for publication

MSC Class: 05C69; 05C57; 05C76

A study of cops and robbers in oriented graphs

Authors: Devvrit Khatri, Natasha Komarov, Aaron Krim-Yee, Nithish Kumar, Ben Seamone, Virgélot Virgile, AnQi Xu

Abstract: We consider the well-studied cops and robbers game in the context of oriented graphs, which has received surprisingly little attention to date. We examine the relationship between the cop numbers of an oriented graph and its underlying undirected graph, giving a surprising result that there exists at least one graph $G$ for which every strongly connected orientation of $G$ has cop number strictly… ▽ More We consider the well-studied cops and robbers game in the context of oriented graphs, which has received surprisingly little attention to date. We examine the relationship between the cop numbers of an oriented graph and its underlying undirected graph, giving a surprising result that there exists at least one graph $G$ for which every strongly connected orientation of $G$ has cop number strictly less than that of $G$. We also refute a conjecture on the structure of cop-win digraphs, study orientations of outerplanar graphs, and study the cop number of line digraphs. Finally, we consider some the aspects of optimal play, in particular the capture time of cop-win digraphs and properties of the relative positions of the cop(s) and robber. △ Less

Submitted 15 January, 2019; v1 submitted 14 November, 2018; originally announced November 2018.

Comments: 23 pages, 4 figures. V2 contains an expanded introduction and an improvement on the original result on outerplanar graphs

MSC Class: 05C57; 05C20

Fully Active Cops and Robbers

Authors: Ilya Gromovikov, William B. Kinnersley, Ben Seamone

Abstract: We study a variation of the classical pursuit-evasion game of Cops and Robbers in which agents are required to move to an adjacent vertex on every turn. We explore how the minimum number of cops needed to catch the robber can change when this condition is added to the rules of the game. We study this `Fully Active Cops and Robbers' game for a number of classes of graphs and present some open probl… ▽ More We study a variation of the classical pursuit-evasion game of Cops and Robbers in which agents are required to move to an adjacent vertex on every turn. We explore how the minimum number of cops needed to catch the robber can change when this condition is added to the rules of the game. We study this `Fully Active Cops and Robbers' game for a number of classes of graphs and present some open problems for future research. △ Less

Submitted 20 August, 2018; originally announced August 2018.

Comments: 11 pages

MSC Class: 05C57

Hamiltonian chordal graphs are not cycle extendible

Authors: Manuel Lafond, Ben Seamone

Abstract: In 1990, Hendry conjectured that every Hamiltonian chordal graph is cycle extendible; that is, the vertices of any non-Hamiltonian cycle are contained in a cycle of length one greater. We disprove this conjecture by constructing counterexamples on $n$ vertices for any $n \geq 15$. Furthermore, we show that there exist counterexamples where the ratio of the length of a non-extendible cycle to the t… ▽ More In 1990, Hendry conjectured that every Hamiltonian chordal graph is cycle extendible; that is, the vertices of any non-Hamiltonian cycle are contained in a cycle of length one greater. We disprove this conjecture by constructing counterexamples on $n$ vertices for any $n \geq 15$. Furthermore, we show that there exist counterexamples where the ratio of the length of a non-extendible cycle to the total number of vertices can be made arbitrarily small. We then consider cycle extendibility in Hamiltonian chordal graphs where certain induced subgraphs are forbidden, notably $P_n$ and the bull. △ Less

Submitted 3 December, 2014; v1 submitted 22 November, 2013; originally announced November 2013.

Comments: Some results from Section 3 were incorrect and have been removed. To appear in SIAM Journal on Discrete Mathematics

The 1-2-3 Conjecture and related problems: a survey

Authors: Ben Seamone

Abstract: The 1-2-3 Conjecture, posed in 2004 by Karonski, Luczak, and Thomason, is as follows: "If G is a graph with no connected component having exactly 2 vertices, then the edges of G may be assigned weights from the set {1,2,3} so that, for any adjacent vertices u and v, the sum of weights of edges incident to u differs from the sum of weights of edges incident to v." This survey paper presents the cur… ▽ More The 1-2-3 Conjecture, posed in 2004 by Karonski, Luczak, and Thomason, is as follows: "If G is a graph with no connected component having exactly 2 vertices, then the edges of G may be assigned weights from the set {1,2,3} so that, for any adjacent vertices u and v, the sum of weights of edges incident to u differs from the sum of weights of edges incident to v." This survey paper presents the current state of research on the 1-2-3 Conjecture and the many variants that have been proposed in its short but active history. △ Less

Submitted 21 November, 2012; originally announced November 2012.

Comments: 30 pages, 2 tables, submitted for publication

MSC Class: 05C15; 05C78; 01-02

Sequence variations of the 1-2-3 Conjecture and irregularity strength

Authors: Ben Seamone, Brett Stevens

Abstract: Karonski, Luczak, and Thomason (2004) conjectured that, for any connected graph G on at least three vertices, there exists an edge weighting from {1,2,3} such that adjacent vertices receive different sums of incident edge weights. Bartnicki, Grytczuk, and Niwcyk (2009) made a stronger conjecture, that each edge's weight may be chosen from an arbitrary list of size 3 rather than {1,2,3}. We examine… ▽ More Karonski, Luczak, and Thomason (2004) conjectured that, for any connected graph G on at least three vertices, there exists an edge weighting from {1,2,3} such that adjacent vertices receive different sums of incident edge weights. Bartnicki, Grytczuk, and Niwcyk (2009) made a stronger conjecture, that each edge's weight may be chosen from an arbitrary list of size 3 rather than {1,2,3}. We examine a variation of these conjectures, where each vertex is coloured with a sequence of edge weights. Such a colouring relies on an ordering of the graph's edges, and so two variations arise -- one where we may choose any ordering of the edges and one where the ordering is fixed. In the former case, we bound the list size required for any graph. In the latter, we obtain a bound on list sizes for graphs with sufficiently large minimum degree. We also extend our methods to a list variation of irregularity strength, where each vertex receives a distinct sequence of edge weights. △ Less

Submitted 2 November, 2012; originally announced November 2012.

Comments: Accepted to Discrete Mathematics and Theoretical Computer Science

MSC Class: 05C15 (Primary) 05C78 (Secondary)

Pi/2-Angle Yao Graphs are Spanners

Authors: Prosenjit Bose, Mirela Damian, Karim Douieb, Joseph O'Rourke, Ben Seamone, Michiel Smid, Stefanie Wuhrer

Abstract: We show that the Yao graph Y4 in the L2 metric is a spanner with stretch factor 8(29+23sqrt(2)). Enroute to this, we also show that the Yao graph Y4 in the Linf metric is a planar spanner with stretch factor 8. We show that the Yao graph Y4 in the L2 metric is a spanner with stretch factor 8(29+23sqrt(2)). Enroute to this, we also show that the Yao graph Y4 in the Linf metric is a planar spanner with stretch factor 8. △ Less

Submitted 17 January, 2010; originally announced January 2010.

Comments: 20 pages, 9 figures

ACM Class: F.2.2

Journal ref: International Journal of Computational Geometry & Applications, 22(1):61-82, 2012