-
Acyclic graphs with at least $2\ell+1$ vertices are $\ell$-recognizable
Authors:
Alexandr V. Kostochka,
Mina Nahvi,
Douglas B. West,
Dara Zirlin
Abstract:
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of subgraphs obtained from it by deleting $\ell$ vertices. A family of $n$-vertex graphs is $\ell$-recognizable if every graph having the same $(n-\ell)$-deck as a graph in the family is also in the family. We prove that the family of $n$-vertex graphs with no cycles is $\ell$-recognizable when $n\ge2\ell+1$ (except for $(n,\ell)=(5,2)$).…
▽ More
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of subgraphs obtained from it by deleting $\ell$ vertices. A family of $n$-vertex graphs is $\ell$-recognizable if every graph having the same $(n-\ell)$-deck as a graph in the family is also in the family. We prove that the family of $n$-vertex graphs with no cycles is $\ell$-recognizable when $n\ge2\ell+1$ (except for $(n,\ell)=(5,2)$). As a consequence, the family of $n$-vertex trees is $\ell$-recognizable when $n\ge2\ell+1$ and $\ell\ne2$. It is known that this fails when $n=2\ell$.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
Trees with at least $6\ell+11$ vertices are $\ell$-reconstructible
Authors:
Alexandr V. Kostochka,
Mina Nahvi,
Douglas B. West,
Dara Zirlin
Abstract:
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of (unlabeled) subgraphs obtained from it by deleting $\ell$ vertices. An $n$-vertex graph is $\ell$-reconstructible if it is determined by its $(n-\ell)$-deck, meaning that no other graph has the same deck. We prove that every tree with at least $6\ell+11$ vertices is $\ell$-reconstructible.
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of (unlabeled) subgraphs obtained from it by deleting $\ell$ vertices. An $n$-vertex graph is $\ell$-reconstructible if it is determined by its $(n-\ell)$-deck, meaning that no other graph has the same deck. We prove that every tree with at least $6\ell+11$ vertices is $\ell$-reconstructible.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Another Proof of the Generalized Tutte--Berge Formula for $f$-Bounded Subgraphs
Authors:
Zishen Qu,
Douglas B. West
Abstract:
Given a nonnegative integer weight $f(v)$ for each vertex $v$ in a multigraph $G$, an {\it $f$-bounded subgraph} of $G$ is a multigraph $H$ contained in $G$ such that $d_H(v)\le f(v)$ for all $v\in V(G)$. Using Tutte's $f$-Factor Theorem, we give a new proof of the min-max relation for the maximum size of an $f$-bounded subgraph of $G$. When $f(v)=1$ for all $v$, the formula reduces to the classic…
▽ More
Given a nonnegative integer weight $f(v)$ for each vertex $v$ in a multigraph $G$, an {\it $f$-bounded subgraph} of $G$ is a multigraph $H$ contained in $G$ such that $d_H(v)\le f(v)$ for all $v\in V(G)$. Using Tutte's $f$-Factor Theorem, we give a new proof of the min-max relation for the maximum size of an $f$-bounded subgraph of $G$. When $f(v)=1$ for all $v$, the formula reduces to the classical Tutte--Berge Formula for the maximum size of a matching.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Bounds for eccentricity-based parameters of graphs
Authors:
Yunfang Tang,
Xuli Qi,
Douglas B. West
Abstract:
The \emph{eccentricity} of a vertex $u$ in a graph $G$, denoted by $e_G(u)$, is the maximum distance from $u$ to other vertices in $G$. We study extremal problems for the average eccentricity and the first and second Zagreb eccentricity indices, denoted by $σ_0(G)$, $σ_1(G)$, and $σ_2(G)$, respectively. These are defined by $σ_0(G)=\frac{1}{|V(G)|}\sum_{u\in V(G)}e_G(u)$,…
▽ More
The \emph{eccentricity} of a vertex $u$ in a graph $G$, denoted by $e_G(u)$, is the maximum distance from $u$ to other vertices in $G$. We study extremal problems for the average eccentricity and the first and second Zagreb eccentricity indices, denoted by $σ_0(G)$, $σ_1(G)$, and $σ_2(G)$, respectively. These are defined by $σ_0(G)=\frac{1}{|V(G)|}\sum_{u\in V(G)}e_G(u)$, $σ_1(G)=\sum_{u\in V(G)}e_G^2(u)$, and $σ_2(G)=\sum_{uv\in E(G)}e_G(u)e_G(v)$. We study lower and upper bounds on these parameters among $n$-vertex connected graphs with fixed diameter, chromatic number, clique number, or matching number. Most of the bounds are sharp, with the corresponding extremal graphs characterized.
△ Less
Submitted 23 April, 2023;
originally announced April 2023.
-
Sharp lower bounds for the number of maximum matchings in bipartite multigraphs
Authors:
Alexandr V. Kostochka,
Douglas B. West,
Zimu Xiang
Abstract:
We study the minimum number of maximum matchings in a bipartite multigraph G with parts $X$ and $Y$ under various conditions, refining the well-known lower bound due to M. Hall. When $|X|=n$, every vertex in $X$ has degree at least $k$, and every vertex in $X$ has at least $r$ distinct neighbors, the minimum is $r!(k-r+1)$ when $n\ge r$ and is $[r+n(k-r)]\prod_{i=1}^{n-1}(r-i)$ when $n<r$. When ev…
▽ More
We study the minimum number of maximum matchings in a bipartite multigraph G with parts $X$ and $Y$ under various conditions, refining the well-known lower bound due to M. Hall. When $|X|=n$, every vertex in $X$ has degree at least $k$, and every vertex in $X$ has at least $r$ distinct neighbors, the minimum is $r!(k-r+1)$ when $n\ge r$ and is $[r+n(k-r)]\prod_{i=1}^{n-1}(r-i)$ when $n<r$. When every vertex has at least two neighbors and $|Y|-|X|=t\ge 0$, the minimum is $[(n-1)t+2+b](t+1)$, where $b=|E(G)|-2(n+t)$. We also determine the minimum number of maximum matchings in several other situations. We provide a variety of sharpness constructions.
△ Less
Submitted 18 November, 2022;
originally announced November 2022.
-
$2$-Reconstructibility of Weakly Distance-Regular Graphs
Authors:
Douglas B. West,
Xuding Zhu
Abstract:
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that strongly regular graphs with at least six vertices are $2$-reconstructible.
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that strongly regular graphs with at least six vertices are $2$-reconstructible.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Some new results on bar visibility of digraphs
Authors:
Yuanrui Feng,
Jun Ge,
Douglas B. West,
Yan Yang
Abstract:
Visibility representation of digraphs was introduced by Axenovich, Beveridge, Hutch\-inson, and West (\emph{SIAM J. Discrete Math.} {\bf 27}(3) (2013) 1429--1449) as a natural generalization of $t$-bar visibility representation of undirected graphs. A {\it $t$-bar visibility representation} of a digraph $G$ assigns each vertex at most $t$ horizontal bars in the plane so that there is an arc $xy$ i…
▽ More
Visibility representation of digraphs was introduced by Axenovich, Beveridge, Hutch\-inson, and West (\emph{SIAM J. Discrete Math.} {\bf 27}(3) (2013) 1429--1449) as a natural generalization of $t$-bar visibility representation of undirected graphs. A {\it $t$-bar visibility representation} of a digraph $G$ assigns each vertex at most $t$ horizontal bars in the plane so that there is an arc $xy$ in the digraph if and only if some bar for $x$ "sees" some bar for $y$ above it along an unblocked vertical strip with positive width. The {\it visibility number} $b(G)$ is the least $t$ such that $G$ has a $t$-bar visibility representation. In this paper, we solve several problems about $b(G)$ posed by Axenovich et al.\ and prove that determining whether the bar visibility number of a digraph is $2$ is NP-complete.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Acyclic graphs with at least $2\ell+1$ vertices are $\ell$-recognizable
Authors:
Alexandr V. Kostochka,
Mina Nahvi,
Douglas B. West,
Dara Zirlin
Abstract:
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of subgraphs obtained from it by deleting $\ell$ vertices. A family of $n$-vertex graphs is $\ell$-recognizable if every graph having the same $(n-\ell)$-deck as a graph in the family is also in the family. We prove that the family of $n$-vertex graphs having no cycles is $\ell$-recognizable when $n\ge2\ell+1$ (except for $(n,\ell)=(5,2)$)…
▽ More
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of subgraphs obtained from it by deleting $\ell$ vertices. A family of $n$-vertex graphs is $\ell$-recognizable if every graph having the same $(n-\ell)$-deck as a graph in the family is also in the family. We prove that the family of $n$-vertex graphs having no cycles is $\ell$-recognizable when $n\ge2\ell+1$ (except for $(n,\ell)=(5,2)$). It is known that this fails when $n=2\ell$.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
On reconstruction of graphs from the multiset of subgraphs obtained by deleting $\ell$ vertices
Authors:
Alexandr V. Kostochka,
Douglas B. West
Abstract:
The Reconstruction Conjecture of Ulam asserts that, for $n\geq 3$, every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-1$ vertices. The conjecture is known to hold for various special classes of graphs but remains wide open. We survey results on the more general conjecture by Kelly from 1957 that for every positive integer $\ell$ there exists $M_\ell$ (with…
▽ More
The Reconstruction Conjecture of Ulam asserts that, for $n\geq 3$, every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-1$ vertices. The conjecture is known to hold for various special classes of graphs but remains wide open. We survey results on the more general conjecture by Kelly from 1957 that for every positive integer $\ell$ there exists $M_\ell$ (with $M_1=3$) such that when $n\geq M_\ell$ every $n$-vertex graph is determined by the multiset of its induced subgraphs with $n-\ell$ vertices.
△ Less
Submitted 11 April, 2020;
originally announced April 2020.
-
The Number of Perfect Matchings in Möbius Ladders and Prisms
Authors:
R. S. Lekshmi,
Douglas B. West
Abstract:
The 1970s conjecture of Lovász and Plummer that the number of perfect matchings in any $3$-regular graph is exponential in the number of vertices was proved in 2011 by Esperet, Kardoš, King, Král', and Norine. We give the exact formula for the number of perfect matchings in two families of $3$-regular graphs. In the graph consisting of a $2n$-cycle with diametric chords (also known as the Möbius l…
▽ More
The 1970s conjecture of Lovász and Plummer that the number of perfect matchings in any $3$-regular graph is exponential in the number of vertices was proved in 2011 by Esperet, Kardoš, King, Král', and Norine. We give the exact formula for the number of perfect matchings in two families of $3$-regular graphs. In the graph consisting of a $2n$-cycle with diametric chords (also known as the Möbius ladder $M_n$ and a Harary graph) and in the cartesian product of the cycle $C_n$ with an edge (called the cycle prism), the number of matchings is the sum of the Fibonacci numbers $F_{n-1}$ and $F_{n+1}$, plus two more for the Möbius ladder when $n$ is odd and for the cycle prism when $n$ is even.
△ Less
Submitted 25 March, 2020; v1 submitted 21 March, 2020;
originally announced March 2020.
-
Cycles in Color-Critical Graphs
Authors:
Benjamin Moore,
Douglas B. West
Abstract:
Tuza [1992] proved that a graph with no cycles of length congruent to $1$ modulo $k$ is $k$-colorable. We prove that if a graph $G$ has an edge $e$ such that $G-e$ is $k$-colorable and $G$ is not, then for $2\leq r\leq k$, the edge $e$ lies in at least $\prod_{i=1}^{r-1}(k-i)$ cycles of length $1\mod r$ in $G$, and $G-e$ contains at least $\frac{1}{2}\prod_{i=1}^{r-1}(k-i)$ cycles of length…
▽ More
Tuza [1992] proved that a graph with no cycles of length congruent to $1$ modulo $k$ is $k$-colorable. We prove that if a graph $G$ has an edge $e$ such that $G-e$ is $k$-colorable and $G$ is not, then for $2\leq r\leq k$, the edge $e$ lies in at least $\prod_{i=1}^{r-1}(k-i)$ cycles of length $1\mod r$ in $G$, and $G-e$ contains at least $\frac{1}{2}\prod_{i=1}^{r-1}(k-i)$ cycles of length $0 \mod r$.
A $(k,d)$-coloring of $G$ is a homomorphism from $G$ to the graph $K_{k:d}$ with vertex set $\mathbb{Z}_{k}$ defined by making $i$ and $j$ adjacent if $d\leq j-i \leq k-d$. When $k$ and $d$ are relatively prime, define $s$ by $sd\equiv 1\mod k$. A result of Zhu [2002] implies that $G$ is $(k,d)$-colorable when $G$ has no cycle $C$ with length congruent to $is$ modulo $k$ for any $i\in \{1,\ldots,2d-1\}$. In fact, only $d$ classes need be excluded: we prove that if $G-e$ is $(k,d)$-colorable and $G$ is not, then $e$ lies in at least one cycle with length congruent to $is\mod k$ for some $i$ in $\{1,\ldots,d\}$. Furthermore, if this does not occur with $i\in\{1,\ldots,d-1\}$, then $e$ lies in at least two cycles with length $1\mod k$ and $G-e$ contains a cycle of length $0 \mod k$.
△ Less
Submitted 13 November, 2021; v1 submitted 8 December, 2019;
originally announced December 2019.
-
3-Regular Graphs Are 2-Reconstructible
Authors:
Alexandr V. Kostochka,
Mina Nahvi,
Douglas B. West,
Dara Zirlin
Abstract:
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that $3$-regular graphs are $2$-reconstructible.
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that $3$-regular graphs are $2$-reconstructible.
△ Less
Submitted 3 August, 2019;
originally announced August 2019.
-
On the bar visibility number of complete bipartite graphs
Authors:
Weiting Cao,
Douglas B. West,
Yan Yang
Abstract:
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. For the co…
▽ More
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. For the complete bipartite graph $K_{m,n}$, the lower bound $b(K_{m,n})\ge\lceil{\frac{mn+4}{2m+2n}}\rceil$ from Euler's Formula is well known. We prove that equality holds.
△ Less
Submitted 6 May, 2019;
originally announced May 2019.
-
Degree lists and connectedness are $3$-reconstructible for graphs with at least seven vertices
Authors:
Alexandr V. Kostochka,
Mina Nahvi,
Douglas B. West,
Dara Zirlin
Abstract:
The $k$-deck of a graph is the multiset of its subgraphs induced by $k$ vertices. A graph or graph property is $l$-reconstructible if it is determined by the deck of subgraphs obtained by deleting $l$ vertices. We show that the degree list of an $n$-vertex graph is $3$-reconstructible when $n\ge7$, and the threshold on $n$ is sharp. Using this result, we show that when $n\ge7$ the $(n-3)$-deck als…
▽ More
The $k$-deck of a graph is the multiset of its subgraphs induced by $k$ vertices. A graph or graph property is $l$-reconstructible if it is determined by the deck of subgraphs obtained by deleting $l$ vertices. We show that the degree list of an $n$-vertex graph is $3$-reconstructible when $n\ge7$, and the threshold on $n$ is sharp. Using this result, we show that when $n\ge7$ the $(n-3)$-deck also determines whether an $n$-vertex graph is connected; this is also sharp. These results extend the results of Chernyak and Manvel, respectively, that the degree list and connectedness are $2$-reconstructible when $n\ge6$, which are also sharp.
△ Less
Submitted 26 April, 2019;
originally announced April 2019.
-
Upper bounds for bar visibility of subgraphs and n-vertex graphs
Authors:
Yuanrui Feng,
Douglas B. West,
Yan Yang
Abstract:
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. We show th…
▽ More
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. We show that if $H$ is a spanning subgraph of $G$, then $b(H)\le b(G)+1$. It follows that $b(G)\le \lceil n/6\rceil+1$ when $G$ is an $n$-vertex graph. This improves the upper bound obtained by Chang et al. (SIAM J. Discrete Math. 18 (2004) 462).
△ Less
Submitted 18 April, 2019;
originally announced April 2019.
-
Largest 2-regular subgraphs in 3-regular graphs
Authors:
Ilkyoo Choi,
Ringi Kim,
Alexandr Kostochka,
Boram Park,
Douglas B. West
Abstract:
For a graph $G$, let $f_2(G)$ denote the largest number of vertices in a $2$-regular subgraph of $G$. We determine the minimum of $f_2(G)$ over $3$-regular $n$-vertex simple graphs $G$. To do this, we prove that every $3$-regular multigraph with exactly $c$ cut-edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (c-1)/2\rfloor\}$ vertices. More generally, every $n$-vertex multigra…
▽ More
For a graph $G$, let $f_2(G)$ denote the largest number of vertices in a $2$-regular subgraph of $G$. We determine the minimum of $f_2(G)$ over $3$-regular $n$-vertex simple graphs $G$. To do this, we prove that every $3$-regular multigraph with exactly $c$ cut-edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (c-1)/2\rfloor\}$ vertices. More generally, every $n$-vertex multigraph with maximum degree $3$ and $m$ edges has a $2$-regular subgraph that omits at most $\max\{0,\lfloor (3n-2m+c-1)/2\rfloor\}$ vertices. These bounds are sharp; we describe the extremal multigraphs.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
On-line size Ramsey number for monotone k-uniform ordered paths with uniform looseness
Authors:
Xavier Perez-Gimenez,
Pawel Pralat,
Douglas B. West
Abstract:
An ordered hypergraph is a hypergraph $H$ with a specified linear ordering of the vertices, and the appearance of an ordered hypergraph $G$ in $H$ must respect the specified order on $V(G)$. In on-line Ramsey theory, Builder iteratively presents edges that Painter must immediately color. The $t$-color on-line size Ramsey number $\tilde R_t (G)$ of an ordered hypergraph $G$ is the minimum number of…
▽ More
An ordered hypergraph is a hypergraph $H$ with a specified linear ordering of the vertices, and the appearance of an ordered hypergraph $G$ in $H$ must respect the specified order on $V(G)$. In on-line Ramsey theory, Builder iteratively presents edges that Painter must immediately color. The $t$-color on-line size Ramsey number $\tilde R_t (G)$ of an ordered hypergraph $G$ is the minimum number of edges Builder needs to play (on a large ordered set of vertices) to force Painter using $t$ colors to produce a monochromatic copy of $G$. The monotone tight path $P_r^{(k)}$ is the ordered hypergraph with $r$ vertices whose edges are all sets of $k$ consecutive vertices.
We obtain good bounds on $\tilde R_t (P_r^{(k)})$. Letting $m=r-k+1$ (the number of edges in $P_r^{(k)}$), we prove $m^{t-1}/(3\sqrt t)\le\tilde R_t (P_r^{(2)})\le tm^{t+1}$. For general $k$, a trivial upper bound is ${R \choose k}$, where $R$ is the least number of vertices in a $k$-uniform (ordered) hypergraph whose $t$-colorings all contain $P_r^{(k)}$ (and is a tower of height $k-2$). We prove $R/(k\lg R)\le\tilde R_t(P_r^{(k)})\le R(\lg R)^{2+ε}$, where $ε$ is any positive constant and $t(m-1)$ is sufficiently large. Our upper bounds improve prior results when $t$ grows faster than $m/\log m$. We also generalize our results to $\ell$-loose monotone paths, where each successive edge begins $\ell$ vertices after the previous edge.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Cut-edges and regular factors in regular graphs of odd degree
Authors:
Alexander V. Kostochka,
André Raspaud,
Bjarne Toft,
Douglas B. West,
Dara Zirlin
Abstract:
We study $2k$-factors in $(2r+1)$-regular graphs. Hanson, Loten, and Toft proved that every $(2r+1)$-regular graph with at most $2r$ cut-edges has a $2$-factor. We generalize their result by proving for $k\le(2r+1)/3$ that every $(2r+1)$-regular graph with at most $2r-3(k-1)$ cut-edges has a $2k$-factor. Both the restriction on $k$ and the restriction on the number of cut-edges are sharp. We chara…
▽ More
We study $2k$-factors in $(2r+1)$-regular graphs. Hanson, Loten, and Toft proved that every $(2r+1)$-regular graph with at most $2r$ cut-edges has a $2$-factor. We generalize their result by proving for $k\le(2r+1)/3$ that every $(2r+1)$-regular graph with at most $2r-3(k-1)$ cut-edges has a $2k$-factor. Both the restriction on $k$ and the restriction on the number of cut-edges are sharp. We characterize the graphs that have exactly $2r-3(k-1)+1$ cut-edges but no $2k$-factor. For $k>(2r+1)/3$, there are graphs without cut-edges that have no $2k$-factor, as studied by Bollobás, Saito, and Wormald.
△ Less
Submitted 13 June, 2018;
originally announced June 2018.
-
Ramsey Numbers of Interval 2-chromatic Ordered Graphs
Authors:
Dana Neidinger,
Douglas B. West
Abstract:
An ordered graph $G$ is a graph together with a specified linear ordering on the vertices, and its interval chromatic number is the minimum number of independent sets consisting of consecutive vertices that are needed to partition the vertex set. The $t$-color Ramsey number $R_t(G)$ of an ordered graph $G$ is the minimum number of vertices of an ordered complete graph such that every edge-coloring…
▽ More
An ordered graph $G$ is a graph together with a specified linear ordering on the vertices, and its interval chromatic number is the minimum number of independent sets consisting of consecutive vertices that are needed to partition the vertex set. The $t$-color Ramsey number $R_t(G)$ of an ordered graph $G$ is the minimum number of vertices of an ordered complete graph such that every edge-coloring from a set of $t$ colors contains a monochromatic copy of $G$ such that the copy of $G$ preserves the original ordering on $G$. An ordered graph is $k$-ichromatic if it has interval chromatic number $k$. We obtain lower bounds linear in the number of vertices for the Ramsey numbers of certain classes of 2-ichromatic ordered graphs. We also determine the exact value of the $t$-color Ramsey number for two families of 2-ichromatic ordered graphs, and we prove a linear upper bound for a class of 2-ichromatic ordered graphs.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
The Slow-coloring Game on Sparse Graphs: $k$-Degenerate, Planar, and Outerplanar
Authors:
Grzegorz Gutowski,
Tomasz Krawczyk,
Krzysztof Maziarz,
Douglas B. West,
Michał Zając,
Xuding Zhu
Abstract:
The \emph{slow-coloring game} is played by Lister and Painter on a graph $G$. Initially, all vertices of $G$ are uncolored. In each round, Lister marks a nonempty set $M$ of uncolored vertices, and Painter colors a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. The score of the game is the sum of the sizes of all sets marked by Lister. The goal of Painter is…
▽ More
The \emph{slow-coloring game} is played by Lister and Painter on a graph $G$. Initially, all vertices of $G$ are uncolored. In each round, Lister marks a nonempty set $M$ of uncolored vertices, and Painter colors a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. The score of the game is the sum of the sizes of all sets marked by Lister. The goal of Painter is to minimize the score, while Lister tries to maximize it. We provide strategies for Painter on various classes of graphs whose vertices can be partitioned into a bounded number of sets inducing forests, including $k$-degenerate, acyclically $k$-colorable, planar, and outerplanar graphs. For example, we show that on an $n$-vertex graph $G$, Painter can keep the score to at most $\frac{3k+4}4n$ when $G$ is $k$-degenerate, $3.9857n$ when $G$ is acyclically $5$-colorable, $3n$ when $G$ is planar with a Hamiltonian dual, $\frac{8n+3m}5$ when $G$ is $4$-colorable with $m$ edges (hence $3.4n$ when $G$ is planar), and $\frac73n$ when $G$ is outerplanar.
△ Less
Submitted 15 September, 2018; v1 submitted 20 January, 2018;
originally announced January 2018.
-
The Unit Acquisition Number of a Graph
Authors:
Frederick Johnson,
Anna Raleigh,
Paul S. Wenger,
Douglas B. West
Abstract:
Let $G$ be a graph with nonnegative integer weights. A {\it unit acquisition move} transfers one unit of weight from a vertex to a neighbor that has at least as much weight. The {\it unit acquisition number} of a graph $G$, denoted $a_u(G)$, is the minimum size that the set of vertices with positive weight can be reduced to via successive unit acquisition moves when starting from the configuration…
▽ More
Let $G$ be a graph with nonnegative integer weights. A {\it unit acquisition move} transfers one unit of weight from a vertex to a neighbor that has at least as much weight. The {\it unit acquisition number} of a graph $G$, denoted $a_u(G)$, is the minimum size that the set of vertices with positive weight can be reduced to via successive unit acquisition moves when starting from the configuration in which every vertex has weight $1$.
For a graph $G$ with $n$ vertices and minimum degree $k$, we prove $a_u(G)\le (n-1)/k$, with equality for complete graphs and $C_5$. Also $a_u(G)$ is at most the minimum size of a maximal matching in $G$, with equality on an infinite family of graphs. Furthermore, $a_u(G)$ is bounded by the maximum degree and by $\sqrt{n-1}$ when $G$ is an $n$-vertex tree with diameter at most $4$. We also construct arbitrarily large trees with maximum degree $5$ having unit acquisition number $1$, obtain a linear-time algorithm to compute the acquisition number of a caterpillar, and show that graphs with diameter $2$ have unit acquisition number $1$ except for $C_5$ and the Petersen graph.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Extremal problems on saturation for the family of $k$-edge-connected graphs
Authors:
Hui Lei,
Suil O,
Yongtang Shi,
Douglas B. West,
Xuding Zhu
Abstract:
Let $\mathcal{F}$ be a family of graphs. A graph $G$ is $\mathcal{F}$-saturated if $G$ contains no member of $\mathcal{F}$ as a subgraph but $G+e$ contains some member of $\mathcal{F}$ whenever $e\in E(\overline{G})$. The saturation number and extremal number of $\mathcal{F}$, denoted $sat(n,\mathcal{F})$ and $ex(n,\mathcal{F})$ respectively, are the minimum and maximum numbers of edges among $n$-…
▽ More
Let $\mathcal{F}$ be a family of graphs. A graph $G$ is $\mathcal{F}$-saturated if $G$ contains no member of $\mathcal{F}$ as a subgraph but $G+e$ contains some member of $\mathcal{F}$ whenever $e\in E(\overline{G})$. The saturation number and extremal number of $\mathcal{F}$, denoted $sat(n,\mathcal{F})$ and $ex(n,\mathcal{F})$ respectively, are the minimum and maximum numbers of edges among $n$-vertex $\mathcal{F}$-saturated graphs. For $k\in\mathbb{N}$, let $\mathcal{F}_k$ and $\mathcal{F}'_k$ be the families of $k$-connected and $k$-edge-connected graphs, respectively. Wenger proved $sat(n,\mathcal{F}_k)=(k-1)n-{k\choose2}$, we prove $sat(n,\mathcal{F}'_k)=(k-1)(n-1)-\lfloor{\frac {n}{k+1}}\rfloor{k-1 \choose 2}$. We also prove $ex(n,\mathcal{F}'_k)=(k-1)n-{k\choose2}$ and characterize when equality holds. Finally, we give a lower bound on the spectral radius for $\mathcal{F}_k$-saturated and $\mathcal{F}'_k$-saturated graphs.
△ Less
Submitted 3 March, 2018; v1 submitted 20 October, 2017;
originally announced October 2017.
-
Lichiardopol's conjecture on disjoint cycles in tournaments
Authors:
Fuhong Ma,
Douglas B. West,
** Yan
Abstract:
In 2010, N. Lichiardopol conjectured for $q \geq 3$ and $k \geq 1$ that any tournament with minimum out-degree at least $(q-1)k-1$ contains $k$ disjoint cycles of length $q$. We prove this conjecture for $q \geq 5$. Since it is already known to hold for $q\le4$, this completes the proof of the conjecture.
In 2010, N. Lichiardopol conjectured for $q \geq 3$ and $k \geq 1$ that any tournament with minimum out-degree at least $(q-1)k-1$ contains $k$ disjoint cycles of length $q$. We prove this conjecture for $q \geq 5$. Since it is already known to hold for $q\le4$, this completes the proof of the conjecture.
△ Less
Submitted 29 October, 2019; v1 submitted 7 July, 2017;
originally announced July 2017.
-
Online Sum-Paintability: Slow-Coloring of Trees
Authors:
Gregory J. Puleo,
Douglas B. West
Abstract:
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the remaining vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter's goal is to minimize the total score; Lister seeks to maximize it. The score that each player can guar…
▽ More
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the remaining vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter's goal is to minimize the total score; Lister seeks to maximize it. The score that each player can guarantee doing no worse than is the sum-color cost of $G$, written $\mathring{\rm s}(G)$. We develop a linear-time algorithm to compute $\mathring{\rm s}(G)$ when $G$ is a tree, enabling us to characterize the $n$-vertex trees with the largest and smallest values. Our algorithm also computes on trees the interactive sum choice number, a parameter recently introduced by Bonamy and Meeks.
△ Less
Submitted 2 October, 2017; v1 submitted 14 December, 2016;
originally announced December 2016.
-
Fractional and Circular Separation Dimension of Graphs
Authors:
Sarah J. Loeb,
Douglas B. West
Abstract:
The separation dimension of a graph $G$, written $π(G)$, is the minimum number of linear orderings of $V(G)$ such that every two nonincident edges are "separated" in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the fractional separation dimension $π_f(G)$, which is the minimum of $a/b$ such that some $a$ linear orderings (repetition…
▽ More
The separation dimension of a graph $G$, written $π(G)$, is the minimum number of linear orderings of $V(G)$ such that every two nonincident edges are "separated" in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the fractional separation dimension $π_f(G)$, which is the minimum of $a/b$ such that some $a$ linear orderings (repetition allowed) separate every two nonincident edges at least $b$ times.
In contrast to separation dimension, fractional separation dimension is bounded: always $π_f(G)\le 3$, with equality if and only if $G$ contains $K_4$. There is no stronger bound even for bipartite graphs, since $π_f(K_{m,m})=π_f(K_{m+1,m})=\frac{3m}{m+1}$. We also compute $π_f(G)$ for cycles and some complete tripartite graphs. We show that $π_f(G)<\sqrt 2$ when $G$ is a tree and present a sequence of trees on which the value tends to $4/3$.
Finally, we consider analogous problems for circular orderings, where pairs of nonincident edges are separated unless their endpoints alternate. Let $π^\circ(G)$ be the number of circular orderings needed to separate all pairs and $π_f^\circ(G)$ be the fractional version. Among our results: (1) $π^\circ(G)=1$ if and only $G$ is outerplanar. (2) $π^\circ(G)\le2$ when $G$ is bipartite. (3) $π^\circ(K_n)\ge\log_2\log_3(n-1)$. (4) $π_f^\circ(G)\le\frac{3}{2}$, with equality if and only if $K_4\subseteq G$. (5) $π_f^\circ(K_{m,m})=\frac{3m-3}{2m-1}$.
△ Less
Submitted 6 September, 2016;
originally announced September 2016.
-
Reconstruction from $k$-decks for graphs with maximum degree 2
Authors:
Douglas B. West,
Hannah Spinoza
Abstract:
The $k$-deck of a graph is its multiset of induced subgraphs on $k$ vertices. We prove that $n$-vertex graphs with maximum degree $2$ have the same $k$-decks if each cycle has at least $k+1$ vertices, each path component has at least $k-1$ vertices, and the number of edges is the same. Using this for lower bounds, we obtain for each graph with maximum degree at most $2$ the least $k$ such that it…
▽ More
The $k$-deck of a graph is its multiset of induced subgraphs on $k$ vertices. We prove that $n$-vertex graphs with maximum degree $2$ have the same $k$-decks if each cycle has at least $k+1$ vertices, each path component has at least $k-1$ vertices, and the number of edges is the same. Using this for lower bounds, we obtain for each graph with maximum degree at most $2$ the least $k$ such that it is determined by its $k$-deck. For the $n$-vertex cycle this value is $\lfloor n/2 \rfloor$, and for the $n$-vertex path it is $\lfloor n/2 \rfloor+1$. Also, the least $k$ such that the $k$-deck of an $n$-vertex graph always determines whether it is connected is at least $\lfloor n/2 \rfloor +1$.
△ Less
Submitted 1 September, 2016;
originally announced September 2016.
-
Spanning Trees in 2-trees
Authors:
P. Renjith,
N. Sadagopan,
Douglas B. West
Abstract:
A spanning tree of a graph $G$ is a connected acyclic spanning subgraph of $G$. We consider enumeration of spanning trees when $G$ is a $2$-tree, meaning that $G$ is obtained from one edge by iteratively adding a vertex whose neighborhood consists of two adjacent vertices. We use this construction order both to inductively list the spanning trees without repetition and to give bounds on the number…
▽ More
A spanning tree of a graph $G$ is a connected acyclic spanning subgraph of $G$. We consider enumeration of spanning trees when $G$ is a $2$-tree, meaning that $G$ is obtained from one edge by iteratively adding a vertex whose neighborhood consists of two adjacent vertices. We use this construction order both to inductively list the spanning trees without repetition and to give bounds on the number of them. We determine the $n$-vertex $2$-trees having the most and the fewest spanning trees. The $2$-tree with the fewest is unique; it has $n-2$ vertices of degree $2$ and has $n2^{n-3}$ spanning trees. Those with the most are all those having exactly two vertices of degree $2$, and their number of spanning trees is the Fibonacci number $F_{2n-2}$.
△ Less
Submitted 20 July, 2016;
originally announced July 2016.
-
The vulnerability of the diameter of enhanced hypercubes
Authors:
Meijie Ma,
Douglas B. West,
Jun-Ming Xu
Abstract:
For an interconnection network $G$, the {\it $ω$-wide diameter} $d_ω(G)$ is the least $\ell$ such that any two vertices are joined by $ω$ internally-disjoint paths of length at most $\ell$, and the {\it $(ω-1)$-fault diameter} $D_ω(G)$ is the maximum diameter of a subgraph obtained by deleting fewer than $ω$ vertices of $G$.
The enhanced hypercube $Q_{n,k}$ is a variant of the well-known hypercu…
▽ More
For an interconnection network $G$, the {\it $ω$-wide diameter} $d_ω(G)$ is the least $\ell$ such that any two vertices are joined by $ω$ internally-disjoint paths of length at most $\ell$, and the {\it $(ω-1)$-fault diameter} $D_ω(G)$ is the maximum diameter of a subgraph obtained by deleting fewer than $ω$ vertices of $G$.
The enhanced hypercube $Q_{n,k}$ is a variant of the well-known hypercube. Yang, Chang, Pai, and Chan gave an upper bound for $d_{n+1}(Q_{n,k})$ and $D_{n+1}(Q_{n,k})$ and posed the problem of finding the wide diameters and fault diameters of $Q_{n,k}$. By constructing internally disjoint paths between any two vertices in the enhanced hypercube, for $n\ge3$ and $2\le k\le n$ we prove $$ D_ω(Q_{n,k})=d_ω(Q_{n,k})=\begin{cases} d(Q_{n,k}) & \textrm{for $1 \leq ω< n-\lfloor\frac{k}{2}\rfloor$;}\\ d(Q_{n,k})+1 & \textrm{for $n-\lfloor\frac{k}{2}\rfloor \leq ω\leq n+1$.} \end{cases} $$ where $d(Q_{n,k})$ is the diameter of $Q_{n,k}$. These results mean that interconnection networks modelled by enhanced hypercubes are extremely robust.
△ Less
Submitted 18 June, 2016; v1 submitted 11 April, 2016;
originally announced April 2016.
-
Strongly connectable digraphs and non-transitive dice
Authors:
Simon Joyce,
Alex Schaefer,
Douglas B. West,
Thomas Zaslavsky
Abstract:
We give a new proof of the theorem of Boesch-Tindell and Farzad-Mahdian-Mahmoodian-Saberi-Sadri that a directed graph extends to a strongly connected digraph on the same vertex set if and only if it has no complete directed cut. Our proof bounds the number of edges needed for such an extension; we give examples to demonstrate sharpness. We apply the characterization to a problem on non-transitive…
▽ More
We give a new proof of the theorem of Boesch-Tindell and Farzad-Mahdian-Mahmoodian-Saberi-Sadri that a directed graph extends to a strongly connected digraph on the same vertex set if and only if it has no complete directed cut. Our proof bounds the number of edges needed for such an extension; we give examples to demonstrate sharpness. We apply the characterization to a problem on non-transitive dice.
△ Less
Submitted 3 July, 2016; v1 submitted 3 August, 2015;
originally announced August 2015.
-
Online Paintability: The Slow-Coloring Game
Authors:
Thomas Mahoney,
Gregory J. Puleo,
Douglas B. West
Abstract:
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the uncolored vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter and Lister want to minimize and maximize the total score, respectively. The best score that each player…
▽ More
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the uncolored vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter and Lister want to minimize and maximize the total score, respectively. The best score that each player can guarantee is the sum-color cost of $G$, written $\mathring{\mathrm{s}}(G)$. The game is an online variant of online sum list coloring.
We proe $\frac{|V(G)|}{2α(G)} + \frac{1}{2} \leq \frac{\mathring{\mathrm{s}}(G)}{|V(G)|} \leq \max\left\{ \frac{|V(H)|}{α(H)} : H \subset G\right\}$, where $α(G)$ is the independence number, and we study when equality holds in the bounds. We compute $\mathring{\mathrm{s}}(G)$ for graphs with $α(G) = 2$. Among $n$-vertex graphs, we prove that $\mathring{\mathrm{s}}$ is minimized by the star and maximized by the path. We also obtain good bounds on $\mathring{\mathrm{s}}(K_{r,s})$.
△ Less
Submitted 5 July, 2017; v1 submitted 23 July, 2015;
originally announced July 2015.
-
Uniquely cycle-saturated graphs
Authors:
Paul S. Wenger,
Douglas B. West
Abstract:
Given a graph $F$, a graph $G$ is {\it uniquely $F$-saturated} if $F$ is not a subgraph of $G$ and adding any edge of the complement to $G$ completes exactly one copy of $F$. In this paper we study uniquely $C_t$-saturated graphs. We prove the following: (1) a graph is uniquely $C_5$-saturated if and only if it is a friendship graph. (2) There are no uniquely $C_6$-saturated graphs or uniquely…
▽ More
Given a graph $F$, a graph $G$ is {\it uniquely $F$-saturated} if $F$ is not a subgraph of $G$ and adding any edge of the complement to $G$ completes exactly one copy of $F$. In this paper we study uniquely $C_t$-saturated graphs. We prove the following: (1) a graph is uniquely $C_5$-saturated if and only if it is a friendship graph. (2) There are no uniquely $C_6$-saturated graphs or uniquely $C_7$-saturated graphs. (3) For $t\ge6$, there are only finitely many uniquely $C_t$-saturated graphs (we conjecture that in fact there are none).
△ Less
Submitted 16 April, 2015;
originally announced April 2015.
-
Decomposition of Sparse Graphs into Forests: The Nine Dragon Tree Conjecture for $k \le 2$
Authors:
Min Chen,
Seog-** Kim,
Alexandr Kostochka,
Douglas B. West,
Xuding Zhu
Abstract:
For a loopless multigraph $G$, the fractional arboricity $Arb(G)$ is the maximum of $\frac{|E(H)|}{|V(H)|-1}$ over all subgraphs $H$ with at least two vertices. Generalizing the Nash-Williams Arboricity Theorem, the Nine Dragon Tree Conjecture asserts that if $Arb(G)\le k+\frac{d}{k+d+1}$, then $G$ decomposes into $k+1$ forests with one having maximum degree at most $d$. The conjecture was previou…
▽ More
For a loopless multigraph $G$, the fractional arboricity $Arb(G)$ is the maximum of $\frac{|E(H)|}{|V(H)|-1}$ over all subgraphs $H$ with at least two vertices. Generalizing the Nash-Williams Arboricity Theorem, the Nine Dragon Tree Conjecture asserts that if $Arb(G)\le k+\frac{d}{k+d+1}$, then $G$ decomposes into $k+1$ forests with one having maximum degree at most $d$. The conjecture was previously proved for $d=k+1$ and for $k=1$ when $d \le 6$. We prove it for all $d$ when $k \le 2$, except for $(k,d)=(2,1)$.
△ Less
Submitted 16 February, 2015;
originally announced February 2015.
-
Coloring, sparseness, and girth
Authors:
Noga Alon,
Alexandr Kostochka,
Benjamin Reiniger,
Douglas B. West,
Xuding Zhu
Abstract:
An $r$-augmented tree is a rooted tree plus $r$ edges added from each leaf to ancestors. For $d,g,r\in\mathbb{N}$, we construct a bipartite $r$-augmented complete $d$-ary tree having girth at least $g$. The height of such trees must grow extremely rapidly in terms of the girth.
Using the resulting graphs, we construct sparse non-$k$-choosable bipartite graphs, showing that maximum average degree…
▽ More
An $r$-augmented tree is a rooted tree plus $r$ edges added from each leaf to ancestors. For $d,g,r\in\mathbb{N}$, we construct a bipartite $r$-augmented complete $d$-ary tree having girth at least $g$. The height of such trees must grow extremely rapidly in terms of the girth.
Using the resulting graphs, we construct sparse non-$k$-choosable bipartite graphs, showing that maximum average degree at most $2(k-1)$ is a sharp sufficient condition for $k$-choosability in bipartite graphs, even when requiring large girth. We also give a new simple construction of non-$k$-colorable graphs and hypergraphs with any girth $g$.
△ Less
Submitted 30 April, 2015; v1 submitted 26 December, 2014;
originally announced December 2014.
-
On r-dynamic Coloring of Grids
Authors:
Ross Kang,
Tobias Muller,
Douglas B. West
Abstract:
An \textit{$r$-dynamic $k$-coloring} of a graph $G$ is a proper $k$-coloring of $G$ such that every vertex in $V(G)$ has neighbors in at least $\min\{d(v),r\}$ different color classes. The \textit{$r$-dynamic chromatic number} of a graph $G$, written $χ_r(G)$, is the least $k$ such that $G$ has such a coloring. Proving a conjecture of Jahanbekam, Kim, O, and West, we show that the $m$-by-$n$ grid…
▽ More
An \textit{$r$-dynamic $k$-coloring} of a graph $G$ is a proper $k$-coloring of $G$ such that every vertex in $V(G)$ has neighbors in at least $\min\{d(v),r\}$ different color classes. The \textit{$r$-dynamic chromatic number} of a graph $G$, written $χ_r(G)$, is the least $k$ such that $G$ has such a coloring. Proving a conjecture of Jahanbekam, Kim, O, and West, we show that the $m$-by-$n$ grid has no $3$-dynamic $4$-coloring when $mn\equiv2\mod 4$. This completes the determination of the $r$-dynamic chromatic number of the $m$-by-$n$ grid for all $r,m,n$.
△ Less
Submitted 13 July, 2014;
originally announced July 2014.
-
To catch a falling robber
Authors:
William B. Kinnersley,
Paweł Prałat,
Douglas B. West
Abstract:
We consider a Cops-and-Robber game played on the subsets of an $n$-set. The robber starts at the full set; the cops start at the empty set. On each turn, the robber moves down one level by discarding an element, and each cop moves up one level by gaining an element. The question is how many cops are needed to ensure catching the robber when the robber reaches the middle level. Aaron Hill posed the…
▽ More
We consider a Cops-and-Robber game played on the subsets of an $n$-set. The robber starts at the full set; the cops start at the empty set. On each turn, the robber moves down one level by discarding an element, and each cop moves up one level by gaining an element. The question is how many cops are needed to ensure catching the robber when the robber reaches the middle level. Aaron Hill posed the problem and provided a lower bound of $2^{n/2}$ for even $n$ and $\binom{n}{\lceil n/2 \rceil}2^{-\lfloor n/2 \rfloor}$ for odd $n$. We prove an upper bound (for all $n$) that is within a factor of $O(\ln n)$ times this lower bound.
△ Less
Submitted 23 February, 2016; v1 submitted 9 June, 2014;
originally announced June 2014.
-
The Game Saturation Number of a Graph
Authors:
James M. Carraher,
William B. Kinnersley,
Benjamin Reiniger,
Douglas B. West
Abstract:
Given a family ${\mathcal F}$ and a host graph $H$, a graph $G\subseteq H$ is ${\mathcal F}$-saturated relative to $H$ if no subgraph of $G$ lies in ${\mathcal F}$ but adding any edge from $E(H)-E(G)$ to $G$ creates such a subgraph. In the ${\mathcal F}$-saturation game on $H$, players Max and Min alternately add edges of $H$ to $G$, avoiding subgraphs in ${\mathcal F}$, until $G$ becomes…
▽ More
Given a family ${\mathcal F}$ and a host graph $H$, a graph $G\subseteq H$ is ${\mathcal F}$-saturated relative to $H$ if no subgraph of $G$ lies in ${\mathcal F}$ but adding any edge from $E(H)-E(G)$ to $G$ creates such a subgraph. In the ${\mathcal F}$-saturation game on $H$, players Max and Min alternately add edges of $H$ to $G$, avoiding subgraphs in ${\mathcal F}$, until $G$ becomes ${\mathcal F}$-saturated relative to $H$. They aim to maximize or minimize the length of the game, respectively; $\textrm{sat}_g({\mathcal F};H)$ denotes the length under optimal play (when Max starts).
Let ${\mathcal O}$ denote the family of all odd cycles and ${\mathcal T}$ the family of $n$-vertex trees, and write $F$ for ${\mathcal F}$ when ${\mathcal F}=\{F\}$. Our results include $\textrm{sat}_g({\mathcal O};K_{2k})=k^2$, $\textrm{sat}_g({\mathcal T};K_n)=\binom{n-2}{2}+1$ for $n\ge6$, $\textrm{sat}_g(K_{1,3};K_n)=2\lfloor n/2 \rfloor$ for $n\ge8$, $\textrm{sat}_g(K_{1,r+1};K_n)=\frac{rn}{2}-\frac{r^2}{8}+O(1)$, and $|\textrm{sat}_g(P_4;K_n)-(4n-1)/5|\le 1$. We also determine $\textrm{sat}_g(P_4;K_{m,n})$; with $m\ge n$, it is $n$ when $n$ is even, $m$ when $n$ is odd and $m$ is even, and $m+\lfloor n/2 \rfloor$ when $mn$ is odd. Finally, we prove the lower bound $\textrm{sat}_g(C_4;K_{n,n})\ge\frac{1}{10.4}n^{13/12}-O(n^{35/36})$. The results are very similar when Min plays first, except for the $P_4$-saturation game on $K_{m,n}$.
△ Less
Submitted 11 June, 2014; v1 submitted 12 May, 2014;
originally announced May 2014.
-
Beyond Ohba's Conjecture: A bound on the choice number of $k$-chromatic graphs with $n$ vertices
Authors:
Jonathan A. Noel,
Douglas B. West,
Hehui Wu,
Xuding Zhu
Abstract:
Let $\text{ch}(G)$ denote the choice number of a graph $G$ (also called "list chromatic number" or "choosability" of $G$). Noel, Reed, and Wu proved the conjecture of Ohba that $\text{ch}(G)=χ(G)$ when $|V(G)|\le 2χ(G)+1$. We extend this to a general upper bound: $\text{ch}(G)\le \max\{χ(G),\lceil({|V(G)|+χ(G)-1})/{3}\rceil\}$. Our result is sharp for $|V(G)|\le 3χ(G)$ using Ohba's examples, and i…
▽ More
Let $\text{ch}(G)$ denote the choice number of a graph $G$ (also called "list chromatic number" or "choosability" of $G$). Noel, Reed, and Wu proved the conjecture of Ohba that $\text{ch}(G)=χ(G)$ when $|V(G)|\le 2χ(G)+1$. We extend this to a general upper bound: $\text{ch}(G)\le \max\{χ(G),\lceil({|V(G)|+χ(G)-1})/{3}\rceil\}$. Our result is sharp for $|V(G)|\le 3χ(G)$ using Ohba's examples, and it improves the best-known upper bound for $\text{ch}(K_{4,\dots,4})$.
△ Less
Submitted 27 August, 2014; v1 submitted 30 August, 2013;
originally announced August 2013.
-
An Introduction to the Discharging Method via Graph Coloring
Authors:
Daniel W. Cranston,
Douglas B. West
Abstract:
We provide a "how-to" guide to the use and application of the Discharging Method. Our aim is not to exhaustively survey results proved by this technique, but rather to demystify the technique and facilitate its wider use, using applications in graph coloring as examples. Along the way, we present some new proofs and new problems.
We provide a "how-to" guide to the use and application of the Discharging Method. Our aim is not to exhaustively survey results proved by this technique, but rather to demystify the technique and facilitate its wider use, using applications in graph coloring as examples. Along the way, we present some new proofs and new problems.
△ Less
Submitted 11 October, 2016; v1 submitted 19 June, 2013;
originally announced June 2013.
-
1,2,3-Conjecture and 1,2-Conjecture for Sparse Graphs
Authors:
Daniel W. Cranston,
Sogol Jahanbekam,
Douglas B. West
Abstract:
We apply the Discharging Method to prove the 1,2,3-Conjecture and the 1,2-Conjecture for graphs with maximum average degree less than 8/3. Stronger results on these conjectures have been proved, but this is the first application of discharging to them, and the structure theorems and reducibility results are of independent interest.
We apply the Discharging Method to prove the 1,2,3-Conjecture and the 1,2-Conjecture for graphs with maximum average degree less than 8/3. Stronger results on these conjectures have been proved, but this is the first application of discharging to them, and the structure theorems and reducibility results are of independent interest.
△ Less
Submitted 30 March, 2013; v1 submitted 13 March, 2013;
originally announced March 2013.
-
Game matching number of graphs
Authors:
Daniel W. Cranston,
William B. Kinnersley,
Suil O.,
Douglas B. West
Abstract:
We study a competitive optimization version of $α'(G)$, the maximum size of a matching in a graph $G$. Players alternate adding edges of $G$ to a matching until it becomes a maximal matching. One player (Max) wants that matching to be large; the other (Min) wants it to be small. The resulting sizes under optimal play when Max or Min starts are denoted $\Max(G)$ and $\Min(G)$, respectively. We show…
▽ More
We study a competitive optimization version of $α'(G)$, the maximum size of a matching in a graph $G$. Players alternate adding edges of $G$ to a matching until it becomes a maximal matching. One player (Max) wants that matching to be large; the other (Min) wants it to be small. The resulting sizes under optimal play when Max or Min starts are denoted $\Max(G)$ and $\Min(G)$, respectively. We show that always $|\Max(G)-\Min(G)|\le 1$. We obtain a sufficient condition for $\Max(G)=α'(G)$ that is preserved under cartesian product. In general, $\Max(G)\ge \frac23α'(G)$, with equality for many split graphs, while $\Max(G)\ge\frac34α'(G)$ when $G$ is a forest. Whenever $G$ is a 3-regular $n$-vertex connected graph, $\Max(G) \ge n/3$, and there are such examples with $\Max(G)\le 7n/18$. For an $n$-vertex path or cycle, the answer is roughly $n/7$.
△ Less
Submitted 30 December, 2012; v1 submitted 31 July, 2012;
originally announced August 2012.
-
Revolutionaries and spies: Spy-good and spy-bad graphs
Authors:
Jane V. Butterfield,
Daniel W. Cranston,
Gregory J. Puleo,
Douglas B. West,
Reza Zamani
Abstract:
We study a game on a graph $G$ played by $r$ {\it revolutionaries} and $s$ {\it spies}. Initially, revolutionaries and then spies occupy vertices. In each subsequent round, each revolutionary may move to a neighboring vertex or not move, and then each spy has the same option. The revolutionaries win if $m$ of them meet at some vertex having no spy (at the end of a round); the spies win if they can…
▽ More
We study a game on a graph $G$ played by $r$ {\it revolutionaries} and $s$ {\it spies}. Initially, revolutionaries and then spies occupy vertices. In each subsequent round, each revolutionary may move to a neighboring vertex or not move, and then each spy has the same option. The revolutionaries win if $m$ of them meet at some vertex having no spy (at the end of a round); the spies win if they can avoid this forever.
Let $σ(G,m,r)$ denote the minimum number of spies needed to win. To avoid degenerate cases, assume $|V(G)|\ge r-m+1\ge\floor{r/m}\ge 1$. The easy bounds are then $\floor{r/m}\le σ(G,m,r)\le r-m+1$. We prove that the lower bound is sharp when $G$ has a rooted spanning tree $T$ such that every edge of $G$ not in $T$ joins two vertices having the same parent in $T$. As a consequence, $σ(G,m,r)\leγ(G)\floor{r/m}$, where $γ(G)$ is the domination number; this bound is nearly sharp when $γ(G)\le m$.
For the random graph with constant edge-probability $p$, we obtain constants $c$ and $c'$ (depending on $m$ and $p$) such that $σ(G,m,r)$ is near the trivial upper bound when $r<c\ln n$ and at most $c'$ times the trivial lower bound when $r>c'\ln n$. For the hypercube $Q_d$ with $d\ge r$, we have $σ(G,m,r)=r-m+1$ when $m=2$, and for $m\ge 3$ at least $r-39m$ spies are needed.
For complete $k$-partite graphs with partite sets of size at least $2r$, the leading term in $σ(G,m,r)$ is approximately $\frac{k}{k-1}\frac{r}{m}$ when $k\ge m$. For $k=2$, we have $σ(G,2,r)=\bigl\lceil{\frac{\floor{7r/2}-3}5}\bigr\rceil$ and $σ(G,3,r)=\floor{r/2}$, and in general $\frac{3r}{2m}-3\le σ(G,m,r)\le\frac{(1+1/\sqrt3)r}{m}$.
△ Less
Submitted 26 May, 2012; v1 submitted 13 February, 2012;
originally announced February 2012.
-
Revolutionaries and spies on trees and unicyclic graphs
Authors:
Daniel W. Cranston,
Clifford D. Smyth,
Douglas B. West
Abstract:
A team of $r$ {\it revolutionaries} and a team of $s$ {\it spies} play a game on a graph $G$. Initially, revolutionaries and then spies take positions at vertices. In each subsequent round, each revolutionary may move to an adjacent vertex or not move, and then each spy has the same option. The revolutionaries want to hold an {\it unguarded meeting}, meaning $m$ revolutionaries at some vertex havi…
▽ More
A team of $r$ {\it revolutionaries} and a team of $s$ {\it spies} play a game on a graph $G$. Initially, revolutionaries and then spies take positions at vertices. In each subsequent round, each revolutionary may move to an adjacent vertex or not move, and then each spy has the same option. The revolutionaries want to hold an {\it unguarded meeting}, meaning $m$ revolutionaries at some vertex having no spy at the end of a round. To prevent this forever, trivially at least $\min\{|V(G)|,\FL{r/m}\}$ spies are needed. When $G$ is a tree, this many spies suffices. When $G$ is a unicyclic graph, $\min\{|V(G)|,\CL{r/m}\}$ spies suffice, and we characterize those unicyclic graphs where $\FL{r/m}+1$ spies are needed. \def\FL#1{\lfloor #1 \rfloor} \def\CL#1{\lceil #1 \rceil}
△ Less
Submitted 11 October, 2011;
originally announced October 2011.
-
Chain-making games in grid-like posets
Authors:
Daniel W. Cranston,
William B. Kinnersley,
Kevin G. Milans,
Gregory J. Puleo,
Douglas B. West
Abstract:
We study the Maker-Breaker game on the hypergraph of chains of fixed size in a poset. In a product of chains, the maximum size of a chain that Maker can guarantee building is $k-\lfloor r/2\rfloor$, where $k$ is the maximum size of a chain in the product, and $r$ is the maximum size of a factor chain. We also study a variant in which Maker must follow the chain in order, called the {\it Walker-Blo…
▽ More
We study the Maker-Breaker game on the hypergraph of chains of fixed size in a poset. In a product of chains, the maximum size of a chain that Maker can guarantee building is $k-\lfloor r/2\rfloor$, where $k$ is the maximum size of a chain in the product, and $r$ is the maximum size of a factor chain. We also study a variant in which Maker must follow the chain in order, called the {\it Walker-Blocker game}. In the poset consisting of the bottom $k$ levels of the product of $d$ arbitrarily long chains, Walker can guarantee a chain that hits all levels if $d\ge14$; this result uses a solution to Conway's Angel-Devil game. When d=2, the maximum that Walker can guarantee is only 2/3 of the levels, and 2/3 is asymptotically achievable in the product of two equal chains.
△ Less
Submitted 2 August, 2011;
originally announced August 2011.
-
Overlap Number of Graphs
Authors:
Daniel W. Cranston,
Nitish Korula,
Timothy D. LeSaulnier,
Kevin Milans,
Christopher Stocker,
Jennifer Vandenbussche,
Douglas B. West
Abstract:
An {\it overlap representation} of a graph $G$ assigns sets to vertices so that vertices are adjacent if and only if their assigned sets intersect with neither containing the other. The {\it overlap number} $\ol(G)$ (introduced by Rosgen) is the minimum size of the union of the sets in such a representation. We prove the following: (1) An optimal overlap representation of a tree can be produced in…
▽ More
An {\it overlap representation} of a graph $G$ assigns sets to vertices so that vertices are adjacent if and only if their assigned sets intersect with neither containing the other. The {\it overlap number} $\ol(G)$ (introduced by Rosgen) is the minimum size of the union of the sets in such a representation. We prove the following: (1) An optimal overlap representation of a tree can be produced in linear time, and its size is the number of vertices in the largest subtree in which the neighbor of any leaf has degree 2. (2) If $δ(G)\ge 2$ and $G\ne K_3$, then $\ol(G)\le |E(G)|-1$, with equality when $G$ is connected and triangle-free and has no star-cutset. (3) If $G$ is an $n$-vertex plane graph with $n\ge5$, then $\ol(G)\le 2n-5$, with equality when every face has length 4 and there is no star-cutset. (4) If $G$ is an $n$-vertex graph with $n\ge 14$, then $\ol(G)\le \floor{n^2/4-n/2-1}$, and this is sharp (for even $n$, equality holds when $G$ arises from $K_{n/2,n/2}$ by deleting a perfect matching).
△ Less
Submitted 6 July, 2010;
originally announced July 2010.
-
Classes of 3-regular graphs that are (7, 2)-edge-choosable
Authors:
Daniel W. Cranston,
Douglas B. West
Abstract:
A graph is (7, 2)-edge-choosable if, for every assignment of lists of size 7 to the edges, it is possible to choose two colors for each edge from its list so that no color is chosen for two incident edges. We show that every 3-edge-colorable graph is (7, 2)-edge-choosable and also that many non-3-edge-colorable 3-regular graphs are (7, 2)-edge-choosable.
A graph is (7, 2)-edge-choosable if, for every assignment of lists of size 7 to the edges, it is possible to choose two colors for each edge from its list so that no color is chosen for two incident edges. We show that every 3-edge-colorable graph is (7, 2)-edge-choosable and also that many non-3-edge-colorable 3-regular graphs are (7, 2)-edge-choosable.
△ Less
Submitted 8 June, 2008;
originally announced June 2008.
-
Proper path-factors and interval edge-coloring of (3,4)-biregular bigraphs
Authors:
Armen S. Asratian,
Carl Johan Casselgren,
Jennifer Vandenbussche,
Douglas B. West
Abstract:
An interval coloring of a graph G is a proper coloring of E(G) by positive integers such that the colors on the edges incident to any vertex are consecutive. A (3,4)-biregular bigraph is a bipartite graph in which each vertex of one part has degree 3 and each vertex of the other has degree 4; it is unknown whether these all have interval colorings. We prove that G has an interval coloring using…
▽ More
An interval coloring of a graph G is a proper coloring of E(G) by positive integers such that the colors on the edges incident to any vertex are consecutive. A (3,4)-biregular bigraph is a bipartite graph in which each vertex of one part has degree 3 and each vertex of the other has degree 4; it is unknown whether these all have interval colorings. We prove that G has an interval coloring using 6 colors when G is a (3,4)-biregular bigraph having a spanning subgraph whose components are paths with endpoints at 3-valent vertices and lengths in {2,4,6,8}. We provide sufficient conditions for the existence of such a subgraph.
△ Less
Submitted 19 April, 2007;
originally announced April 2007.
-
Short Proofs for Cut-and-Paste Sorting of Permutations
Authors:
Daniel Cranston,
I. Hal Sudborough,
Douglas B. West
Abstract:
We consider the problem of determining the maximum number of moves required to sort a permutation of $[n]$ using cut-and-paste operations, in which a segment is cut out and then pasted into the remaining string, possibly reversed. We give short proofs that every permutation of $[n]$ can be transformed to the identity in at most $\flr{2n/3}$ such moves and that some permutations require at least…
▽ More
We consider the problem of determining the maximum number of moves required to sort a permutation of $[n]$ using cut-and-paste operations, in which a segment is cut out and then pasted into the remaining string, possibly reversed. We give short proofs that every permutation of $[n]$ can be transformed to the identity in at most $\flr{2n/3}$ such moves and that some permutations require at least $\flr{n/2}$ moves.
△ Less
Submitted 3 May, 2006;
originally announced May 2006.
-
Parity Edge-Coloring of Graphs
Authors:
David P. Bunde,
Kevin Milans,
Douglas B. West,
Hehui Wu
Abstract:
In a graph whose edges are colored, a parity walk is a walk that uses each color an even number of times. The parity edge chromatic number p(G) of a graph G is the least k so that there is a coloring of E(G) using k colors that does not contain a parity path. The strong parity edge chromatic number p'(G) of G is the least k so that there is a coloring of E(G) using k colors with the property tha…
▽ More
In a graph whose edges are colored, a parity walk is a walk that uses each color an even number of times. The parity edge chromatic number p(G) of a graph G is the least k so that there is a coloring of E(G) using k colors that does not contain a parity path. The strong parity edge chromatic number p'(G) of G is the least k so that there is a coloring of E(G) using k colors with the property that every parity walk is closed.
Our main result is to determine p'(K_n). Specifically, if m is the least power of two that is as large as n, then p'(K_n) has value m - 1. As a corollary, we strengthen a special case of an old result of Daykin and Lovasz. Other results include determining p(G) and p'(G) whenever G is a path, cycle, or of the form K_{2,n}, and an upper bound on p'(G) for the case that G is a complete bipartite graph. We conclude with a sample of open problems.
△ Less
Submitted 15 February, 2006;
originally announced February 2006.
-
Pebbling and Optimal Pebbling in Graphs
Authors:
D. P. Bunde,
E. W. Chambers,
D. Cranston,
K. Milans,
D. B. West
Abstract:
Given a distribution of pebbles on the vertices of a graph G, a {\it pebbling move} takes two pebbles from one vertex and puts one on a neighboring vertex. The {\it pebbling number} Π(G) is the minimum k such that for every distribution of k pebbles and every vertex r, it is possible to move a pebble to r. The {\it optimal pebbling number} Π_{OPT}(G) is the minimum k such that some distribution…
▽ More
Given a distribution of pebbles on the vertices of a graph G, a {\it pebbling move} takes two pebbles from one vertex and puts one on a neighboring vertex. The {\it pebbling number} Π(G) is the minimum k such that for every distribution of k pebbles and every vertex r, it is possible to move a pebble to r. The {\it optimal pebbling number} Π_{OPT}(G) is the minimum k such that some distribution of k pebbles permits reaching each vertex.
We give short proofs of prior results on these parameters for paths, cycles, trees, and hypercubes, a new linear-time algorithm for computing Π(G) on trees, and new results on Π_{OPT}(G). If G is a connected n-vertex graph, then Π_{OPT}(G)\le\ceiling{2n/3}, with equality for paths and cycles. If \bf{G} is the family of n-vertex connected graphs with minimum degree k, then 2.4\le \max_{G\in \bf{G}} Π_{OPT}(G) \frac{k+1}{n}\le 4 when k>15 and k is a multiple of 3. Finally, Π_{OPT}(G)\le 4^tn/((k-1)^t+4^t) when G is a connected n-vertex graph with minimum degree k and girth at least 2t+1. For t=2, a more precise version of this last bound is Π_{OPT}(G)\le 16n/(k^2+17).
△ Less
Submitted 28 October, 2005;
originally announced October 2005.
-
Multiple vertex coverings by specified induced subgraphs
Authors:
Zoltan Furedi,
Dhruv Mubayi,
Douglas B. West
Abstract:
Given graphs H_1,...,H_k, we study the minimum order of a graph G such that for each i, the induced copies of H_i in G cover V(G). We prove a general upper bound of twice the sum of the numbers m_i, where m_i is one less than the order of H_i. When k=2 and one graph is an independent set of size n, we determine the optimum within a constant. When k=2 and the graphs are a star and an independent…
▽ More
Given graphs H_1,...,H_k, we study the minimum order of a graph G such that for each i, the induced copies of H_i in G cover V(G). We prove a general upper bound of twice the sum of the numbers m_i, where m_i is one less than the order of H_i. When k=2 and one graph is an independent set of size n, we determine the optimum within a constant. When k=2 and the graphs are a star and an independent set, we determine the answer exactly.
△ Less
Submitted 22 December, 1999;
originally announced December 1999.
