coloring
4497 papers tagged with this keyword
Edge-colorings of graphs avoiding complete graphs with a prescribed coloring
Published
• View Publication
• BIB
Given a graph $F$ and an integer $r \ge 2$, a partition $\widehat{F}$ of the edge set of $F$ into at most $r$ classes, and a graph $G$, define $c_{r, \widehat{F}}(G)$ as the number of $r$-colorings of the edges of $G$ that do not contain a copy of $F$ such that the edge partition induced by the coloring is isomorphic to the one of $F$. We think of $\widehat{F}$ as the pattern of coloring that should be avoided. The main question is, for a large enough $n$, to find the (extremal) graph $G$ on $n$ vertices which maximizes $c_{r, \widehat{F}}(G)$. This problem generalizes a question of Erd{\H o}s and Rothschild, who originally asked about the number of colorings not containing a monochromatic clique (which is equivalent to the case where $F$ is a clique and the partition $\widehat{F}$ contains a single class). We use Hölder's Inequality together with Zykov's Symmetrization to prove that, for any $r \geq 2$, $k \geq 3$ and any pattern $\widehat{K_k}$ of the clique $K_k$, there exists a complete multipartite graph that is extremal. Furthermore, if the pattern $\widehat{K_k}$ has at least two classes, with the possible exception of two very small patterns (on three or four vertices), every extremal graph must be a complete multipartite graph. In the case that $r=3$ and $\widehat{F}$ is a rainbow triangle (that is, where $F=K_3$ and each part is a singleton), we show that an extremal graph must be an almost complete graph. Still for $r=3$, we extend a result about monochromatic patterns of Alon, Balogh, Keevash and Sudakov to some patterns that use two of the three colors, finding the exact extremal graph. For the later two results, we use the Regularity and Stability Method.
Keeping Your Distance is Hard
Published
• View Publication
• BIB
We study the computational complexity of distance games, a class of combinatorial games played on graphs. A move consists of colouring an uncoloured vertex subject to it not being at certain distances determined by two sets, D and S. D is the set of forbidden distances for colouring vertices in different colors, while S is the set of forbidden distances for the same colour. The last player to move wins. Well-known examples of distance games are Node-Kayles, Snort, and Col, whose complexities were shown to be PSPACE-hard. We show that many more distance games are also PSPACE-hard.
Sub-Ramsey numbers for arithmetic progressions
Published in Graphs Combin. 22(3) (2006), 297--309
• View Publication
• BIB
Let the integers $1,\ldots,n$ be assigned colors. Szemerédi's theorem implies that if there is a dense color class then there is an arithmetic progression of length three in that color. We study the conditions on the color classes forcing totally multicolored arithmetic progressions of length 3.
Let $f(n)$ be the smallest integer $k$ such that there is a coloring of $\{1, \ldots, n\}$ without totally multicolored arithmetic progressions of length three and such that each color appears on at most $k$ integers. We provide an exact value for $f(n)$ when $n$ is sufficiently large, and all extremal colorings. In particular, we show that $f(n)= 8n/17 + O(1)$. This completely answers a question of Alon, Caro and Tuza.
A note on short cycles in a hypercube
Published in Discrete Math. 306(18) (2006), 2212-2218
• View Publication
• BIB
How many edges can a quadrilateral-free subgraph of a hypercube have? This question was raised by Paul Erdős about $27$ years ago. His conjecture that such a subgraph asymptotically has at most half the edges of a hypercube is still unresolved. Let $f(n,C_l)$ be the largest number of edges in a subgraph of a hypercube $Q_n$ containing no cycle of length $l$. It is known that $f(n, C_l) = o(|E(Q_n)|)$, when $l= 4k$, $k\geq 2$ and that $f(n, C_6) \geq \frac{1}{3} |E(Q_n)|$. It is an open question to determine $f(n, C_l)$ for $l=4k+2$, $k\geq 2$. Here, we give a general upper bound for $f(n,C_l)$ when $l=4k+2$ and provide a coloring of $E(Q_n)$ by $4$ colors containing no induced monochromatic $C_{10}$.
On weighted Ramsey numbers
Published in Australas. J. Combin. 38 (2007), 179--194
• Search Publication
The weighted Ramsey number, ${\rm wR}(n,k)$, is the minimum $q$ such that there is an assignment of nonnegative real numbers (weights) to the edges of $K_n$ with the total sum of the weights equal to ${n\choose 2}$ and there is a Red/Blue coloring of edges of the same $K_n$, such that in any complete $k$-vertex subgraph $H$, of $K_n$, the sum of the weights on Red edges in $H$ is at most $q$ and the sum of the weights on Blue edges in $H$ is at most $q$. This concept was introduced recently by Fujisawa and Ota.
We provide new bounds on ${\rm wR}(n,k)$, for $k\geq 4$ and $n$ large enough and show that determining ${\rm wR}(n,3)$ is asymptotically equivalent to the problem of finding the fractional packing number of monochromatic triangles in colorings of edges of complete graphs with two colors.
Box complexes and homotopy theory of graphs
Published
• View Publication
• BIB
We introduce a model structure on the category of graphs, which is Quillen equivalent to the category of $\mathbb{Z}_2$-spaces. A weak equivalence is a graph homomorphism which induces a $\mathbb{Z}_2$-homotopy equivalence between their box complexes. The box complex is a $\mathbb{Z}_2$-space associated to a graph, considered in the context of the graph coloring problem. In the proof, we discuss the universality problem of the Hom complex.
The Erdős-Rothschild problem on edge-colourings with forbidden monochromatic cliques
Published
• View Publication
• BIB
Let $\mathbf{k} := (k_1,\dots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\mathbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\mathbf{k})$ to denote the maximum of $F(G;\mathbf{k})$ over all graphs $G$ on $n$ vertices. This problem was first considered by Erdős and Rothschild in 1974, but it has been solved only for a very small number of non-trivial cases.
We prove that, for every $\mathbf{k}$ and $n$, there is a complete multipartite graph $G$ on $n$ vertices with $F(G;\mathbf{k}) = F(n;\mathbf{k})$. Also, for every $\mathbf{k}$ we construct a finite optimisation problem whose maximum is equal to the limit of $\log_2 F(n;\mathbf{k})/{n\choose 2}$ as $n$ tends to infinity. Our final result is a stability theorem for complete multipartite graphs $G$, describing the asymptotic structure of such $G$ with $F(G;\mathbf{k}) = F(n;\mathbf{k}) \cdot 2^{o(n^2)}$ in terms of solutions to the optimisation problem.
Multiple list colouring of planar graphs
Published
• View Publication
• BIB
This paper proves that for each positive integer $m$, there is a planar graph $G$ which is not $(4m+\lfloor \frac{2m-1}{9}\rfloor,m)$-choosable. Then we pose some conjectures concerning multiple list colouring of planar graphs.
Every planar graph is $1$-defective $(9,2)$-paintable
Published
• View Publication
• BIB
Assume $L$ is a $k$-list assignment of a graph $G$. A $d$-defective $m$-fold $L$-colouring $φ$ of $G$ assigns to each vertex $v$ a set $φ(v)$ of $m$ colours, so that $φ(v) \subseteq L(v)$ for each vertex $v$, and for each colour $i$, the set $\{v: i \in φ(v)\}$ induces a subgraph of maximum degree at most $d$. In this paper, we consider on-line list $d$-defective $m$-fold colouring of graphs, where the list assignment $L$ is given on-line, and the colouring is constructed on-line. To be precise, the $d$-defective $(k,m)$-painting game on a graph $G$ is played by two players: Lister and Painter. Initially, each vertex has $k$ tokens and is uncoloured. In each round, Lister chooses a set $M$ of vertices and removes one token from each chosen vertex. Painter colours a subset $X$ of $M$ which induces a subgraph $G[X]$ of maximum degree at most $d$. A vertex $v$ is fully coloured if $v$ has received $m$ colours. Lister wins if at the end of some round, there is a vertex with no more tokens left and is not fully coloured. Otherwise, at some round, all vertices are fully coloured and Painter wins. We say $G$ is $d$-defective $(k,m)$-paintable if Painter has a winning strategy in this game. This paper proves that every planar graph is $1$-defective $(9,2)$-paintable.
A Note on $4$-colorings of Quadrangulations
Let $G$ be a quadrangulation on an orientable surface and let $g$ be a proper vertex-$4$-coloring of $G$. A face $F$ of $G$ is said to be a rainbow-face if all four distinct colors appear on its boundary. A $(c_1,c_2,c_3,c_4)$-face in $G$ is a rainbow face with colors $c_i$, $i=1,2,3,4$ on the boundary in clockwise order. We show that the number of $(c_1,c_2,c_3,c_4)$-faces in $G$ equals the number of $(c_4,c_3,c_2,c_1)$-faces. This implies in particular that the number of rainbow-faces of $G$ is even.
$(δ, χ_{_{\sf FF}})$-bounded families of graphs
For any graph $G$, the First-Fit (or Grundy) chromatic number of $G$, denoted by $χ_{_{\sf FF}}(G)$, is defined as the maximum number of colors used by the First-Fit (greedy) coloring of the vertices of $G$. We call a family $\mathcal{F}$ of graphs $(δ, χ_{_{\sf FF}})$-bounded if there exists a function $f(x)$ with $f(x)\rightarrow \infty$ as $x\rightarrow \infty$ such that for any graph $G$ from the family one has $χ_{_{\sf FF}}(G)\geq f(δ(G))$, where $δ(G)$ is the minimum degree of $G$. We first give some results concerning $(δ, χ_{_{\sf FF}})$-bounded families and obtain a few such families. Then we prove that for any positive integer $\ell$, $Forb(K_{\ell,\ell})$ is $(δ, χ_{_{\sf FF}})$-bounded, where $K_{\ell,\ell}$ is complete bipartite graph. We conjecture that if $G$ is any $C_4$-free graph then $χ_{_{\sf FF}}(G)\geq δ(G)+1$. We prove the validity of this conjecture for chordal graphs, complement of bipartite graphs and graphs with low minimum degree.
A note on Erdös-Faber-Lovász Conjecture and edge coloring of complete graphs
A linear hypergraph is intersecting if any two different edges have exactly one common vertex and an $n$-quasicluster is an intersecting linear hypergraph with $n$ edges each one containing at most $n$ vertices and every vertex is contained in at least two edges. The Erdös-Faber-Lovász Conjecture states that the chromatic number of any $n$-quasicluster is at most $n$. In the present note we prove the correctness of the conjecture for a new infinite class of $n$-quasiclusters using a specific edge coloring of the complete graph.
The number of subsets of integers with no $k$-term arithmetic progression
Published
• View Publication
• BIB
Addressing a question of Cameron and Erd\Ho s, we show that, for infinitely many values of $n$, the number of subsets of $\{1,2,\ldots, n\}$ that do not contain a $k$-term arithmetic progression is at most $2^{O(r_k(n))}$, where $r_k(n)$ is the maximum cardinality of a subset of $\{1,2,\ldots, n\}$ without a $k$-term arithmetic progression. This bound is optimal up to a constant factor in the exponent. For all values of $n$, we prove a weaker bound, which is nevertheless sufficient to transfer the current best upper bound on $r_k(n)$ to the sparse random setting. To achieve these bounds, we establish a new supersaturation result, which roughly states that sets of size $Θ(r_k(n))$ contain superlinearly many $k$-term arithmetic progressions.
For integers $r$ and $k$, Erd\Ho s asked whether there is a set of integers $S$ with no $(k+1)$-term arithmetic progression, but such that any $r$-coloring of $S$ yields a monochromatic $k$-term arithmetic progression. Nešetřil and Rödl, and independently Spencer, answered this question affirmatively. We show the following density version: for every $k\ge 3$ and $δ>0$, there exists a reasonably dense subset of primes $S$ with no $(k+1)$-term arithmetic progression, yet every $U\subseteq S$ of size $|U|\geδ|S|$ contains a $k$-term arithmetic progression.
Our proof uses the hypergraph container method, which has proven to be a very powerful tool in extremal combinatorics. The idea behind the container method is to have a small certificate set to describe a large independent set. We give two further applications in the appendix using this idea.
A Vizing-like theorem for union vertex-distinguishing edge coloring
Published
• View Publication
• BIB
We introduce a variant of the vertex-distinguishing edge coloring problem, where each edge is assigned a subset of colors. The label of a vertex is the union of the sets of colors on edges incident to it. In this paper we investigate the problem of finding a coloring with the minimum number of colors where every vertex receives a distinct label. Finding such a coloring generalizes several other well-known problems of vertex-distinguishing colorings in graphs.We show that for any graph (without connected component reduced to an edge or a single vertex), the minimum number of colors for which such a coloring exists can only take 3possible values depending on the order of the graph. Moreover, we provide the exact value for paths, cycles and complete binary trees.
Algorithm on rainbow connection for maximal outerplanar graphs
Published
• View Publication
• BIB
In this paper, we consider rainbow connection number of maximal outerplanar graphs(MOPs) on algorithmic aspect. For the (MOP) $G$, we give sufficient conditions to guarantee that $rc(G) = diam(G).$ Moreover, we produce the graph with given diameter $d$ and give their rainbow coloring in linear time. X.Deng et al. $\cite{XD}$ give a polynomial time algorithm to compute the rainbow connection number of MOPs by the Maximal fan partition method, but only obtain a compact upper bound. J. Lauri $\cite{JL}$ proved that, for chordal outerplanar graphs given an edge-coloring, to verify whether it is rainbow connected is NP-complete under the coloring, it is so for MOPs. Therefore we construct Central-cut-spine of MOP $G,$ by which we design an algorithm to give a rainbow edge coloring with at most $2rad(G)+2+c,0\leq c\leq rad(G)-2$ colors in polynomial time.
Monochromatic sums and products in $\mathbb{N}$
Published
• View Publication
• BIB
An old question in Ramsey theory asks whether any finite coloring of the natural numbers admits a monochromatic pair $\{x+y,xy\}$. We answer this question affirmatively in a strong sense by exhibiting a large new class of non-linear patterns which can be found in a single cell of any finite partition of $\mathbb{N}$. Our proof involves a correspondence principle which transfers the problem into the language of topological dynamics. As a corollary of our main theorem we obtain partition regularity for new types of equations, such as $x^2-y^2=z$ and $x^2+2y^2-3z^2=w$.
Are monochromatic Pythagorean triples unavoidable under morphic colorings ?
Published
• View Publication
• BIB
A Pythagorean triple is a triple of positive integers a, b, c $\in$ N${}^{+}$ satisfying a${}^2$ + b${}^2$ = c${}^2$. Is it true that, for any finite coloring of N${}^{+}$ , at least one Pythagorean triple must be monochromatic? In other words, is the Dio-phantine equation X${}^2$+ Y${}^2$ = Z${}^2$ regular? This problem, recently solved for 2-colorings by massive SAT computations [Heule et al., 2016], remains widely open for k-colorings with k $\ge$ 3. In this paper, we introduce morphic colorings of N + , which are special colorings in finite groups with partly multiplicative properties. We show that, for many morphic colorings in 2 and 3 colors, monochromatic Pythagorean triples are unavoidable in rather small integer intervals.
Anti-van der Waerden numbers of 3-term arithmetic progressions
Published
• View Publication
• BIB
The \emph{anti-van der Waerden number}, denoted by $aw([n],k)$, is the smallest $r$ such that every exact $r$-coloring of $[n]$ contains a rainbow $k$-term arithmetic progression. Butler et. al. showed that $\lceil \log_3 n \rceil + 2 \le aw([n],3) \le \lceil \log_2 n \rceil + 1$, and conjectured that there exists a constant $C$ such that $aw([n],3) \le \lceil \log_3 n \rceil + C$. In this paper, we show this conjecture is true by determining $aw([n],3)$ for all $n$. We prove that for $7\cdot 3^{m-2}+1 \leq n \leq 21 \cdot 3^{m-2}$, \[ aw([n],3)=\left\{\begin{array}{ll} m+2, & \mbox{if $n=3^m$}\\ m+3, & \mbox{otherwise}.
\end{array}\right.\]
Breaking graph symmetries by edge colourings
Published
• View Publication
• BIB
The distinguishing index $D'(G)$ of a graph $G$ is the least number of colours needed in an edge colouring which is not preserved by any non-trivial automorphism. Broere and Pilśniak conjectured that if every non-trivial automorphism of a countable graph $G$ moves infinitely many edges, then $D'(G) \leq 2$. We prove this conjecture.
Measurable versions of the Lovász Local Lemma and measurable graph colorings
Published in Advances in Mathematics, 353 (2019), pp. 153--223
• View Publication
• BIB
In this paper we investigate the extent to which the Lovász Local Lemma (an important tool in probabilistic combinatorics) can be adapted for the measurable setting. In most applications, the Lovász Local Lemma is used to produce a function $f \colon X \to Y$ with certain properties, where $X$ is some underlying combinatorial structure and $Y$ is a (typically finite) set. Can this function $f$ be chosen to be Borel or $μ$-measurable for some probability Borel measure $μ$ on $X$ (assuming that $X$ is a standard Borel space)? In the positive direction, we prove that if the set of constraints put on $f$ is, in a certain sense, "locally finite," then there is always a Borel choice for $f$ that is "$\varepsilon$-close" to satisfying these constraints, for any $\varepsilon > 0$. Moreover, if the combinatorial structure on $X$ is "induced" by the $[0;1]$-shift action of a countable group $Γ$, then, even without any local finiteness assumptions, there is a Borel choice for $f$ which satisfies the constraints on an invariant conull set (i.e., with $\varepsilon = 0$). A direct corollary of our results is an upper bound on the measurable chromatic number of the graph $G_n$ generated by the shift action of the free group $\mathbb{F}_n$ that is asymptotically tight up to a factor of at most $2$ (which answers a question of Lyons and Nazarov). On the other hand, our result for structures induced by measure-preserving group actions is, at least for amenable groups, sharp in the following sense: a probability measure-preserving action of a countably infinite amenable group satisfies the measurable version of the Lovász Local Lemma if and only if it admits a factor map to the $[0;1]$-shift action. To prove this, we combine the tools of the Ornstein--Weiss theory of entropy for actions of amenable groups with concepts from computability theory, specifically, Kolmogorov complexity.