arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4410 papers tagged with this keyword
2015-06-14
Coloring the squares of graphs whose maximum average degrees are less than 4
Published • View PublicationBIB
The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. The {\em maximum average degree} of $G$, $mad (G)$, is the maximum among the average degrees of the subgraphs of $G$. It is known in \cite{BLP-14-JGT} that there is no constant $C$ such that every graph $G$ with $mad(G)< 4$ has $χ(G^2) \leq Δ(G) + C$. Charpentier \cite{Charpentier14} conjectured that there exists an integer $D$ such that every graph $G$ with $Δ(G)\ge D$ and $mad(G)<4$ has $χ(G^2) \leq 2 Δ(G)$. Recent result in \cite{BLP-DM} implies that $χ(G^2) \leq 2 Δ(G)$ if $mad(G) < 4 -\frac{1}{c}$ with $Δ(G) \geq 40c -16$. In this paper, we show for $c\ge 2$, if $mad(G) < 4 - \frac{1}{c}$ and $Δ(G) \geq 14c-7$, then $χ_\ell(G^2) \leq 2 Δ(G)$, which improves the result in \cite{BLP-DM}. We also show that for every integer $D$, there is a graph $G$ with $Δ(G)\ge D$ such that $mad(G)<4$, and $χ(G^2) \geq 2Δ(G) +2$, which disproves Charpentier's conjecture. In addition, we give counterexamples to Charpentier's another conjecture in \cite{Charpentier14}, stating that for every integer $k\ge 3$, there is an integer $D_k$ such that every graph $G$ with $mad(G)<2k$ and $Δ(G)\ge D_k$ has $χ(G^2) \leq kΔ(G) -k$.
The strong equitable vertex 2-arboricity of complete bipartite and tripartite graphs
Published • View PublicationBIB
A $(q,r)$\emph{-tree-coloring} of a graph $G$ is a $q$-coloring of vertices of $G$ such that the subgraph induced by each color class is a forest of maximum degree at most $r.$ An \emph{equitable $(q, r)$-tree-coloring} of a graph $G$ is a $(q,r)$-tree-coloring such that the sizes of any two color classes differ by at most one. Let the \emph{strong equitable vertex $r$-arboricity} be the minimum $p$ such that $G$ has an equitable $(q, r)$-tree-coloring for every $q\geq p.$ In this paper, we find the exact value for each $va^\equiv_2(K_{m,n})$ and $va^\equiv_2(K_{l,m,n}).$
2015-06-11
On the equitable vertex arboricity of complete tripartite graphs
Published • View PublicationBIB
The equitable coloring problem, introduced by Meyer in 1973, has received considerable attention and research. Recently, Wu et al. introduced the concept of equitable (t,k)-tree-coloring, which can be viewed as a generalization of proper equitable t-coloring. The strong equitable vertex k-arboricity of complete bipartite equipartition graphs was investigated in 2013. In this paper, we study the exact value of the strong equitable vertex 3-arboricity of complete equipartition tripartite graphs.
2015-06-11
Upper and Lower Bounds on Long Dual-Paths in Line Arrangements
Published • View PublicationBIB
Given a line arrangement $\cal A$ with $n$ lines, we show that there exists a path of length $n^2/3 - O(n)$ in the dual graph of $\cal A$ formed by its faces. This bound is tight up to lower order terms. For the bicolored version, we describe an example of a line arrangement with $3k$ blue and $2k$ red lines with no alternating path longer than $14k$. Further, we show that any line arrangement with $n$ lines has a coloring such that it has an alternating path of length $Ω(n^2/ \log n)$. Our results also hold for pseudoline arrangements.
2015-06-10 v2
Optimal Colorings with Rainbow Paths
Published • View PublicationBIB
Let $G$ be a connected graph of chromatic number $k$. For a $k$-coloring $f$ of $G$, a full $f$-rainbow path is a path of order $k$ in $G$ whose vertices are all colored differently by $f$. We show that $G$ has a $k$-coloring $f$ such that every vertex of $G$ lies on a full $f$-rainbow path, which provides a positive answer to a question posed by Lin (Simple proofs of results on paths representing all colors in proper vertex-colorings, Graphs Combin. 23 (2007) 201-203). Furthermore, we show that if $G$ has a cycle of length $k$, then $G$ has a $k$-coloring $f$ such that, for every vertex $u$ of $G$, some full $f$-rainbow path begins at $u$, which solves a problem posed by Bessy and Bousquet (Colorful paths for 3-chromatic graphs, arXiv 1503.00965v1). Finally, we establish some more results on the existence of optimal colorings with (directed) full rainbow paths.
2015-06-05
First non-trivial upper bound on the circular chromatic number of the plane
Published • View PublicationBIB
We consider circular version of the famous Nelson-Hadwiger problem. It is know that 4 colors are necessary and 7 colors suffice to color the euclidean plane in such a way that points at distance one get different colors. In $r$-circular coloring we assign arcs of length one of a circle with a perimeter $r$ in such a way that points at distance one get disjoint arcs. In this paper we show the existence of $r$-circular coloring for $r=4+\frac{4\sqrt{3}}{3}\approx 6.30$. It is the first result with $r$-circular coloring of the plane with $r$ smaller than 7. We also show $r$-circular coloring of the plane with $r<7$ in the case when we require disjoint arcs for points at distance belonging to the internal $[\frac{10}{11}, \frac{12}{11}]$.
Fractional and $j$-fold colouring of the plane
Published in Discrete Comput Geom (2016) 55: 594 • View PublicationBIB
We present results referring to the Hadwiger-Nelson problem which asks for the minimum number of colours needed to colour the plane with no two points at distance $1$ having the same colour. Exoo considered a more general problem concerning graphs $G_{[a,b]}$ with $\mathbb{R}^2$ as the vertex set and two vertices adjacent if their distance is in the interval $[a,b]$. Exoo conjectured $χ(G_{[a,b]}) = 7$ for sufficiently small but positive difference between $a$ and $b$. We partially answer this conjecture by proving that $χ(G_{[a,b]}) \geq 5$ for $b > a$. A $j$-fold colouring of graph $G = (V,E)$ is an assignment of $j$-elemental sets of colours to the vertices of $G$, in such a way that the sets assigned to any two adjacent vertices are disjoint. The fractional chromatic number $χ_f(G)$ is the infimum of fractions $k/j$ for $j$-fold colouring of $G$ using $k$ colours. We generalize a method by Hochberg and O'Donnel (who proved that $G_{[1,1]} \leq 4.36$) for fractional colouring of graphs $G_{[a,b]}$, obtaining a bound dependant on $\frac{a}{b}$. We also present few specific and two general methods for $j$-fold coloring of $G_{[a,b]}$ for small $j$, in particular for $G_{[1,1]}$ and $G_{[1,2]}$. The $j$-fold colouring for small $j$ has strong practical motivation especially in scheduling theory, while graph $G_{[1,2]}$ is often used to model hidden conflicts in radio networks.
2015-06-03 v2
Chip games and paintability
Published • View PublicationBIB
We prove that the difference between the paint number and the choice number of a complete bipartite graph $K_{N,N}$ is $Θ(\log \log N )$. That answers the question of Zhu (2009) whether this difference, for all graphs, can be bounded by a common constant. By a classical correspondence, our result translates to the framework of on-line coloring of uniform hypergraphs. This way we obtain that for every on-line two coloring algorithm there exists a k-uniform hypergraph with $Θ(2^k )$ edges on which the strategy fails. The results are derived through an analysis of a natural family of chip games.
2015-05-31
First-fit coloring on interval graphs has performance ratio at least 5
Published • View PublicationBIB
First-fit is the online graph coloring algorithm that considers vertices one at a time in some order and assigns each vertex the least positive integer not used already on a neighbor. The maximum number of colors used by first-fit on graph G over all vertex orders is denoted χ_{FF}(G). The exact value of R := \sup_G [χ_{FF}(G) / ω(G)] over interval graphs G is unknown. Pemmaraju, Raman, and Varadarajan (2004) proved R <= 10, and this can be improved to 8. Witsenhausen (1976) and Chrobak and Ślusarek (1988) showed R >= 4, and Ślusarek (1993) improved this to 4.45. We prove R >= 5.
2015-05-30 v2
On the Equitable Vertex Arboricity of Graphs
The equitable coloring problem, introduced by Meyer in 1973, has received considerable attention and research. Recently, Wu, Zhang and Li introduced the concept of equitable $(t,k)$-tree-coloring, which can be regarded as a generalization of proper equitable $t$-coloring. The \emph{strong equitable vertex $k$-arboricity} of $G$, denoted by ${va_k}^\equiv(G)$, is the smallest integer $t$ such that $G$ has an equitable $(t', k)$-tree-coloring for every $t'\geq t$. The exact value of strong equitable vertex $k$-arboricity of complete equipartition bipartite graph $K_{n,n}$ was studied by Wu, Zhang and Li. In this paper, we first get a sharp upper bound of strong equitable vertex arboricity of complete bipartite graph$K_{n,n+\ell} \ (1\leq \ell\leq n)$, that is, ${va_2}^\equiv(K_{n,n+\ell})\leq2\left\lfloor{\frac{n+\ell+1}{3}}\right\rfloor$. Next, we obtain a sufficient and necessary condition on an equitable $(q,\infty)$-tree coloring of a complete equipartition tripartite graph, and study the strong equitable vertex arboricity of forests. For a simple graph $G$ of order $n$, we show that $1\leq {va_k}^\equiv(G)\leq \lceil n/2 \rceil$. Furthermore, graphs with ${va_k}^\equiv(G)=1,\lceil\frac{n}{2}\rceil,\lceil\frac{n}{2}\rceil-1$ are characterized, respectively. In the end, we obtain the Nordhaus-Gaddum type results of strong equitable vertex $k$-arboricity for general $k$.
2015-05-29 v2
Coincidence indices of sublattices and coincidences of colorings
Published in Z. Kristallogr. (2015). 230(12), 749-759 • View PublicationBIB
Even though a lattice and its sublattices have the same group of coincidence isometries, the coincidence index of a coincidence isometry with respect to a lattice $Λ_1$ and to a sublattice $Λ_2$ may differ. Here, we examine the coloring of $Λ_1$ induced by $Λ_2$ to identify how the coincidence indices with respect to $Λ_1$ and to $Λ_2$ are related. This leads to a generalization of the notion of color symmetries of lattices to what we call color coincidences of lattices. Examples involving the cubic and hypercubic lattices are given to illustrate these ideas.
Subdivision into i-packings and S-packing chromatic number of some lattices
Published • View PublicationBIB
An $i$-packing in a graph $G$ is a set of vertices at pairwise distance greater than $i$. For a nondecreasing sequence of integers $S=(s\_{1},s\_{2},\ldots)$, the $S$-packing chromatic number of a graph $G$ is the least integer $k$ such that there exists a coloring of $G$ into $k$ colors where each set of vertices colored $i$, $i=1,\ldots, k$, is an $s\_i$-packing. This paper describes various subdivisions of an $i$-packing into $j$-packings ($j\textgreater{}i$) for the hexagonal, square and triangular lattices. These results allow us to bound the $S$-packing chromatic number for these graphs, with more precise bounds and exact values for sequences $S=(s\_{i}, i\in\mathbb{N}^{*})$, $s\_{i}=d+ \lfloor (i-1)/n \rfloor$.
2015-05-27 v2
Fine structure of 4-critical triangle-free graphs I. Planar graphs with two triangles and 3-colorability of chains
Published • View PublicationBIB
Aksenov proved that in a planar graph G with at most one triangle, every precoloring of a 4-cycle can be extended to a 3-coloring of G. We give an exact characterization of planar graphs with two triangles in that some precoloring of a 4-cycle does not extend. We apply this characterization to solve the precoloring extension problem from two 4-cycles in a triangle-free planar graph in the case that the precolored 4-cycles are separated by many disjoint 4-cycles. The latter result is used in followup papers to give detailed information about the structure of 4-critical triangle-free graphs embedded in a fixed surface.
2015-05-27
Fine structure of 4-critical triangle-free graphs II. Planar triangle-free graphs with two precolored 4-cycles
Published in SIAM J. Discrete Math 31 (2017) 865-874 • View PublicationBIB
We study 3-coloring properties of triangle-free planar graphs $G$ with two precolored 4-cycles $C_1$ and $C_2$ that are far apart. We prove that either every precoloring of $C_1\cup C_2$ extends to a 3-coloring of $G$, or $G$ contains one of two special substructures which uniquely determine which 3-colorings of $C_1\cup C_2$ extend. As a corollary, we prove that there exists a constant $D>0$ such that if $H$ is a planar triangle-free graph and $S\subseteq V(H)$ consists of vertices at pairwise distances at least $D$, then every precoloring of $S$ extends to a 3-coloring of $H$. This gives a positive answer to a conjecture of Dvořák, Král' and Thomas, and implies an exponential lower bound on the number of 3-colorings of triangle-free planar graphs of bounded maximum degree.
2015-05-27 v2
Fine structure of 4-critical triangle-free graphs III. General surfaces
Published • View PublicationBIB
Dvořák, Král' and Thomas gave a description of the structure of triangle-free graphs on surfaces with respect to 3-coloring. Their description however contains two substructures (both related to graphs embedded in plane with two precolored cycles) whose coloring properties are not entirely determined. In this paper, we fill these gaps.
2015-05-27 v2
Directed paths: from Ramsey to Ruzsa and Szemerédi
Starting from an innocent Ramsey-theoretic question regarding directed paths in tournaments, we discover a series of rich and surprising connections that lead into the theory around a fundamental problem in Combinatorics: the Ruzsa-Szemerédi induced matching problem. Using these relationships, we prove that every coloring of the edges of the transitive $n$-vertex tournament using three colors contains a directed path of length at least $\sqrt{n} \cdot e^{\log^* n}$ which entirely avoids some color. We also expose connections to a family of constructions for Ramsey tournaments, and introduce and resolve some natural generalizations of the Ruzsa-Szemerédi problem which we encounter through our investigation.
2015-05-27 v2
Semi-algebraic colorings of complete graphs
We consider $m$-colorings of the edges of a complete graph, where each color class is defined semi-algebraically with bounded complexity. The case $m = 2$ was first studied by Alon et al., who applied this framework to obtain surprisingly strong Ramsey-type results for intersection graphs of geometric objects and for other graphs arising in computational geometry. Considering larger values of $m$ is relevant, e.g., to problems concerning the number of distinct distances determined by a point set. For $p\ge 3$ and $m\ge 2$, the classical Ramsey number $R(p;m)$ is the smallest positive integer $n$ such that any $m$-coloring of the edges of $K_n$, the complete graph on $n$ vertices, contains a monochromatic $K_p$. It is a longstanding open problem that goes back to Schur (1916) to decide whether $R(p;m)=2^{O(m)}$, for a fixed $p$. We prove that this is true if each color class is defined semi-algebraically with bounded complexity. The order of magnitude of this bound is tight. Our proof is based on the Cutting Lemma of Chazelle {\em et al.}, and on a Szemerédi-type regularity lemma for multicolored semi-algebraic graphs, which is of independent interest. The same technique is used to address the semi-algebraic variant of a more general Ramsey-type problem of Erdős and Shelah.
2015-05-22
Five-list-coloring graphs on surfaces II. A linear bound for critical graphs in a disk
Published in J. Combin. Theory Ser. B 119 (2016), 42-65 • View PublicationBIB
Let $G$ be a plane graph with outer cycle $C$ and let $(L(v):v\in V(G))$ be a family of sets such that $|L(v)|\ge 5$ for every $v\in V(G)$. By an $L$-coloring of a subgraph $J$ of $G$ we mean a (proper) coloring $φ$ of $J$ such that $φ(v)\in L(v)$ for every vertex $v$ of $J$. We prove a conjecture of Dvorak et al. that if $H$ is a minimal subgraph of $G$ such that $C$ is a subgraph of $H$ and every $L$-coloring of $C$ that extends to an $L$-coloring of $H$ also extends to an $L$-coloring of $G$, then $|V(H)|\le 19|V(C)|$. This is a lemma that plays an important role in subsequent papers, because it motivates the study of graphs embedded in surfaces that satisfy an isoperimetric inequality suggested by this result. Such study turned out to be quite profitable for the subject of list coloring graphs on surfaces.
The game colouring number of powers of forests
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 1, Graph Theory (November 24, 2015) dmtcs:648 • View PublicationBIB
We prove that the game colouring number of the $m$-th power of a forest of maximum degree $Δ\ge3$ is bounded from above by \[\frac{(Δ-1)^m-1}{Δ-2}+2^m+1,\] which improves the best known bound by an asymptotic factor of 2.
2015-05-21 v2
Off-diagonal hypergraph Ramsey numbers
Published • View PublicationBIB
The Ramsey number $r_k(s,n)$ is the minimum $N$ such that every red-blue coloring of the $k$-subsets of $\{1, \ldots, N\}$ contains a red set of size $s$ or a blue set of size $n$, where a set is red (blue) if all of its $k$-subsets are red (blue). A $k$-uniform \emph{tight path} of size $s$, denoted by $P_{s}$, is a set of $s$ vertices $v_1 < \cdots < v_{s}$ in $\mathbb{Z}$, and all $s-k+1$ edges of the form $\{v_j,v_{j+1},\ldots, v_{j + k -1}\}$. Let $r_k(P_s, n)$ be the minimum $N$ such that every red-blue coloring of the $k$-subsets of $\{1, \ldots, N\}$ results in a red $P_{s}$ or a blue set of size $n$. The problem of estimating both $r_k(s,n)$ and $r_k(P_s, n)$ for $k=2$ goes back to the seminal work of Erdos and Szekeres from 1935, while the case $k\ge 3$ was first investigated by Erdos and Rado in 1952. In this paper, we deduce a quantitative relationship between multicolor variants of $r_k(P_s, n)$ and $r_k(n, n)$. This yields several consequences including the following: (1) We determine the correct tower growth rate for both $r_k(s,n)$ and $r_k(P_s, n)$ for $s \ge k+3$. The question of determining the tower growth rate of $r_k(s,n)$ for all $s \ge k+1$ was posed by Erdos and Hajnal in 1972. (2) We show that determining the tower growth rate of $r_k(P_{k+1}, n)$ is equivalent to determining the tower growth rate of $r_k(n,n)$, which is a notorious conjecture of Erdos, Hajnal and Rado from 1965 that remains open. Some related off-diagonal hypergraph Ramsey problems are also explored.