coloring
4410 papers tagged with this keyword
Chromatic properties of the Euclidean plane
Let $G$ be the unit distance graph in the plane. A well-known problem in combinatorial geometry is that of determining the chromatic number of $G$. It is known that $4\le χ(G)\le 7$. The upper bound of 7 is obtained using tilings of the plane. The present paper studies two problems where we seek proper colourings of $G$, adding restrictions inspired by tilings:
Let $H(ε)$ be the graph whose vertices are the points of ${\mathbb R}^2$, with an edge between two points if their distance lies in the interval $[1,1+ε]$. We show that for small $ε$, $0<ε\le \frac{3\sqrt{2}}{4}-1$, we have $6\le χ(H(ε))\le 7$. This improves the result of Exoo and Grytczuk et al. that $5\le χ(H(ε))$ for small $ε$.
Suppose that $G$ is properly coloured, but so that two solidly coloured regions meet along a straight line in some neighbourhood. Then at least 5 colours must be used.
On uniquely 3-colorable plane graphs without prescribed adjacent faces
Published
• View Publication
• BIB
A graph $G$ is \emph{uniquely k-colorable} if the chromatic number of $G$ is $k$ and $G$ has only one $k$-coloring up to permutation of the colors. For a plane graph $G$, two faces $f_1$ and $f_2$ of $G$ are \emph{adjacent $(i,j)$-faces} if $d(f_1)=i$, $d(f_2)=j$ and $f_1$ and $f_2$ have a common edge, where $d(f)$ is the degree of a face $f$. In this paper, we prove that every uniquely 3-colorable plane graph has adjacent $(3,k)$-faces, where $k\leq 5$. The bound 5 for $k$ is best possible. Furthermore, we prove that there exist a class of uniquely 3-colorable plane graphs having neither adjacent $(3,i)$-faces nor adjacent $(3,j)$-faces, where $i,j\in \{3,4,5\}$ and $i \neq j$. One of our constructions implies that there exist an infinite family of edge-critical uniquely 3-colorable plane graphs with $n$ vertices and $\frac{7}{3}n-\frac{14}{3}$ edges, where $n(\geq 11)$ is odd and $n\equiv 2\pmod{3}$.
The classification of tensor categories of two-colored noncrossing partitions
Published
• View Publication
• BIB
Our basic objects are partitions of finite sets of points into disjoint subsets. We investigate sets of partitions which are closed under taking tensor products, composition and involution, and which contain certain base partitions. These so called categories of partitions are exactly the tensor categories being used in the theory of Banica and Speicher's orthogonal easy quantum groups. In our approach, we additionally allow a coloring of the points. This serves as the basis for the introduction of unitary easy quantum groups, which is done in a separate article. The present article however is purely combinatorial. We find all categories of two-colored noncrossing partitions. For doing so, we extract certain parameters with values in the natural numbers specifying the colorization of the categories on a global as well as on a local level. It turns out that there are ten series of categories, each indexed by one or two parameters from the natural numbers, plus two additional categories. This is just the beginning of the classification of categories of two-colored partitions and we point out open problems at the end of the article.
Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations
We give a linear-time algorithm to decide 3-colorability (and find a 3-coloring, if it exists) of quadrangulations of a fixed surface. The algorithm also allows to prescribe the coloring for a bounded number of vertices.
Chromatic Ramsey number of acyclic hypergraphs
Suppose that $T$ is an acyclic $r$-uniform hypergraph, with $r\ge 2$. We define the ($t$-color) chromatic Ramsey number $χ(T,t)$ as the smallest $m$ with the following property: if the edges of any $m$-chromatic $r$-uniform hypergraph are colored with $t$ colors in any manner, there is a monochromatic copy of $T$. We observe that $χ(T,t)$ is well defined and $$\left\lceil {R^r(T,t)-1\over r-1}\right \rceil +1 \le χ(T,t)\le |E(T)|^t+1$$ where $R^r(T,t)$ is the $t$-color Ramsey number of $H$. We give linear upper bounds for $χ(T,t)$ when T is a matching or star, proving that for $r\ge 2, k\ge 1, t\ge 1$, $χ(M_k^r,t)\le (t-1)(k-1)+2k$ and $χ(S_k^r,t)\le t(k-1)+2$ where $M_k^r$ and $S_k^r$ are, respectively, the $r$-uniform matching and star with $k$ edges.
The general bounds are improved for $3$-uniform hypergraphs. We prove that $χ(M_k^3,2)=2k$, extending a special case of Alon-Frankl-Lovász' theorem. We also prove that $χ(S_2^3,t)\le t+1$, which is sharp for $t=2,3$. This is a corollary of a more general result. We define $H^{[1]}$ as the 1-intersection graph of $H$, whose vertices represent hyperedges and whose edges represent intersections of hyperedges in exactly one vertex. We prove that $χ(H)\le χ(H^{[1]})$ for any $3$-uniform hypergraph $H$ (assuming $χ(H^{[1]})\ge 2$). The proof uses the list coloring version of Brooks' theorem.
The Tournament Scheduling Problem with Absences
Published
• View Publication
• BIB
We study time scheduling problems with allowed absences as a new kind of graph coloring problem. One may think of a sport tournament where each player (each team) is permitted a certain number $t$ of absences. We then examine how many rounds are needed to schedule the whole tournament in the worst case. This upper limit depends on $t$ and on the structure of the graph $G$ whose edges represent the games that have to be played, but also on whether or not the absences are announced before the tournament starts. Therefore, we actually have two upper limits for the number of required rounds. We have $χ^t(G)$ for pre-scheduling if all absences are pre-fixed, and we have $χ_{\textit{OL}}^t(G)$ for on-line scheduling if we have to stay flexible and deal with absences when they occur. We conjecture that $χ^t(G)=Δ(G)+2t$ and that $χ_{\textit{OL}}^t(G)=χ'(G)+2t.$ The first conjecture is stronger than the Total Coloring Conjecture while the second is weaker than the On-Line List Edge Coloring Conjecture. Our conjectures hold for all bipartite graphs. For complete graphs, we prove them partially. Lower and upper bounds to $χ^t(G)$ and $χ_{\textit{OL}}^t(G)$ for general multigraphs $G$ are established, too.
Tait colorings, and an instanton homology for webs and foams
Published
• View Publication
• BIB
We use SO(3) gauge theory to define a functor from a category of unoriented webs and foams to the category of finite-dimensional vector spaces over the field of two elements. We prove a non-vanishing theorem for this SO(3) instanton homology of webs, using Gabai's sutured manifold theory. It is hoped that the non-vanishing theorem may support a program to provide a new proof of the four-color theorem.
Exact triangles for SO(3) instanton homology of webs
Published
• View Publication
• BIB
The SO(3) instanton homology recently introduced by the authors associates a finite-dimensional vector space over the field of two elements to every embedded trivalent graph (or "web"). The present paper establishes a skein exact triangle for this instanton homology, as well as a realization of the octahedral axiom. From the octahedral diagram, one can derive equivalent reformulations of the authors' conjecture that, for planar webs, the rank of the instanton homology is equal to the number of Tait colorings.
Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation
Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not "under control" from a polyhedral point of view. The equivalence between \emph{optimization} and \emph{polyhedral separation} suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to them. Therefore, it is interesting to study known formulations for vertex coloring with the goal of finding such characterizations. In this work we study the asymmetric representatives formulation and we show that the corresponding coloring polytope, for a given graph $G$, can be interpreted as the stable set polytope of another graph obtained from $G$. This result allows us to derive complete characterizations for the corresponding coloring polytope for some families of graphs, based on known complete characterizations for the stable set polytope.
Universal targets for homomorphisms of edge-colored graphs
Published
• View Publication
• BIB
A $k$-edge-colored graph is a finite, simple graph with edges labeled by numbers $1,\ldots,k$. A function from the vertex set of one $k$-edge-colored graph to another is a homomorphism if the endpoints of any edge are mapped to two different vertices connected by an edge of the same color. Given a class $\mathcal{F}$ of graphs, a $k$-edge-colored graph $\mathbb{H}$ (not necessarily with the underlying graph in $\mathcal{F}$) is $k$-universal for $\mathcal{F}$ when any $k$-edge-colored graph with the underlying graph in $\mathcal{F}$ admits a homomorphism to $\mathbb{H}$. We characterize graph classes that admit $k$-universal graphs. For such classes, we establish asymptotically almost tight bounds on the size of the smallest universal graph.
For a nonempty graph $G$, the density of $G$ is the maximum ratio of the number of edges to the number of vertices ranging over all nonempty subgraphs of $G$. For a nonempty class $\mathcal{F}$ of graphs, $D(\mathcal{F})$ denotes the density of $\mathcal{F}$, that is the supremum of densities of graphs in $\mathcal{F}$.
The main results are the following. The class $\mathcal{F}$ admits $k$-universal graphs for $k\geq2$ if and only if there is an absolute constant that bounds the acyclic chromatic number of any graph in $\mathcal{F}$. For any such class, there exists a constant $c$, such that for any $k \geq 2$, the size of the smallest $k$-universal graph is between $k^{D(\mathcal{F})}$ and $ck^{\lceil D(\mathcal{F})\rceil}$.
A connection between the acyclic coloring and the existence of universal graphs was first observed by Alon and Marshall (Journal of Algebraic Combinatorics, 8(1):5-13, 1998). One of their results is that for planar graphs, the size of the smallest $k$-universal graph is between $k^3+3$ and $5k^4$. Our results yield that there exists a constant $c$ such that for all $k$, this size is bounded from above by $ck^3$.
On the neighbour sum distinguishing index of graphs with bounded maximum average degree
Published in Graphs Combin. 33(6) (2017) 1459-1471
• View Publication
• BIB
A proper edge $k$-colouring of a graph $G=(V,E)$ is an assignment $c:E\to \{1,2,\ldots,k\}$ of colours to the edges of the graph such that no two adjacent edges are associated with the same colour. A neighbour sum distinguishing edge $k$-colouring, or nsd $k$-colouring for short, is a proper edge $k$-colouring such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every edge $uv$ of $G$. We denote by $χ'_{\sum}(G)$ the neighbour sum distinguishing index of $G$, which is the least integer $k$ such that an nsd $k$-colouring of $G$ exists. By definition at least maximum degree, $Δ(G)$ colours are needed for this goal. In this paper we prove that $χ'_Σ(G) \leq Δ(G)+1$ for any graph $G$ without isolated edges and with ${\rm mad}(G)<3$, $Δ(G) \geq 6$.
Distant set distinguishing total colourings of graphs
Published in Electron. J. Combin. 23(2) (2016), #P2.54
• Search Publication
The Total Colouring Conjecture suggests that $Δ+3$ colours ought to suffice in order to provide a proper total colouring of every graph $G$ with maximum degree $Δ$. Thus far this has been confirmed up to an additive constant factor, and the same holds even if one additionally requires every pair of neighbours in $G$ to differ with respect to the sets of their incident colours, so called pallets. Within this paper we conjecture that an upper bound of the form $Δ+const.$ still remains valid even after extending the distinction requirement to pallets associated with vertices at distance at most $r$, if only $G$ has minimum degree $δ$ larger than a constant dependent on $r$. We prove that such assumption on $δ$ is then unavoidable and exploit the probabilistic method in order to provide two supporting results for the conjecture. Namely, we prove the upper bound $(1+o(1))Δ$ for every $r$, and show that the conjecture holds if $δ\geq \varepsilonΔ$ for any fixed $ε\in(0,1]$ and $r$, i.e., in particular for regular graphs.
A Dichotomy Theorem for Circular Colouring Reconfiguration
Published
• View Publication
• BIB
The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate mapping is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes a known dichotomy theorem for reconfiguring classical graph colourings.
A note on the Erdös-Faber-Lovász Conjecture: quasigroups and complete digraphs
Published in Ars Combinatoria-2019
• Search Publication
A decomposition of a simple graph $G$ is a pair $(G,P)$ where $P$ is a set of subgraphs of $G$, which partitions the edges of $G$ in the sense that every edge of $G$ belongs to exactly one subgraph in $P$. If the elements of $P$ are induced subgraphs then the decomposition is denoted by $[G,P]$.
A $k$-$P$-coloring of a decomposition $(G,P)$ is a surjective function that assigns to the edges of $G$ a color from a $k$-set of colors, such that all edges of $H\in P$ have the same color, and, if $H_1,H_2\in P$ with $V(H_1)\cap V(H_2)\neq\emptyset$ then $E(H_1)$ and $E(H_2)$ have different colors. The \emph{chromatic index} $χ'((G,P))$ of a decomposition $(G,P)$ is the smallest number $k$ for which there exists a $k$-$P$-coloring of $(G,P)$.
The well-known Erdös-Faber-Lovász Conjecture states that any decomposition $[K_n,P]$ satisfies $χ'([K_n,P])\leq n$. We use quasigroups and complete digraphs to give a new family of decompositions that satisfy the conjecture.
Distant set distinguishing edge colourings of graphs
Published in European J. Comb. 69 (2018) 185-199
• View Publication
• BIB
We consider the following extension of the concept of adjacent strong edge colourings of graphs without isolated edges. Two distinct vertices which are at distant at most $r$ in a graph are called $r$-adjacent. The least number of colours in a proper edge colouring of a graph $G$ such that the sets of colours met by any $r$-adjacent vertices in $G$ are distinct is called the $r$-adjacent strong chromatic index of $G$ and denoted by $χ'_{a,r}(G)$. It has been conjectured that $χ'_{a,1}(G)\leqΔ+2$ if $G$ is connected of maximum degree $Δ$ and non-isomorphic to $C_5$, while Hatami proved that there is a constant $C$, $C\leq 300$, such that $χ'_{a,1}(G)\leqΔ+C$ if $Δ>10^{20}$ [J. Combin. Theory Ser. B 95 (2005) 246--256]. We conjecture that a similar statement should hold for any $r$, i.e., that for each positive integer $r$ there exist constants $δ_0$ and $C$ such that $χ'_{a,r}(G) \leq Δ+C$ for every graph without an isolated edge and with minimum degree $δ\geq δ_0$, and argue that a lower bound on $δ$ is unavoidable in such a case (for $r>2$). Using the probabilistic method we prove such upper bound to hold for graphs with $δ\geq εΔ$, for every $r$ and any fixed $\varepsilon\in(0,1]$, i.e., in particular for regular graphs. We also support the conjecture by proving an upper bound $χ'_{a,r}(G) \leq (1+o(1))Δ$ for graphs with $δ\geq r+2$.
Nilpotent dessins: Decomposition theorem and classification of the abelian dessins
A map is a 2-cell decomposition of an orientable closed surface. A dessin is a bipartite map with a fixed colouring of vertices. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts transitively on the edges, and a regular dessin is symmetric if it admits an additional external symmetry transposing the vertex colours. Regular dessins with nilpotent automorphism groups are investigated. We show that each such dessin is a parallel product of regular dessins whose automorphism groups are the Sylow subgroups. Regular and symmetric dessins with abelian automorphism groups are classified and enumerated.
Equitable colorings of complete multipartite graphs
A $q$-\emph{equitable coloring} of a graph $G$ is a proper $q$-coloring such that the sizes of any two color classes differ by at most one. In contrast with ordinary coloring, a graph may have an equitable $q$-coloring but has no equitable $(q+1)$-coloring. The \emph{equitable chromatic threshold} is the minimum $p$ such that $G$ has an equitable $q$-coloring for every $q\geq p.$
In this paper, we establish the notion of $p(q: n_1,\ldots, n_k)$ which can be computed in linear-time and prove the following. Assume that $K_{n_1,\ldots,n_k}$ has an equitable $q$-coloring. Then $p(q: n_1,\ldots, n_k)$ is the minimum $p$ such that $K_{n_1,\ldots,n_k}$ has an equitable $r$-coloring for each $r$ satisfying $p \leq r \leq q.$ Since $K_{n_1,\ldots,n_k}$ has an equitable $(n_1+\cdots+n_k)$-coloring, the equitable chromatic threshold of $K_{n_1,\ldots,n_k}$ is $p(n_1+\cdots+n_k: n_1,\ldots, n_k).$
We find out later that the aforementioned immediate consequence is exactly the same as the formula of Yan and Wang \cite{YW12}. Nonetheless, the notion of $p(q: n_1,\ldots, n_k)$ can be used for each $q$ in which $K_{n_1,\ldots,n_k}$ has an equitable $q$-coloring and the proof presented here is much shorter.
The odd Hadwiger's conjecture is "almost'' decidable
The odd Hadwiger's conjecture, made by Gerads and Seymour in early 1990s, is an analogue of the famous Hadwiger's conjecture. It says that every graph with no odd $K_t$-minor is $(t-1)$-colorable. This conjecture is known to be true for $t \leq 5$, but the cases $t \geq 5$ are wide open. So far, the most general result says that every graph with no odd $K_t$-minor is $O(t \sqrt{\log t})$-colorable.
In this paper, we tackle this conjecture from an algorithmic view, and show the following:
For a given graph $G$ and any fixed $t$, there is a polynomial time algorithm to output one of the following:
\begin{enumerate} \item a $(t-1)$-coloring of $G$, or \item an odd $K_{t}$-minor of $G$, or \item after making all "reductions" to $G$, the resulting graph $H$ (which is an odd minor of $G$ and which has no reductions) has a tree-decomposition $(T, Y)$ such that torso of each bag $Y_t$ is either \begin{itemize} \item of size at most $f_1(t) \log n$ for some function $f_1$ of $t$, or \item a graph that has a vertex $X$ of order at most $f_2(t)$ for some function $f_2$ of $t$ such that $Y_t-X$ is bipartite. Moreover, degree of $t$ in $T$ is at most $f_3(t)$ for some function $f_3$ of $t$. \end{itemize} \end{enumerate}
Let us observe that the last odd minor $H$ is indeed a minimal counterexample to the odd Hadwiger's conjecture for the case $t$. So our result says that a minimal counterexample satisfies the lsat conclusion.
Max Point-Tolerance Graphs
Published
• View Publication
• BIB
A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u \cap I_v \supseteq \{p_u, p_v\}$. MPT graphs model relationships among DNA fragments in genome-wide association studies as well as basic transmission problems in telecommunications. We formally introduce this graph class, characterize it, study combinatorial optimization problems on it, and relate it to several well known graph classes. We characterize MPT graphs as a special case of several 2D geometric intersection graphs; namely, triangle, rectangle, L-shape, and line segment intersection graphs. We further characterize MPT as having certain linear orders on their vertex set. Our last characterization is that MPT graphs are precisely obtained by intersecting special pairs of interval graphs. We also show that, on MPT graphs, the maximum weight independent set problem can be solved in polynomial time, the coloring problem is NP-complete, and the clique cover problem has a 2-approximation. Finally, we demonstrate several connections to known graph classes; e.g., MPT graphs strictly contain interval graphs and outerplanar graphs, but are incomparable to permutation, chordal, and planar graphs.
Ramsey equivalence of $K_n$ and $K_n+K_{n-1}$
Published
• View Publication
• BIB
We prove that, for $n\geq 4$, the graphs $K_n$ and $K_n+K_{n-1}$ are Ramsey equivalent. That is, if $G$ is such that any red-blue colouring of its edges creates a monochromatic $K_n$ then it must also possess a monochromatic $K_n+K_{n-1}$.