coloring
4497 papers tagged with this keyword
On Domatic and Total Domatic Numbers of Product Graphs
Published
• View Publication
• BIB
A \emph{domatic} (\emph{total domatic}) \emph{$k$-coloring} of a graph $G$ is an assignment of $k$ colors to the vertices of $G$ such that each vertex contains vertices of all $k$ colors in its closed neighborhood (neighborhood). The \emph{domatic} (\emph{total domatic}) \emph{number} of $G$, denoted $d(G)$ ($d_t (G)$), is the maximum $k$ for which $G$ has a domatic (total domatic) $k$-coloring. In this paper, we show that for two non-trivial graphs $G$ and $H$, the domatic and total domatic numbers of their Cartesian product $G \cart H$ is bounded above by $\max\{|V(G)|, |V(H)|\}$ and below by $\max\{d(G), d(H)\}$. Both these bounds are tight for an infinite family of graphs. Further, we show that if $H$ is bipartite, then $d_t(G \cart H)$ is bounded below by $2\min\{d_t(G),d_t(H)\}$ and $d(G \cart H)$ is bounded below by $2\min\{d(G),d_t(H)\}$. These bounds give easy proofs for many of the known bounds on the domatic and total domatic numbers of hypercubes \cite{chen,zel4} and the domination and total domination numbers of hypercubes \cite{har,joh} and also give new bounds for Hamming graphs. We also obtain the domatic (total domatic) number and domination (total domination) number of $n$-dimensional torus $\mathop{\cart}\limits_{i=1}^{n} C_{k_i}$ with some suitable conditions to each $k_i$, which turns out to be a generalization of a result due to Gravier \cite{grav2} %[\emph{Total domination number of grid graphs}, Discrete Appl. Math. 121 (2002) 119-128] and give easy proof of a result due to Klavžar and Seifter \cite{sand}.
A characterization of $4$-$χ_ρ$-(vertex-)critical graphs
Published
• View Publication
• BIB
Given a graph $G$, a function $c:V(G)\longrightarrow \{1,\ldots,k\}$ with the property that $c(u)=c(v)=i$ implies that the distance between $u$ and $v$ is greater than $i$, is called a $k$-packing coloring of $G$. The smallest integer $k$ for which there exists a $k$-packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ$. Packing chromatic vertex-critical graphs are the graphs $G$ for which $χ_ρ(G-x) < χ_ρ(G)$ holds for every vertex $x$ of $G$. A graph $G$ is called a packing chromatic critical graph if for every proper subgraph $H$ of $G$, $χ_ρ(H) < χ_ρ(G)$. Both of the mentioned variations of critical graphs with respect to the packing chromatic number have already been studied. All packing chromatic (vertex-)critical graphs $G$ with $χ_ρ(G)=3$ were characterized, while there were known only partial results for graphs $G$ with $χ_ρ(G)=4$. In this paper, we provide characterizations of all packing chromatic vertex-critical graphs $G$ with $χ_ρ(G)=4$ and all packing chromatic critical graphs $G$ with $χ_ρ(G)=4$.
Pruned inside-out polytopes, combinatorial reciprocity theorems and generalized permutahedra
Published in The Electronic Journal of Combinatorics 29 (2022) P4.36
• View Publication
• BIB
Generalized permutahedra are a class of polytopes with many interesting combinatorial subclasses. We introduce pruned inside-out polytopes, a generalization of inside-out polytopes introduced by Beck--Zaslavsky (2006), which have many applications such as recovering the famous reciprocity result for graph colorings by Stanley. We study the integer point count of pruned inside-out polytopes by applying classical Ehrhart polynomials and Ehrhart-Macdonald reciprocity. This yields a geometric perspective on and a generalization of a combinatorial reciprocity theorem for generalized permutahedra by Aguiar-Ardila (2017), Billera-Jia-Reiner (2009), and Karaboghossian (2022). Applying this reciprocity theorem to hypergraphic polytopes allows to give a geometric proof of a combinatorial reciprocity theorem for hypergraph colorings by Aval-Karaboghossian-Tanasa (2020). This proof relies, aside from the reciprocity for generalized permutahedra, only on elementary geometric and combinatorial properties of hypergraphs and their associated polytopes.
Decomposing and colouring some locally semicomplete digraphs
Published
• View Publication
• BIB
A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood and the in-neighbourhood of any vertex induce a semicomplete digraph. In this paper we study various subclasses of locally semicomplete digraphs for which we give structural decomposition theorems. As a consequence we obtain several applications, among which an answer to a conjecture of Naserasr and the first and third authors: if an oriented graph is such that the out-neighbourhood of every vertex induces a transitive tournament, then one can partition its vertex set into two acyclic digraphs.
Graph clustering via generalized colorings
Published
• View Publication
• BIB
We propose a new approach for defining and searching clusters in graphs that represent real technological or transaction networks. In contrast to the standard way of finding dense parts of a graph, we concentrate on the structure of edges between the clusters, as it is motivated by some earlier observations, e.g. in the structure of networks in ecology and economics and by applications of discrete tomography. Mathematically special colorings and chromatic numbers of graphs are studied.
Colouring polygon visibility graphs and their generalizations
Published
• View Publication
• BIB
Curve pseudo-visibility graphs generalize polygon and pseudo-polygon visibility graphs and form a hereditary class of graphs. We prove that every curve pseudo-visibility graph with clique number $ω$ has chromatic number at most $3\cdot 4^{ω-1}$. The proof is carried through in the setting of ordered graphs; we identify two conditions satisfied by every curve pseudo-visibility graph (considered as an ordered graph) and prove that they are sufficient for the claimed bound. The proof is algorithmic: both the clique number and a colouring with the claimed number of colours can be computed in polynomial time.
Characterization of Graphs with Villainy 2
Let $f$ be an optimal proper coloring of a graph $G$ and let $c$ be a coloring of the vertices of $G$ obtained by permuting the colors on vertices in the proper coloring $f$. The villainy of $c$, written $B(c)$, is the minimum number of vertices that must be recolored to obtain a proper coloring of $G$ with the additional condition that the number of times each color is used does not change. The villainy of $G$ is defined as $B(G)=max_{c}B(c)$, over all optimal proper colorings of $G$. In this paper, we characterize graphs $G$ with $B(G)=2$.
Paint Cost and the Frugal Distinguishing Number
Published
• View Publication
• BIB
You are handed a graph with vertices in a neutral color and asked to color a subset of vertices with expensive paints in $d$ colors in such a way that only the trivial symmetry preserves the color classes. Your goal is to minimize the number of vertices needing this expensive paint. This paper address the issues surrounding your choices. In particular, a graph is said to be $d$-distinguishable if there exists a coloring with $d$ colors so that only the trivial automorphism preserves the color classes. The distinguishing number of $G$, denoted ${\rm Dist}(G)$, is the smallest $d$ for which $G$ is $d$-distinguishable. We define the -paint cost of $d$-distinguishing, denoted $ρ^d(G)$, to be the minimum number of vertices that need to be painted to $d$-distinguish $G$. This cost varies with $d$. The maximum paint cost for $G$ is called the upper paint cost, denoted $ρ^u(G)$, and occurs when $d={\rm Dist}(G)$; the minimum paint cost is called the lower paint cost, denoted $ρ^\ell(G)$. Further, we define the smallest $d$ for which the paint cost is $ρ^\ell(G)$, to be the frugal distinguishing number, ${\rm Fdist}(G)$. In this paper we formally define $ρ^d(G)$, $ρ^u(G)$, $ρ^\ell(G)$, and ${\rm Fdist}(G)$. We also show that $ρ^u(G)$ and $ρ^\ell(G)$, as well as ${\rm Fdist}(G)$ and ${\rm Dist}(G)$, can be arbitrarily large multiples of each other. Lastly, we find these parameters for the book graph $B_{m,n}$, summarized as follows. For $n\geq 2$ and $m\geq 4$, we show
$\bullet$ $ρ^\ell(B_{m,n}) = n-1;$
$\bullet$ $ρ^u(B_{m,n}) \geq (m-2) \left( n-k^{m-3} \right) +1$, where $k={\rm Dist}(B_{m,n});$
$\bullet$ ${\rm Fdist}(B_{m,n}) = 2+\left\lfloor \frac{n-1}{m-2} \right\rfloor.$
Queue layouts and nonrepetitive colouring of planar graphs and powers of trees
Dujmović, Joret, Micek, Morin, Ueckerdt and Wood recently in [Planar graphs have bounded queue-number, Journal of the ACM, Volume 67, Issue 4, Article No.: 22, August 2020] showed some attractive graph product structure theorems for planar graphs. By using the product structure, they proved that planar graphs have bounded queue-number $48$; in [Planar graphs have bounded nonrepetitive chromatic number, Advances in Combinatorics, 5, 11 pp, 2020], the authors proved that planar graphs have bounded nonrepetitive chromatic number $768$.
In this paper, still by using some product structure theorem, we improve the upper bound of queue-number of planar graphs to $27$ and the non-repetitive chromatic number to $320$. We also study powers of trees. We show a graph product structure theorem of the $k$-th power $T^k$ of tree $T$, then use it giving an upper bound of the nonrepetitive~chromatic~number of $T^k$. We also give an asymptotically tight upper bound of the queue-number of $T^k$.
Homology of polyomino tilings on flat surfaces
Published
• View Publication
• BIB
The homology group of a tiling introduced by M. Reid is studied for certain topological tilings. As in the planar case, for finite square grids on topological surfaces, the method of homology groups, namely the non-triviality of some specific element in the group allows a `coloring proof' of impossibility of a tiling. Several results about the non-existence of polyomino tilings on certain square-tiled surfaces are proved in the paper.
On the $r$-Derangements of type B
Extensions of a set partition obtained by imposing bounds on the size of the parts and the coloring of some of the elements are examined. Combinatorial properties and the generating functions of some counting sequences associated with these partitions are established. Connections with Riordan arrays are presented.
On coloring digraphs with forbidden induced subgraphs
Published
• View Publication
• BIB
We prove a conjecture by Aboulker, Charbit and Naserasr by showing that every oriented graph in which the out-neighborhood of every vertex induces a transitive tournament can be partitioned into two acyclic induced subdigraphs. We prove multiple extensions of this result to larger classes of digraphs defined by a finite list of forbidden induced subdigraphs. We thereby resolve several special cases of an extension of the famous Gyárfás-Sumner conjecture to directed graphs by Aboulker et al.
On tangencies among planar curves with an application to coloring L-shapes
Published
• View Publication
• BIB
We prove that there are $O(n)$ tangencies among any set of $n$ red and blue planar curves in which every pair of curves intersects at most once and no two curves of the same color intersect. If every pair of curves may intersect more than once, then it is known that the number of tangencies could be super-linear. However, we show that a linear upper bound still holds if we replace tangencies by pairwise disjoint connecting curves that all intersect a certain face of the arrangement of red and blue curves.
The latter result has an application for the following problem studied by Keller, Rok and Smorodinsky [Disc.\ Comput.\ Geom.\ (2020)] in the context of \emph{conflict-free coloring} of \emph{string graphs}: what is the minimum number of colors that is always sufficient to color the members of any family of $n$ \emph{grounded L-shapes} such that among the L-shapes intersected by any L-shape there is one with a unique color? They showed that $O(\log^3 n)$ colors are always sufficient and that $Ω(\log n)$ colors are sometimes necessary. We improve their upper bound to $O(\log^2 n)$.
Avoiding Monochromatic Solutions to 3-term Equations
Published
• View Publication
• BIB
Given an equation, the integers $[n] = \{1, 2, \dots, n\}$ as inputs, and the colors red and blue, how can we color $[n]$ in order to minimize the number of monochromatic solutions to the equation, and what is the minimum? The answer is only known for a handful of equations, but much progress has been made on improving upper and lower bounds on minima for various equations. A well-studied characteristic an equation, which has its roots in graph Ramsey theory, is to determine if the minimum number of monochromatic solutions can be achieved (asymptotically) by uniformly random colorings. Such equations are called common. We prove that no 3-term equations are common and provide a lower bound for a specific class of 3-term equations.
Star Chromatic Index of Halin Graphs
A star edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every path and cycle of length four in $G$ uses at least three different colors. The star chromatic index of $G$, is the smallest integer $k$ for which $G$ admits a star edge coloring with $k$ colors.
In this paper, we obtain tight upper bound $\left\lfloor\frac{3Δ}{2}\right\rfloor+2$ for the star chromatic index of every Halin graph, that proves the conjecture of Dvo{ř}{á}k et al. (J Graph Theory, 72 (2013), 313--326) for cubic Halin graphs.
Tilted Corners in Integer Grids
Published
• View Publication
• BIB
It was proved by Ron Graham and the second author that for any coloring of the $N \times N$ grid using fewer than $\log \log N$ colours, one can always find a monochromatic isosceles right triangle, a triangle with vertex coordinates $(x, y),(x + d, y),$ and $(x, y + d).$ In this paper we are asking questions where not only axis-parallel, but tilted isosceles right triangles are considered as well. Both colouring and density variants of the problem will be discussed.
The existence of uniform hypergraphs for which interpolation property of complete coloring fails
Published
• View Publication
• BIB
In 1967 Harary, Hedetniemi, and Prins showed that every graph $G$ admits a complete $t$-coloring for every $t$ with $χ(G) \le t \le ψ(G)$, where $χ(G)$ denotes the chromatic number of $G$ and $ψ(G)$ denotes the achromatic number of $G$ which is the maximum number $r$ for which $G$ admits a complete $r$-coloring. Recently, Edwards and Rz\c ażewski (2020) showed that this result fails for hypergraphs by proving that for every integer $k$ with $k\ge 9$, there exists a $k$-uniform hypergraph $H$ with a complete $χ(H)$-coloring and a complete $ψ(H)$-coloring, but no complete $t$-coloring for some $t$ with $χ(H)< t<ψ(H)$. They also asked whether there would exist such an example for $3$-uniform hypergraphs and posed another problem to strengthen their result. In this paper, we generalize their result to all cases $k$ with $k\ge 3$ and settle their problems by giving several kinds of $3$-uniform hypergraphs. In particular, we disprove a recent conjecture due to Matsumoto and the third author (2020) who suggested a special family of $3$-uniform hypergraph to satisfy the desired interpolation property.
Random hypergraphs and property B
Published in European Journal of Combinatorics, Volume 91, January 2021, 103205
• View Publication
• BIB
In 1964 Erdős proved that $(1+\oh{1})) \frac{\eul \ln(2)}{4} k^2 2^{k}$ edges are sufficient to build a $k$-graph which is not two colorable. To this day, it is not known whether there exist such $k$-graphs with smaller number of edges. Erdős' bound is consequence of the fact that a hypergraph with $k^2/2$ vertices and $M(k)=(1+\oh{1}) \frac{\eul \ln(2)}{4} k^2 2^{k}$ randomly chosen edges of size $k$ is asymptotically almost surely not two colorable. Our first main result implies that for any $\varepsilon > 0$, any $k$-graph with $(1-\varepsilon) M(k)$ randomly and uniformly chosen edges is a.a.s. two colorable. The presented proof is an adaptation of the second moment method analogous to the developments of Achlioptas and Moore from 2002 who considered the problem with fixed size of edges and number of vertices tending to infinity. In the second part of the paper we consider the problem of algorithmic coloring of random $k$-graphs. We show that quite simple, and somewhat greedy procedure, a.a.s. finds a proper two coloring for random $k$-graphs on $k^2/2$ vertices, with at most $\Oh{k\ln k\cdot 2^k}$ edges. That is of the same asymptotic order as the analogue of the \emph{algorithmic barrier} defined by Achlioptas and Coja-Oghlan in 2008, for the case of fixed $k$.
Ramsey properties of semilinear graphs
Published
• View Publication
• BIB
A graph $G$ is semilinear of complexity $t$ if the vertices of $G$ are elements of $\mathbb{R}^{d}$ for some $d\in\mathbb{Z}^{+}$, and the edges of $G$ are defined by the sign patterns of $t$ linear functions $f_1,\dots,f_t:\mathbb{R}^{d}\times \mathbb{R}^{d}\rightarrow\mathbb{R}$. We show that semilinear graphs of constant complexity have very tame Ramsey properties. More precisely, we prove that if $G$ is a semilinear graph of complexity $t$ which contains no clique of size $s$ and no independent set of size $n$, then $G$ has at most $O_{s,t}(n)\cdot(\log n)^{O_t(1)}$ vertices. We also show that the logarithmic term cannot be omitted. In particular, this implies that if $G$ is a semilinear graph of constant complexity on $n$ vertices, and $G$ contains no clique of size $s$, then $G$ can be properly colored with $\mbox{polylog}(n)$ colors. In the past 60 years, this coloring question was extensively studied for several special instances of semilinear graphs, e.g. shift graphs, intersection and disjointness graphs of certain geometric objects, and overlap graphs. Our main result provides a general upper bound on the chromatic number of all such, seemingly unrelated, graphs.
Furthermore, we consider the symmetric Ramsey problem for semilinear graphs as well. It is known that if there exists an intersection graph of $N$ boxes in $\mathbb{R}^{d}$ (such graphs are semilinear of complexity $2d$) that contains no clique or independent set of size $n$, then $N=O_d(n^2(\log n)^{d-1})$. That is, the exponent of $n$ does not grow with the dimension. We prove a result about the symmetric Ramsey properties of semilinear graphs, which puts this phenomenon in a more general context.
Lower bounds on the Erdős-Gyárfás problem via color energy graphs
Published
• View Publication
• BIB
Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower bounds on this function, making explicit the connection between bounds on extremal numbers and $f(n,p,q)$. Using results on the extremal numbers of subdivided complete graphs, theta graphs, and subdivided complete bipartite graphs, we generalize results of Fish, Pohoata, and Sheffer, giving the first nontrivial lower bounds on $f(n,p,q)$ for some pairs $(p,q)$ and improving previous lower bounds for other pairs.