coloring
4497 papers tagged with this keyword
A Note on Upper Bounds for Some Generalized Folkman Numbers
Published
• View Publication
• BIB
We present some new constructive upper bounds based on product graphs for generalized vertex Folkman numbers. They lead to new upper bounds for some special cases of generalized edge Folkman numbers, including $F_e(K_3,K_4-e; K_5) \leq 27$ and $F_e(K_4-e,K_4-e; K_5) \leq 51$. The latter bound follows from a construction of a $K_5$-free graph on 51 vertices, for which every coloring of its edges with two colors contains a monochromatic $K_4-e$.
Recognizing Graphs Close to Bipartite Graphs with an Application to Colouring Reconfiguration
Published
• View Publication
• BIB
We continue research into a well-studied family of problems that ask whether the vertices of a graph can be partitioned into sets $A$ and~$B$, where $A$ is an independent set and $B$ induces a graph from some specified graph class ${\cal G}$. We let ${\cal G}$ be the class of $k$-degenerate graphs. This problem is known to be polynomial-time solvable if $k=0$ (bipartite graphs) and NP-complete if $k=1$ (near-bipartite graphs) even for graphs of maximum degree $4$. Yang and Yuan [DM, 2006] showed that the $k=1$ case is polynomial-time solvable for graphs of maximum degree $3$. This also follows from a result of Catlin and Lai [DM, 1995]. We consider graphs of maximum degree $k+2$ on $n$ vertices. We show how to find $A$ and $B$ in $O(n)$ time for $k=1$, and in $O(n^2)$ time for $k\geq 2$. Together, these results provide an algorithmic version of a result of Catlin [JCTB, 1979] and also provide an algorithmic version of a generalization of Brook's Theorem, which was proven in a more general way by Borodin, Kostochka and Toft [DM, 2000] and Matamala [JGT, 2007]. Moreover, the two results enable us to complete the complexity classification of an open problem of Feghali et al. [JGT, 2016]: finding a path in the vertex colouring reconfiguration graph between two given $\ell$-colourings of a graph of maximum degree $k$.
On facial unique-maximum (edge-)coloring
Published in Discrete Applied Mathematics 237 (2018), 26-32
• View Publication
• BIB
A facial unique-maximum coloring of a plane graph is a vertex coloring where on each face $α$ the maximal color appears exactly once on the vertices of $α$. If the coloring is required to be proper, then the upper bound for the minimal number of colors required for such a coloring is set to $5$. Fabrici and Göring [Fabrici and Goring 2016] even conjectured that $4$ colors always suffice. Confirming the conjecture would hence give a considerable strengthening of the Four Color Theorem. In this paper, we prove that the conjecture holds for subcubic plane graphs, outerplane graphs and plane quadrangulations. Additionally, we consider the facial edge-coloring analogue of the aforementioned coloring and prove that every $2$-connected plane graph admits such a coloring with at most $4$ colors.
Out-degree reducing partitions of digraphs
Published
• View Publication
• BIB
Let $k$ be a fixed integer. We determine the complexity of finding a $p$-partition $(V_1, \dots, V_p)$ of the vertex set of a given digraph such that the maximum out-degree of each of the digraphs induced by $V_i$, ($1\leq i\leq p$) is at least $k$ smaller than the maximum out-degree of $D$. We show that this problem is polynomial-time solvable when $p\geq 2k$ and ${\cal NP}$-complete otherwise. The result for $k=1$ and $p=2$ answers a question posed in \cite{bangTCS636}. We also determine, for all fixed non-negative integers $k_1,k_2,p$, the complexity of deciding whether a given digraph of maximum out-degree $p$ has a $2$-partition $(V_1,V_2)$ such that the digraph induced by $V_i$ has maximum out-degree at most $k_i$ for $i\in [2]$. It follows from this characterization that the problem of deciding whether a digraph has a 2-partition $(V_1,V_2)$ such that each vertex $v\in V_i$ has at least as many neighbours in the set $V_{3-i}$ as in $V_i$, for $i=1,2$ is ${\cal NP}$-complete. This solves a problem from \cite{kreutzerEJC24} on majority colourings.
Independent Feedback Vertex Set for $P_5$-free Graphs
Published
• View Publication
• BIB
The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer $k\geq 0$, to delete at most $k$ vertices from a given graph so that what remains is a forest. The variant in which the deleted vertices must form an independent set is called Independent Feedback Vertex Set and is also NP-complete. In fact, even deciding if an independent feedback vertex set exists is NP-complete and this problem is closely related to the $3$-Colouring problem, or equivalently, to the problem of deciding whether or not a graph has an independent odd cycle transversal, that is, an independent set of vertices whose deletion makes the graph bipartite. We initiate a systematic study of the complexity of Independent Feedback Vertex Set for $H$-free graphs. We prove that it is NP-complete if $H$ contains a claw or cycle. Tamura, Ito and Zhou proved that it is polynomial-time solvable for $P_4$-free graphs. We show that it remains polynomial-time solvable for $P_5$-free graphs. We prove analogous results for the Independent Odd Cycle Transversal problem, which asks whether or not a graph has an independent odd cycle transversal of size at most $k$ for a given integer $k\geq 0$. Finally, in line with our underlying research aim, we compare the complexity of Independent Feedback Vertex Set for $H$-free graphs with the complexity of $3$-Colouring, Independent Odd Cycle Transversal and other related problems.
Coloring ($P_5$, bull)-free graphs
We give a polynomial-time algorithm that computes the chromatic number of any graph that contains no path on five vertices and no bull as an induced subgraph (where the bull is the graph with five vertices $a,b,c,d,e$ and edges $ab,bc,cd,be,ce$).
Edge-coloring linear hypergraphs with medium-sized edges
Published in Random Structures & Algorithms. 55(1), pp. 153-159 (2019)
• View Publication
• BIB
Motivated by the Erdős-Faber-Lovász (EFL) conjecture for hypergraphs, we consider the list edge coloring of linear hypergraphs. We show that if the hyper-edge sizes are bounded between $i$ and $C_{i,ε} \sqrt{n}$ inclusive, then there is a list edge coloring using $(1 + ε) \frac{n}{i - 1}$ colors. The dependence on $n$ in the upper bound is optimal (up to the value of $C_{i,ε}$).
On some three color Ramsey numbers for paths, cycles, stripes and stars
Published
• View Publication
• BIB
For given graphs $G_{1}, G_{2}, ... , G_{k}, k \geq 2$, the multicolor Ramsey number $R(G_{1}, G_{2}, ... , G_{k})$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with $k$ colors, then it always contains a monochromatic copy of $G_{i}$ colored with $i$, for some $1 \leq i \leq k$. The bipartite Ramsey number $b(G_1, \cdots, G_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of bipartite $G_i$ in the $i$-th color, for some $i$, $1 \le i \le k$.
There is very little known about $R(G_{1},\ldots, G_{k})$ even for very special graphs, there are a lot of open cases. In this paper, by using bipartite Ramsey numbers we obtain the exact values of some multicolor Ramsey numbers. We show that for sufficiently large $n_{0}$ and three following cases:
1. $n_{1}=2s$, $n_{2}=2m$ and $m-1<2s$,
2. $n_{1}=n_{2}=2s$,
3. $n_{1}=2s+1$, $n_{2}=2m$ and $s<m-1<2s+1$, we have
$$R(C_{n_0}, P_{n_{1}},P_{n_{2}}) = n_0 + \Big \lfloor \frac{n_1}{2} \Big \rfloor + \Big \lfloor \frac{n_2}{2} \Big \rfloor -2.$$
We prove that $R(P_n,kK_{2},kK_{2})=n+2k-2$ for large $n$. In addition, we prove that for even $k$, $R((k-1)K_{2},P_{k},P_{k})=3k-4$. For $s < m-1<2s+1$ and $t\geq m+s-1$, we obtain that $R(tK_{2},P_{2s+1},P_{2m})=s+m+2t-2$ where $P_{k}$ is a path on $k$ vertices and $tK_{2}$ is a matching of size $t$.
We also provide some new exact values or generalize known results for other multicolor Ramsey numbers of paths, cycles, stripes and stars versus other graphs.
List Supermodular Coloring with Shorter Lists
Published
• View Publication
• BIB
In 1995, Galvin proved that a bipartite graph $G$ admits a list edge coloring if every edge is assigned a color list of length $Δ(G)$, the maximum degree of the graph. This result was improved by Borodin, Kostochka and Woodall, who proved that $G$ still admits a list edge coloring if every edge $e=st$ is assigned a list of $\max\{d_{G}(s), d_{G}(t)\}$ colors. Recently, Iwata and Yokoi provided the list supermodular coloring theorem, that extends Galvin's result to the setting of Schrijver's supermodular coloring. This paper provides a common generalization of these two extensions of Galvin's result.
Proper Distinguishing Colorings with Few Colors for Graphs with Girth at Least 5
Published in Electronic Journal of Combinatorics. Vol. 25(3), 2018, #P3.5
• View Publication
• BIB
The distinguishing chromatic number, $χ_D(G)$, of a graph $G$ is the smallest number of colors in a proper coloring, $\varphi$, of $G$, such that the only automorphism of $G$ that preserves all colors of $\varphi$ is the identity map. Collins and Trenk conjectured that if $G$ is connected with girth at least 5 and $G\ne C_6$, then $χ_D(G)\le Δ+1$. We prove this conjecture.
Monochromatic Subgraphs in Randomly Colored Graphons
Published in European Journal of Combinatorics, 81, 328-353, 2019
• View Publication
• BIB
Let $T(H, G_n)$ be the number of monochromatic copies of a fixed connected graph $H$ in a uniformly random coloring of the vertices of the graph $G_n$. In this paper we give a complete characterization of the limiting distribution of $T(H, G_n)$, when $\{G_n\}_{n \geq 1}$ is a converging sequence of dense graphs. When the number of colors grows to infinity, depending on whether the expected value remains bounded, $T(H, G_n)$ either converges to a finite linear combination of independent Poisson variables or a normal distribution. On the other hand, when the number of colors is fixed, $T(H, G_n)$ converges to a (possibly infinite) linear combination of independent centered chi-squared random variables. This generalizes the classical birthday problem, which involves understanding the asymptotics of $T(K_s, K_n)$, the number of monochromatic $s$-cliques in a complete graph $K_n$ ($s$-matching birthdays among a group of $n$ friends), to general monochromatic subgraphs in a network.
Perfect Resolution of Strong Conflict-Free Colouring of Interval Hypergraphs
Published
• View Publication
• BIB
The $k$-Strong Conflict-Free ($k$-SCF, in short) colouring problem seeks to find a colouring of the vertices of a hypergraph $H$ using minimum number of colours so that in every hyperedge $e$ of $H$, there are at least $\min\{|e|,k\}$ vertices whose colour is different from that of all other vertices in $e$. In the case of interval hypergraphs, we present an exact $P$-time algorithm for the $k$-SCF problem thus solving an open problem posed by Cheilaris et al. (2014). We achieve our results by showing that for any hypergraph a $k$-SCF colouring is a proper colouring of a related simple graph which we refer to as a co-occurrence graph. We then show that a co-occurrence graph is obtained by identifying an induced subgraph of a second simple graph that we introduce, which we refer to as the conflict graph. For interval hypergraphs, we show that each co-occurrence graph and the conflict graph are perfect graphs. This property plays a crucial role in our polynomial time algorithm. Secondly, we show that for an interval hypergraph, the $1$-SCF colouring number is the minimum partition of its intervals into sets such that each set has an exact hitting set (a hitting set in which each interval is hit exactly once).
Reconstructing random jigsaws
Published
• View Publication
• BIB
A colouring of the edges of an $n \times n$ grid is said to be \emph{reconstructible} if the colouring is uniquely determined by the multiset of its $n^2$ \emph{tiles}, where the tile corresponding to a vertex of the grid specifies the colours of the edges incident to that vertex in some fixed order. In 2015, Mossel and Ross asked the following question: if the edges of an $n \times n$ grid are coloured independently and uniformly at random using $q=q(n)$ different colours, then is the resulting colouring reconstructible with high probability? From below, Mossel and Ross showed that such a colouring is not reconstructible when $q = o(n^{2/3})$ and from above, Bordenave, Feige and Mossel and Nenadov, Pfister and Steger independently showed, for any fixed $ε> 0$, that such a colouring is reconstructible when $q \ge n^{1+ε}$. Here, we improve on these results and prove the following: there exist absolute constants $C, c > 0$ such that, as $n \to \infty$, the probability that a random colouring as above is reconstructible tends to $1$ if $q \ge Cn$ and to $0$ if $q \le cn$.
A note on 2--bisections of claw--free cubic graphs
Published
• View Publication
• BIB
A \emph{$k$--bisection} of a bridgeless cubic graph $G$ is a $2$--colouring of its vertex set such that the colour classes have the same cardinality and all connected components in the two subgraphs induced by the colour classes have order at most $k$. Ban and Linial conjectured that {\em every bridgeless cubic graph admits a $2$--bisection except for the Petersen graph}.
In this note, we prove Ban--Linial's conjecture for claw--free cubic graphs.
Coloring cross-intersecting families
Published
• View Publication
• BIB
Intersecting and cross-intersecting families usually appear in extremal combinatorics in the vein of the Erd{\H o}s--Ko--Rado theorem. On the other hand, P.~Erd{\H o}s and L.~Lov{á}sz in the noted paper~\cite{EL} posed problems on coloring intersecting families as a restriction of classical hypergraph coloring problems to a special class of hypergraphs. This note deals with the mentioned coloring problems stated for cross-intersecting families.
The (theta, wheel)-free graphs Part III: cliques, stable sets and coloring
Published in Journal of Combinatorial Theory, Series B, Volume 143, 2020, Pages 185-218
• View Publication
• BIB
A hole in a graph is a chordless cycle of length at least 4. A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this series of papers we study the class of graphs that do not contain as an induced subgraph a theta nor a wheel. In Part II of the series we prove a decomposition theorem for this class, that uses clique cutsets and 2-joins, and consequently obtain a polynomial time recognition algorithm for the class. In this paper we further use this decomposition theorem to obtain polynomial time algorithms for maximum weight clique, maximum weight stable set and coloring problems. We also show that for a graph $G$ in the class, if its maximum clique size is $ω$, then its chromatic number is bounded by max$\{ω,3\}$, and that the class is 3-clique-colorable.
A survey of hypergraph Ramsey problems
Published
• View Publication
• BIB
The classical hypergraph Ramsey number $r_k(s,n)$ is the minimum $N$ such that for every red-blue coloring of the $k$-tuples of $\{1,\ldots, N\}$, there are $s$ integers such that every $k$-tuple among them is red, or $n$ integers such that every $k$-tuple among them is blue. We survey a variety of problems and results in hypergraph Ramsey theory that have grown out of understanding the quantitative aspects of $r_k(s,n)$. Our focus is on recent developments and open problems.
The size-Ramsey number of powers of paths
Published
• View Publication
• BIB
Given graphs $G$ and $H$ and a positive integer $q$ say that $G$ is $q$-Ramsey for $H$, denoted $G\rightarrow (H)_q$, if every $q$-colouring of the edges of $G$ contains a monochromatic copy of $H$. The size-Ramsey number $\hat{r}(H)$ of a graph $H$ is defined to be $\hat{r}(H)=\min\{|E(G)|\colon G\rightarrow (H)_2\}$. Answering a question of Conlon, we prove that, for every fixed $k$, we have $\hat{r}(P_n^k)=O(n)$, where $P_n^k$ is the $k$-th power of the $n$-vertex path $P_n$ (i.e. , the graph with vertex set $V(P_n)$ and all edges $\{u,v\}$ such that the distance between $u$ and $v$ in $P_n$ is at most $k$). Our proof is probabilistic, but can also be made constructive.
Colouring perfect graphs with bounded clique number
Published in Journal of Combinatorial Theory, Series B, 122:757-775, 2017
• View Publication
• BIB
A graph is perfect if the chromatic number of every induced subgraph equals the size of its largest clique, and an algorithm of Grötschel, Lovász, and Schrijver from 1988 finds an optimal colouring of a perfect graph in polynomial time. But this algorithm uses the ellipsoid method, and it is a well-known open question to construct a "combinatorial" polynomial-time algorithm that yields an optimal colouring of a perfect graph.
A skew partition in $G$ is a partition $(A,B)$ of $V(G)$ such that $G[A]$ is not connected and $\bar{G}[B]$ is not connected, where $\bar{G}$ denotes the complement graph ; and it is balanced if an additional parity condition of paths in $G$ and $\bar{G}$ is satisfied.
In this paper we first give a polynomial-time algorithm that, with input a perfect graph, outputs a balanced skew partition if there is one. Then we use this to obtain a combinatorial algorithm that finds an optimal colouring of a perfect graph with clique number $k$, in time that is polynomial for fixed $k$.
Sampling Random Colorings of Sparse Random Graphs
Published
• View Publication
• BIB
We study the mixing properties of the single-site Markov chain known as the Glauber dynamics for sampling $k$-colorings of a sparse random graph $G(n,d/n)$ for constant $d$. The best known rapid mixing results for general graphs are in terms of the maximum degree $Δ$ of the input graph $G$ and hold when $k>11Δ/6$ for all $G$. Improved results hold when $k>αΔ$ for graphs with girth $\geq 5$ and $Δ$ sufficiently large where $α\approx 1.7632\ldots$ is the root of $α=\exp(1/α)$; further improvements on the constant $α$ hold with stronger girth and maximum degree assumptions. For sparse random graphs the maximum degree is a function of $n$ and the goal is to obtain results in terms of the expected degree $d$. The following rapid mixing results for $G(n,d/n)$ hold with high probability over the choice of the random graph for sufficiently large constant~$d$. Mossel and Sly (2009) proved rapid mixing for constant $k$, and Efthymiou (2014) improved this to $k$ linear in~$d$. The condition was improved to $k>3d$ by Yin and Zhang (2016) using non-MCMC methods. Here we prove rapid mixing when $k>αd$ where $α\approx 1.7632\ldots$ is the same constant as above. Moreover we obtain $O(n^{3})$ mixing time of the Glauber dynamics, while in previous rapid mixing results the exponent was an increasing function in $d$. As in previous results for random graphs our proof analyzes an appropriately defined block dynamics to "hide" high-degree vertices. One new aspect in our improved approach is utilizing so-called local uniformity properties for the analysis of block dynamics. To analyze the "burn-in" phase we prove a concentration inequality for the number of disagreements propagating in large blocks.