coloring
4410 papers tagged with this keyword
Gallai-Ramsey numbers for graphs with five vertices and eight edges
Published
• View Publication
• BIB
A Gallai $k$-coloring is a $k$-edge coloring of a complete graph in which there are no rainbow triangles. For given graphs $G_1, G_2, G_3$ and nonnegative integers $r, s, t$ with that $k=r+s+t$, the $k$-colored Gallai-Ramsey number $gr_{k}(K_{3}: r\cdot G_1,~ s\cdot G_2, ~t\cdot G_3)$ is the minimum integer $n$ such that every Gallai $k$-colored $K_{n}$ contains a monochromatic copy of $G_1$ colored by one of the first $r$ colors or a monochromatic copy of $G_2$ colored by one of the middle $s$ colors or a monochromatic copy of $G_3$ colored by one of the last $t$ colors. In this paper, we determine the value of Gallai-Ramsey number in the case that $G_1=B_{3}^{+}$, $G_2=S_{3}^+$ and $G_3=K_3$. Then the Gallai-Ramsey number $gr_{k}(K_{3}: B_{3}^{+})$ is obtained. Thus the Gllai-Ramsey numbers for graphs with five vertices and eight edges are solved completely. Furthermore, the the Gallai-Ramsey numbers $gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot S_3^+)$, $gr_{k}(K_{3}: r\cdot B_3^+,~ (k-r)\cdot K_3)$ and $gr_{k}(K_{3}: s\cdot S_3^+,~ (k-s)\cdot K_3)$ are obtained, respecticely.
Parameter Estimation for Undirected Graphical Models with Hard Constraints
Published
• View Publication
• BIB
The hardcore model on a graph $G$ with parameter $λ>0$ is a probability measure on the collection of all independent sets of $G$, that assigns to each independent set $I$ a probability proportional to $λ^{|I|}$. In this paper we consider the problem of estimating the parameter $λ$ given a single sample from the hardcore model on a graph $G$. To bypass the computational intractability of the maximum likelihood method, we use the maximum pseudo-likelihood (MPL) estimator, which for the hardcore model has a surprisingly simple closed form expression. We show that for any sequence of graphs $\{G_N\}_{N\geq 1}$, where $G_N$ is a graph on $N$ vertices, the MPL estimate of $λ$ is $\sqrt N$-consistent, whenever the graph sequence has uniformly bounded average degree. We then derive sufficient conditions under which the MPL estimate of the activity parameters is $\sqrt N$-consistent given a single sample from a general $H$-coloring model, in which restrictions between adjacent colors are encoded by a constraint graph $H$. We verify the sufficient conditions for models where there is at least one unconstrained color as long as the graph sequence has uniformly bounded average degree. This applies to many $H$-coloring examples such as the Widom-Rowlinson and multi-state hard-core models. On the other hand, for the $q$-coloring model, which falls outside this class, we show that consistent estimation may be impossible even for graphs with bounded average degree. Nevertheless, we show that the MPL estimate is $\sqrt N$-consistent in the $q$-coloring model when $\{G_N\}_{N\geq 1}$ has bounded average double neighborhood. The presence of hard constraints, as opposed to soft constraints, leads to new challenges, and our proofs entail applications of the method of exchangeable pairs as well as combinatorial arguments that employ the probabilistic method.
Acyclic, Star and Injective Colouring: A Complexity Picture for H-Free Graphs
Published
• View Publication
• BIB
A (proper) colouring is acyclic, star, or injective if any two colour classes induce a forest, star forest or disjoint union of vertices and edges, respectively. Hence, every injective colouring is a star colouring and every star colouring is an acyclic colouring. The corresponding decision problems are Acyclic Colouring, Star Colouring and Injective Colouring (the last problem is also known as $L(1,1)$-Labelling). A classical complexity result on Colouring is a well-known dichotomy for $H$-free graphs (a graph is $H$-free if it does not contain $H$ as an induced subgraph). In contrast, there is no systematic study into the computational complexity of Acyclic Colouring, Star Colouring and Injective Colouring despite numerous algorithmic and structural results that have appeared over the years. We perform such a study and give almost complete complexity classifications for Acyclic Colouring, Star Colouring and Injective Colouring on $H$-free graphs (for each of the problems, we have one open case). Moreover, we give full complexity classifications if the number of colours $k$ is fixed, that is, not part of the input. From our study it follows that for fixed $k$ the three problems behave in the same way, but this is no longer true if $k$ is part of the input. To obtain several of our results we prove stronger complexity results that in particular involve the girth of a graph and the class of line graphs of multigraphs.
Coloring Drawings of Graphs
Published in The Electronic Journal of Combinatorics 29(1) (2022), #P1.17
• View Publication
• BIB
We consider cell colorings of drawings of graphs in the plane. Given a multi-graph $G$ together with a drawing $Γ(G)$ in the plane with only finitely many crossings, we define a cell $k$-coloring of $Γ(G)$ to be a coloring of the maximal connected regions of the drawing, the cells, with $k$ colors such that adjacent cells have different colors.
By the $4$-color theorem, every drawing of a bridgeless graph has a cell $4$-coloring. A drawing of a graph is cell $2$-colorable if and only if the underlying graph is Eulerian. We show that every graph without degree 1 vertices admits a cell $3$-colorable drawing. This leads to the natural question which abstract graphs have the property that each of their drawings has a cell $3$-coloring. We say that such a graph is universally cell $3$-colorable. We show that every $4$-edge-connected graph and every graph admitting a nowhere-zero $3$-flow is universally cell $3$-colorable. We also discuss circumstances under which universal cell $3$-colorability guarantees the existence of a nowhere-zero $3$-flow. On the negative side, we present an infinite family of universally cell $3$-colorable graphs without a nowhere-zero $3$-flow. On the positive side, we formulate a conjecture which has a surprising relation to a famous open problem by Tutte known as the $3$-flow-conjecture. We prove our conjecture for subcubic and for $K_{3,3}$-minor-free graphs.
Solving Problems on Generalized Convex Graphs via Mim-Width
Published in Journal of Computer and System Sciences, 140:103493, 2024
• View Publication
• BIB
A bipartite graph $G=(A,B,E)$ is ${\cal H}$-convex, for some family of graphs ${\cal H}$, if there exists a graph $H\in {\cal H}$ with $V(H)=A$ such that the set of neighbours in $A$ of each $b\in B$ induces a connected subgraph of $H$. Many $\mathsf{NP}$-complete problems, including problems such as Dominating Set, Feedback Vertex Set, Induced Matching and List $k$-Colouring, become polynomial-time solvable for ${\mathcal H}$-convex graphs when ${\mathcal H}$ is the set of paths. In this case, the class of ${\mathcal H}$-convex graphs is known as the class of convex graphs. The underlying reason is that the class of convex graphs has bounded mim-width. We extend the latter result to families of ${\mathcal H}$-convex graphs where (i) ${\mathcal H}$ is the set of cycles, or (ii) ${\mathcal H}$ is the set of trees with bounded maximum degree and a bounded number of vertices of degree at least $3$. As a consequence, we can re-prove and strengthen a large number of results on generalized convex graphs known in the literature. To complement result (ii), we show that the mim-width of ${\mathcal H}$-convex graphs is unbounded if ${\mathcal H}$ is the set of trees with arbitrarily large maximum degree or an arbitrarily large number of vertices of degree at least $3$. In this way we are able to determine complexity dichotomies for the aforementioned graph problems. Afterwards we perform a more refined width-parameter analysis, which shows even more clearly which width parameters are bounded for classes of ${\cal H}$-convex graphs.
On Equitable List Arboricity of Graphs
Equitable list arboricity, introduced by Zhang in 2016, generalizes the notion of equitable list coloring by requiring the subgraph induced by each color class to be acyclic (instead of edgeless) in addition to the usual upper bound on the size of each color class. Graph $G$ is equitably $k$-list arborable if an equitable, arborable list coloring of $G$ exists for every list assignment for $G$ that associates with each vertex in $G$ a list of $k$ available colors. Zhang conjectured that any graph $G$ is equitably $k$-list arborable for each $k$ satisfying $k \geq \lceil (1+Δ(G))/2 \rceil$. We verify this conjecture for powers of cycles by applying a new lemma which is a general tool for extending partial equitable, arborable list colorings. We also propose a stronger version of Zhang's Conjecture for certain connected graphs: any connected graph $G$ is equitably $k$-list arborable for each $k$ satisfying $k \geq \lceil Δ(G)/2 \rceil$ provided $G$ is neither a cycle nor a complete graph of odd order. We verify this stronger version of Zhang's Conjecture for powers of paths, 2-degenerate graphs, and certain other graphs. We also show that if $G$ is equitably $k$-list arborable it does not necessarily follow that $G$ is equitably $(k+1)$-list arborable which addresses a question of Drgas-Burchardt, Furmanczyk, and Sidorowicz (2018).
Independent Coverings and Orthogonal Colourings
Published
• View Publication
• BIB
In this paper, two open conjectures are disproved. One conjecture regards independent coverings of sparse partite graphs, whereas the other conjecture regards orthogonal colourings of tree graphs. A relation between independent coverings and orthogonal colourings is established. This relation is applied to find independent coverings of some sparse partite graphs. Additionally, a degree condition providing the existence of an independent covering in the case where the graph has a square number of vertices is found.
A Finite Graph Approach to the Probabilistic Hadwiger-Nelson Problem
We advance a probabilistic approach to the Hadwiger-Nelson problem initially developed by the Polymath16 project, in particular relating the approach to finite unit-distance graphs. We define the numerical \textit{badness} of a given $k$-coloring of the plane to be the probability that a randomly chosen unit-distance edge is monochromatic under the coloring, and we provide lower bounds on the badness of arbitrary $k$-colorings using a probabilistic technique relating to finite graphs. The contrapositive of the resulting bounds lets us compute lower bounds on the order of non $k$-colorable unit-distance graphs, improving bounds produced by Pritikin and the Polymath16 project in the $k = 4$ and $k = 5$ cases. Additionally, we make partial progress on a probabilistic analog of the de Bruijn-Erdős compactness theorem.
Graph colorings under global structural conditions
More than ten years ago in 2008, a new kind of graph coloring appeared in graph theory, which is the {\it rainbow connection coloring} of graphs, and then followed by some other new concepts of graph colorings, such as {\it proper connection coloring, monochromatic connection coloring, and conflict-free connection coloring} of graphs. In about ten years of our consistent study, we found that these new concepts of graph colorings are actually quite different from the classic graph colorings. These {\it colored connection colorings} of graphs are brand-new colorings and they need to take care of global structural properties (for example, connectivity) of a graph under the colorings; while the traditional colorings of graphs are colorings under which only local structural properties (adjacent vertices or edges) of a graph are taken care of. Both classic colorings and the new colored connection colorings can produce the so-called chromatic numbers. We call the colored connection numbers the {\it global chromatic numbers}, and the classic or traditional chromatic numbers the {\it local chromatic numbers}. This paper intends to clarify the difference between the colored connection colorings and the traditional colorings, and finally to propose the new concepts of global colorings under which global structural properties of the colored graph are kept, and the global chromatic numbers.
On monochromatic solutions to $x-y=z^2$
Published in Acta Math. Hungar. 161 (2020), no. 2, 550-556
• View Publication
• BIB
For $k \in \mathbb{N}$, write $S(k)$ for the largest natural number such that there is a $k$-colouring of $\{1,\dots,S(k)\}$ with no monochromatic solution to $x-y=z^2$. That $S(k)$ exists is a result of Bergelson, and a simple example shows that $S(k) \geq 2^{2^{k-1}}$. The purpose of this note is to show that $S(k)\leq 2^{2^{2^{O(k)}}}$.
Two problems in graph Ramsey theory
Published in European Journal of Combinatorics 104 (2022), 103552
• View Publication
• BIB
We study two problems in graph Ramsey theory. In the early 1970's, Erdős and O'Neil considered a generalization of Ramsey numbers. Given integers $n,k,s$ and $t$ with $n \ge k \ge s,t \ge 2$, they asked for the least integer $N=f_k(n,s,t)$ such that in any red-blue coloring of the $k$-subsets of $\{1, 2,\ldots, N\}$, there is a set of size $n$ such that either each of its $s$-subsets is contained in some red $k$-subset, or each of its $t$-subsets is contained in some blue $k$-subset. Erdős and O'Neil found an exact formula for $f_k(n,s,t)$ when $k\ge s+t-1$. In the arguably more interesting case where $k=s+t-2$, they showed $2^{-\binom{k}{2}}n<\log f_k(n,s,t)<2n$ for sufficiently large $n$. Our main result closes the gap between these lower and upper bounds, determining the logarithm of $f_{s+t-2}(n,s,t)$ up to a multiplicative factor.
Recently, Damásdi, Keszegh, Malec, Tompkins, Wang and Zamora initiated the investigation of saturation problems in Ramsey theory, wherein one seeks to minimize $n$ such that there exists an $r$-edge-coloring of $K_n$ for which any extension of this to an $r$-edge-coloring of $K_{n+1}$ would create a new monochromatic copy of $K_k$. We obtain essentially sharp bounds for this problem.
Strong Structural Controllability of Diffusively Coupled Networks: Comparison of Bounds Based on Distances and Zero Forcing
Published
• View Publication
• BIB
We study the strong structural controllability (SSC) of diffusively coupled networks, where the external control inputs are injected to only some nodes, namely the leaders. For such systems, one measure of controllability is the dimension of strong structurally controllable subspace, which is equal to the smallest possible rank of controllability matrix under admissible (positive) coupling weights. In this paper, we compare two tight lower bounds on the dimension of strong structurally controllable subspace: one based on the distances of followers to leaders, and the other based on the graph coloring process known as zero forcing. We show that the distance-based lower bound is usually better than the zero-forcing-based bound when the leaders do not constitute a zero-forcing set. On the other hand, we also show that any set of leaders that can be shown to achieve complete SSC via the distance-based bound is necessarily a zero-forcing set. These results indicate that while the zero-forcing based approach may be preferable when the focus is only on verifying complete SSC, the distance-based approach is usually more informative when partial SSC is also of interest. Furthermore, we also present a novel bound based on the combination of these two approaches, which is always at least as good as, and in some cases strictly greater than, the maximum of the two bounds. We support our analysis with numerical results for various graphs and leader sets.
Graph Complexity and Link Colorings
The (torsion) complexity of a finite signed graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When $G$ is $d$-periodic (i.e., $G$ has a free ${\mathbb Z}^d$-action by graph automorphisms with finite quotient) the Mahler measure of its Laplacian polynomial is the growth rate of the complexity of finite quotients of $G$. Any 1-periodic plane graph $G$ determines a link $\ell \cup C$ with unknotted component $C$. In this case the Laplacian polynomial of $G$ is related to the Alexander polynomial of the link. Lehmer's question, an open question about the roots of monic integral polynomials, is equivalent to a question about the complexity growth of signed 1-periodic graphs that are not necessarily embedded.
On the Equitable Choosability of the Disjoint Union of Stars
Published
• View Publication
• BIB
Equitable $k$-choosability is a list analogue of equitable $k$-coloring that was introduced by Kostochka, Pelsmajer, and West in 2003. It is known that if vertex disjoint graphs $G_1$ and $G_2$ are equitably $k$-choosable, the disjoint union of $G_1$ and $G_2$ may not be equitably $k$-choosable. Given any $m \in \mathbb{N}$ the values of $k$ for which $K_{1,m}$ is equitably $k$-choosable are known. Also, a complete characterization of equitably $2$-choosable graphs is not known. With these facts in mind, we study the equitable choosability of $\sum_{i=1}^n K_{1,m_i}$, the disjoint union of $n$ stars. We show that determining whether $\sum_{i=1}^n K_{1,m_i}$ is equitably choosable is NP-complete when the same list of two colors is assigned to every vertex. We completely determine when the disjoint union of two stars (or $n \geq 2$ identical stars) is equitably 2-choosable, and we present results on the equitable $k$-choosability of the disjoint union of two stars for arbitrary $k$.
Coloring bipartite graphs with semi-small list size
Published in Ann. Comb. 27 (2023), 469-491
• View Publication
• BIB
Recently, Alon, Cambie, and Kang introduced asymmetric list coloring of bipartite graphs, where the size of each vertex's list depends on its part. For complete bipartite graphs, we fix the list sizes of one part and consider the resulting asymptotics, revealing an invariant quantity instrumental in determining choosability across most of the parameter space. By connecting this quantity to a simple question on independent sets of hypergraphs, we strengthen bounds when a part has list size 2. Finally, we state via our framework a conjecture on general bipartite graphs, unifying three conjectures of Alon-Cambie-Kang.
Monochromatic triangle packings in red-blue graphs
We prove that in every $2$-edge-colouring of $K_n$ there is a collection of $n^2/12 + o(n^2)$ edge-disjoint monochromatic triangles, thus confirming a conjecture of Erdős. We also prove a corresponding stability result, showing that $2$-colourings that are close to attaining the aforementioned bound have a colour class which is close to bipartite. As part of our proof, we confirm a recent conjecture of Tyomkyn about the fractional version of this problem.
$3$-Colouring $P_t$-free graphs without short odd cycles
For any odd $t\ge 9$, we present a polynomial-time algorithm that solves the $3$-colouring problem, and finds a $3$-colouring if one exists, in $P_{t}$-free graphs of odd girth at least $t-2$. In particular, our algorithm works for $(P_9, C_3, C_5)$-free graphs, thus making progress towards determining the complexity of $3$-colouring in $P_t$-free graphs, which is open for $t\ge 8$.
An Improved Bound for the Linear Arboricity Conjecture
Published
• View Publication
• BIB
In 1980, Akiyama, Exoo and Harary posited the Linear Arboricity Conjecture which states that any graph $G$ of maximum degree $Δ$ can be decomposed into at most $\left\lceil \fracΔ{2}\right\rceil$ linear forests. (A forest is linear if all of its components are paths.) In 1988, Alon proved the conjecture holds asymptotically. The current best bound is due to Ferber, Fox and Jain from 2020 who showed that $\fracΔ{2}+ O(Δ^{.661})$ suffices for large enough $Δ$. Here, we show that $G$ admits a decomposition into at most $\fracΔ{2}+ 3\sqrtΔ \log^4 Δ$ linear forests provided $Δ$ is large enough.
Moreover, our result also holds in the more general list setting, where edges have (possibly different) sets of permissible linear forests. Thus our bound also holds for the List Linear Arboricity Conjecture which was only recently shown to hold asymptotically by Kim and the second author. Indeed, our proof method ties together the Linear Arboricity Conjecture and the well-known List Colouring Conjecture; consequently, our error term for the Linear Arboricity Conjecture matches the best known error-term for the List Colouring Conjecture due to Molloy and Reed from 2000. This follows as we make two copies of every colour and then seek a proper edge colouring where we avoid bicoloured cycles between a colour and its copy; we achieve this via a clever modification of the nibble method.
Chain method for panchromatic colorings of hypergraphs
Published
• View Publication
• BIB
We deal with an extremal problem concerning panchromatic colorings of hypergraphs. A vertex $r$-coloring of a hypergraph $H$ is \emph{panchromatic} if every edge meets every color. We prove that for every $3<r\leq\sqrt[3]{n/(100\ln n)}$, every $n$-uniform hypergraph $H$ with $|E(H)|\leq \frac{1}{20r^2}\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}\left(\frac{r}{r-1}\right)^{n-1}$ has a panchromatic coloring with $r$ colors.
(k; l)-Colourings and Ferrers Diagram Representations of Cographs
Published
• View Publication
• BIB
For a pair of natural numbers $k, l$, a $(k,l)$-colouring of a graph $G$ is a partition of the vertex set of $G$ into (possibly empty) sets $S_1, S_2, \dots, S_k$, $C_1, C_2, \dots, C_l$ such that each set $S_i$ is an independent set and each set $C_j$ induces a clique in $G$. The $(k,l)$-colouring problem, which is NP-complete in general, has been studied for special graph classes such as chordal graphs, cographs and line graphs. Let $\hatκ(G) = (κ_0(G),κ_1(G),\dots,κ_{θ(G)-1}(G))$ and $\hatλ(G) = (λ_0(G),λ_1(G),\dots,λ_{χ(G)-1}(G))$ where $κ_l(G)$ (respectively, $λ_k(G)$) is the minimum $k$ (respectively, $l$) such that $G$ has a $(k,l)$-colouring. We prove that $\hatκ(G)$ and $\hatλ(G)$ are a pair of conjugate sequences for every graph $G$ and when $G$ is a cograph, the number of vertices in $G$ is equal to the sum of the entries in $\hatκ(G)$ or in $\hatλ(G)$. Using the decomposition property of cographs we show that every cograph can be represented by Ferrers diagram. We devise algorithms which compute $\hatκ(G)$ for cographs $G$ and find an induced subgraph in $G$ that can be used to certify the non-$(k,l)$-colourability of $G$.