coloring
4410 papers tagged with this keyword
Reconfiguration of Colourings and Dominating Sets in Graphs: a Survey
Published in The 50th Southeastern International Conference on Combinatorics, Graph Theory, and Computing}, CRC Press, 2020
• View Publication
• BIB
We survey results concerning reconfigurations of colourings and dominating sets in graphs. The vertices of the $k$-colouring graph $\mathcal{C}_{k}(G)$ of a graph $G$ correspond to the proper $k$-colourings of a graph $G$, with two $k$-colourings being adjacent whenever they differ in the colour of exactly one vertex. Similarly, the vertices of the $k$-edge-colouring graph $\mathcal{EC}_{k}(G)$ of $g$ are the proper $k$-edge-colourings of $G$, where two $k$-edge-colourings are adjacent if one can be obtained from the other by switching two colours along an edge-Kempe chain, i.e., a maximal two-coloured alternating path or cycle of edges.
The vertices of the $k$-dominating graph $\mathcal{D}_{k}(G)$ are the (not necessarily minimal) dominating sets of $G$ of cardinality $k$ or less, two dominating sets being adjacent in $\mathcal{D}_{k}(G)$ if one can be obtained from the other by adding or deleting one vertex. On the other hand, when we restrict the dominating sets to be minimum dominating sets, for example, we obtain different types of domination reconfiguration graphs, depending on whether vertices are exchanged along edges or not.
We consider these and related types of colouring and domination reconfiguration graphs. Conjectures, questions and open problems are stated within the relevant sections.
Colourings, transversals and local sparsity
Published
• View Publication
• BIB
Motivated both by recently introduced forms of list colouring and by earlier work on independent transversals subject to a local sparsity condition, we use the semi-random method to prove the following result.
For any function $μ$ satisfying $μ(d)=o(d)$ as $d\to\infty$, there is a function $λ$ satisfying $λ(d)=d+o(d)$ as $d\to\infty$ such that the following holds. For any graph $H$ and any partition of its vertices into parts of size at least $λ$ such that (a) for each part the average over its vertices of degree to other parts is at most $d$, and (b) the maximum degree from a vertex to some other part is at most $μ$, there is guaranteed to be a transversal of the parts that forms an independent set of $H$.
This is a common strengthening of two results of Loh and Sudakov (2007) and Molloy and Thron (2012), each of which in turn implies an earlier result of Reed and Sudakov (2002).
On the balanceability of some graph classes
Published
• View Publication
• BIB
Given a graph $G$, a 2-coloring of the edges of $K_n$ is said to contain a balanced copy of $G$ if we can find a copy of $G$ such that half of its edges are in each color class. If, for every sufficiently large $n$, there exists an integer $k$ such that every 2-coloring of $K_n$ with more than $k$ edges in each color class contains a balanced copy of $G$, then we say that $G$ is balanceable. Balanceability was introduced by Caro, Hansberg and Montejano, who also gave a structural characterization of balanceable graphs.
In this paper, we extend the study of balanceability by finding new sufficient conditions for a graph to be balanceable or not. We use those conditions to fully characterize the balanceability of graph classes such as rectangular and triangular grids, as well as a special class of circulant graphs.
Pólya enumeration theorems in algebraic geometry
Published
• View Publication
• BIB
We generalize a formula due to Macdonald that relates the singular Betti numbers of $X^{n}/G$ to those of $X$, where $X$ is a compact manifold and $G$ is any subgroup of the symmetric group $S_{n}$ acting on $X^{n}$ by permuting coordinates. Our result is completely axiomatic: in a general setting, given an endomorphism on the cohomology $H^{\bullet}(X)$, it explains how we can explicitly relate the Lefschetz series of the induced endomorphism on $H^{\bullet}(X^{n})^{G}$ to that of the given endomorphism on $H^{\bullet}(X)$ in the presence of the Künneth formula with respect to a cup product. For example, when $X$ is a compact manifold, we take the Lefschetz series given by the singular cohomology with rational coefficients. On the other hand, when $X$ is a projective variety over a finite field $\mathbb{F}_{q}$, we use the $l$-adic étale cohomology with a suitable choice of prime number $l$. We also explain how our formula generalizes the Pólya enumeration theorem, a classical theorem in combinatorics that counts colorings of a graph up to given symmetries, where $X$ is taken to be a finite set of colors. When $X$ is a smooth projective variety over $\mathbb{C}$, our formula also generalizes a result of Cheah that relates the Hodge numbers of $X^{n}/G$ to those of $X$. We will also see that our result generalizes the following facts: 1. the generating function of the Poincaré polynomials of symmetric powers of a compact manifold $X$ is rational; 2. the generating function of the Hodge-Deligne polynomials of symmetric powers of a smooth projective variety $X$ over $\mathbb{C}$ is rational; 3. the zeta series of a projective variety $X$ over $\mathbb{F}_{q}$ is rational. We also prove analogous rationality results when we replace $S_{n}$ with $A_{n}$, alternating groups.
Complexity of tree-coloring interval graphs equitably
Published
• View Publication
• BIB
An equitable tree-$k$-coloring of a graph is a vertex $k$-coloring such that each color class induces a forest and the size of any two color classes differ by at most one. In this work, we show that every interval graph $G$ has an equitable tree-$k$-coloring for any integer $k\geq \lceil(Δ(G)+1)/2\rceil$, solving a conjecture of Wu, Zhang and Li (2013) for interval graphs, and furthermore, give a linear-time algorithm for determining whether a proper interval graph admits an equitable tree-$k$-coloring for a given integer $k$. For disjoint union of split graphs, or $K_{1,r}$-free interval graphs with $r\geq 4$, we prove that it is $W[1]$-hard to decide whether there is an equitable tree-$k$-coloring when parameterized by number of colors, or by treewidth, number of colors and maximum degree, respectively.
Invariants for metabelian groups of prime power exponent, colorings and stairs
Published
• View Publication
• BIB
We study the free metabelian group $M(2,n)$ of prime power exponent $n$ on two generators by means of invariants $M(2,n)'\to \mathbb{Z}_n$ that we construct from colorings of the squares in the integer grid $\mathbb{R} \times \mathbb{Z} \cup \mathbb{Z} \times \mathbb{R}$. In particular we improve bounds found by M.F. Newman for the order of $M(2,2^k)$. We study identities in $M(2,n)$, which give information about identities in the Burnside group $B(2,n)$ and the restricted Burnside group $R(2,n)$.
Algorithms for the rainbow vertex coloring problem on graph classes
Published
• View Publication
• BIB
Given a vertex-colored graph, we say a path is a rainbow vertex path if all its internal vertices have distinct colors. The graph is rainbow vertex-connected if there is a rainbow vertex path between every pair of its vertices. In the Rainbow Vertex Coloring (RVC) problem we want to decide whether the vertices of a given graph can be colored with at most $k$ colors so that the graph becomes rainbow vertex-connected. This problem is known to be NP-complete even in very restricted scenarios, and very few efficient algorithms are known for it. In this work, we give polynomial-time algorithms for RVC on permutation graphs, powers of trees and split strongly chordal graphs. The algorithm for the latter class also works for the strong variant of the problem, where the rainbow vertex paths between each vertex pair must be shortest paths. We complement the polynomial-time solvability results for split strongly chordal graphs by showing that, for any fixed $p\geq 3$ both variants of the problem become NP-complete when restricted to split $(S_3,\ldots,S_p)$-free graphs, where $S_q$ denotes the $q$-sun graph.
Majority choosability of countable graphs
Published
• View Publication
• BIB
In any vertex coloring of a graph some edges have differently colored ends (\emph{good} edges) and some are monochromatic (\emph{bad} edges). In a proper coloring all edges are good. In a \emph{majority coloring} it is enough that for every vertex $v$, the number of bad edges incident to $v$ does not exceed the number of good edges incident to $v$. A well known result of Lovász \cite{Lovasz} asserts that every finite graph has a majority $2$-coloring. A similar statement for countably infinite graphs is a challenging open problem, known as the \emph{Unfriendly Partition Conjecture}.
We consider a natural list variant of majority coloring. A graph is \emph{majority $k$-choosable} if it has a majority coloring from any lists of size $k$ assigned arbitrarily to the vertices. We prove that every countable graph is majority $4$-choosable. We also consider a natural analog of majority coloring for directed graphs. We prove that every countable digraph is also majority $4$-choosable. We pose list and directed analogs of the Unfriendly Partition Conjecture, stating that every countable graph is majority $2$-choosable and every countable digraph is majority $3$-choosable.
From the 1-2-3 Conjecture to the Riemann Hypothesis
Published
• View Publication
• BIB
This survey presents some combinatorial problems with number-theoretic flavor. Our journey starts from a simple graph coloring question, but at some point gets close to a dangerous territory of the Riemann Hypothesis. We will mostly focus on open problems, but we will also provide some simple proofs, just for adorning.
Partial DP-Coloring
Published
• View Publication
• BIB
In 1980, Albertson and Berman introduced partial coloring. In 2000, Albertson, Grossman, and Haas introduced partial list coloring. Here, we initiate the study of partial coloring for an insightful generalization of list coloring introduced in 2015 by Dvořák and Postle, DP-coloring (or correspondence coloring). We consider the DP-coloring analogue of the Partial List Coloring Conjecture, which generalizes a natural bound for partial coloring. We show that while this partial DP-coloring conjecture does not hold, several results on partial list coloring can be extended to partial DP-coloring. We also study partial DP-coloring of the join of a graph with a complete graph, and we present several interesting open questions.
Total Dominator Total Chromatic Numbers of Wheels, Complete bipartite graphs and Complete graphs
Total dominator total coloring of a graph is a total coloring of the graph such that each object of the graph is adjacent or incident to every object of some color class. The minimum namber of the color classes of a total dominator total coloring of a graph is called the total dominator total chromatic number of the graph. Here, we will find the total dominator chromatic numbers of wheels, complete bipartite graphs and complete graphs.
Clustered 3-Colouring Graphs of Bounded Degree
Published in Combinator. Probab. Comp. 31 (2022) 123-135
• View Publication
• BIB
A (not necessarily proper) vertex colouring of a graph has "clustering" $c$ if every monochromatic component has at most $c$ vertices. We prove that planar graphs with maximum degree $Δ$ are 3-colourable with clustering $O(Δ^2)$. The previous best bound was $O(Δ^{37})$. This result for planar graphs generalises to graphs that can be drawn on a surface of bounded Euler genus with a bounded number of crossings per edge. We then prove that graphs with maximum degree $Δ$ that exclude a fixed minor are 3-colourable with clustering $O(Δ^5)$. The best previous bound for this result was exponential in $Δ$.
Coloring triangle-free L-graphs with $O(\log\log n)$ colors
It is proved that triangle-free intersection graphs of $n$ L-shapes in the plane have chromatic number $O(\log\log n)$. This improves the previous bound of $O(\log n)$ (McGuinness, 1996) and matches the known lower bound construction (Pawlik et al., 2013).
The edge colorings of $K_{5}$-minor free graphs
Published
• View Publication
• BIB
In 1965, Vizing proved that every planar graph $G$ with maximum degree $Δ\geq 8$ is edge $Δ$-colorable. It is also proved that every planar graph $G$ with maximum degree $Δ=7$ is edge $Δ$-colorable by Sanders and Zhao, independently by Zhang. In this paper, we extend the above results by showing that every $K_5$-minor free graph with maximum degree $Δ$ at least seven is edge $Δ$-colorable.
Vizing-Goldberg type bounds for the equitable chromatic number of block graphs
An equitable coloring of a graph $G$ is a proper vertex coloring of $G$ such that the sizes of any two color classes differ by at most one. In the paper, we pose a conjecture that offers a gap-one bound for the smallest number of colors needed to equitably color every block graph. In other words, the difference between the upper and the lower bounds of our conjecture is at most one. Thus, in some sense, the situation is similar to that of chromatic index, where we have the classical theorem of Vizing and the Goldberg conjecture for multigraphs. The results obtained in the paper support our conjecture. More precisely, we verify it in the class of well-covered block graphs, which are block graphs in which each vertex belongs to a maximum independent set. We also show that the conjecture is true for block graphs, which contain a vertex that does not lie in an independent set of size larger than two. Finally, we verify the conjecture for some symmetric-like block graphs. In order to derive our results we obtain structural characterizations of block graphs from these classes.
Maximum Edge-Colorable Subgraph and Strong Triadic Closure Parameterized by Distance to Low-Degree Graphs
Given an undirected graph $G$ and integers $c$ and $k$, the Maximum Edge-Colorable Subgraph problem asks whether we can delete at most $k$ edges in $G$ to obtain a graph that has a proper edge coloring with at most $c$ colors. We show that Maximum Edge-Colorable Subgraph admits, for every fixed $c$, a linear-size problem kernel when parameterized by the edge deletion distance of $G$ to a graph with maximum degree $c-1$. This parameterization measures the distance to instances that, due to Vizing's famous theorem, are trivial yes-instances. For $c\le 4$, we also provide a linear-size kernel for the same parameterization for Multi Strong Triadic Closure, a related edge coloring problem with applications in social network analysis. We provide further results for Maximum Edge-Colorable Subgraph parameterized by the vertex deletion distance to graphs where every component has order at most $c$ and for the list-colored versions of both problems.
Generalized list colouring of graphs
Published
• View Publication
• BIB
This paper disproves a conjecture of Wang, Wu, Yan and Xie, and answers in negative a question in Dvorak, Pekarek and Sereni. In return, we pose five open problems.
Dominated and dominator colorings over (edge) corona and hierarchical products
Dominator coloring of a graph is a proper (vertex) coloring with the property that every vertex is either alone in its color class or adjacent to all vertices of at least one color class. A dominated coloring of a graph is a proper coloring such that every color class is dominated with at least one vertex. The dominator chromatic number of corona products and of edge corona products is determined. Sharp lower and upper bounds are given for the dominated chromatic number of edge corona products. The dominator chromatic number of hierarchical products is bounded from above and the dominated chromatic number of hierarchical products with two factors determined. An application of dominated colorings in genetic networks is also proposed.
On the complexity of finding large odd induced subgraphs and odd colorings
Published
• View Publication
• BIB
We study the complexity of the problems of finding, given a graph $G$, a largest induced subgraph of $G$ with all degrees odd (called an odd subgraph), and the smallest number of odd subgraphs that partition $V(G)$. We call these parameters ${\sf mos}(G)$ and $χ_{\sf odd}(G)$, respectively. We prove that deciding whether $χ_{\sf odd}(G) \leq q$ is polynomial-time solvable if $q \leq 2$, and NP-complete otherwise. We provide algorithms in time $2^{O({\sf rw})} \cdot n^{O(1)}$ and $2^{O(q \cdot {\sf rw})} \cdot n^{O(1)}$ to compute ${\sf mos}(G)$ and to decide whether $χ_{\sf odd}(G) \leq q$ on $n$-vertex graphs of rank-width at most ${\sf rw}$, respectively, and we prove that the dependency on rank-width is asymptotically optimal under the ETH. Finally, we give some tight bounds for these parameters on restricted graph classes or in relation to other parameters.
Graphs with multi-$4$-cycles and the Barnette's conjecture
Let ${\cal H}$ denote the family of all graphs with multi-$4$-cycles and suppose that $G \in {\cal H}$. Then, $G$ is a bipartite graph with a vertex bipartition $\{V_α, V_β\}$. We prove that for every vertex $v \in V_β$ and for every $2$-colouring $V_α \rightarrow \{1, 2\}$ there exists a $2$-colouring $V_β \rightarrow \{1, 2\}$ such that every cycle in $G$ is not monochromatic and $b(v) = 1$ ($b(v) = 2$).
Let now $G$ be a simple even plane triangulation with a vertex $3$-partition $\{V_{1}, V_{2}, V_{3}\}$. Denote by $B_{i}$, $i = 1, 2, 3$, the set of all vertices in $V_i$ of degree at least $6$ in $G$. Suppose that $G[B_{1}\cup B_{3}]$ ($G[B_{2}\cup B_{3}]$) is a subgraph of $G$ induced by the set $B_{1}\cup B_{3}$ ($B_{2}\cup B_{3}$, respectively). Let $G^{*}$ be the dual graph of $G$ with the following $3$-face-colouring: a face $f$ of $G^{*}$ is coloured with $i$ if and only if the vertex $v = f^{*} \in V_{i}$. We prove that if $H = G[B_{1}\cup B_{3}] \cup G[B_{2}\cup B_{3}] \in {\cal H}$, then, for any edge chosen on a face coloured $3$ and of size at least $6$ in $G^{*}$, there exists a Hamilton cycle of $G^{*}$ which avoids this edge. Moreover, if every component of $H$ is $2$-connected, then there exists a Hamilton cycle of $G^{*}$ such that for every face coloured $3$ it avoids every second edge of this face or it avoids at most two edges of this face.