coloring
4410 papers tagged with this keyword
On Deeply Critical Oriented Cliques
Published
• View Publication
• BIB
In this work we consider arc criticality in colourings of oriented graphs. We study deeply critical oriented graphs, those graphs for which the removal of any arc results in a decrease of the oriented chromatic number by $2$. We prove the existence of deeply critical oriented cliques of every odd order $n\geq 9$, closing an open question posed by Borodin et al. (Journal of Combinatorial Theory, Series B, 81(1):150-155, 2001). Additionally, we prove the non-existence of deeply critical oriented cliques among the family of circulant oriented cliques of even order.
Minimum Scan Cover and Variants -- Theory and Experiments
Published
• View Publication
• BIB
We consider a spectrum of geometric optimization problems motivated by contexts such as satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs, we are given a graph $G$ that is embedded in Euclidean space. The edges of $G$ need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other; changing the heading of a vertex incurs some cost in terms of energy or rotation time that is proportional to the corresponding rotation angle. Our goal is to compute schedules that minimize the following objective functions: (i) in Minimum Makespan Scan Cover (MSC-MS), this is the time until all edges are scanned; (ii) in Minimum Total Energy Scan Cover (MSC-TE), the sum of all rotation angles; (iii) in Minimum Bottleneck Energy Scan Cover (MSC-BE), the maximum total rotation angle at one vertex.
Previous theoretical work on MSC-MS revealed a close connection to graph coloring and the cut cover problem, leading to hardness and approximability results. In this paper, we present polynomial-time algorithms for 1D instances of MSC-TE and MSC-BE, but NP-hardness proofs for bipartite 2D instances. For bipartite graphs in 2D, we also give 2-approximation algorithms for both MSC-TE and MSC-BE. Most importantly, we provide a comprehensive study of practical methods for all three problems. We compare three different mixed-integer programming and two constraint programming approaches, and show how to compute provably optimal solutions for geometric instances with up to 300 edges. Additionally, we compare the performance of different meta-heuristics for even larger instances.
The independence coloring game on graphs
We propose a new coloring game on a graph, called the independence coloring game, which is played by two players with opposite goals. The result of the game is a proper coloring of vertices of a graph $G$, and Alice's goal is that as few colors as possible are used during the game, while Bob wants to maximize the number of colors. The game consists of rounds, and in round $i$, where $i=1,2,,\ldots$, the players are taking turns in selecting a previously unselected vertex of $G$ and giving it color $i$ (hence, in each round the selected vertices form an independent set). The game ends when all vertices of $G$ are selected (and thus colored), and the total number of rounds during the game when both players are playing optimally with respect to their goals, is called the independence game chromatic number, $χ_{ig}(G)$, of $G$. In fact, four different versions of the independence game chromatic number are considered, which depend on who starts a game and who starts next rounds. We prove that the new invariants lie between the chromatic number of a graph and the maximum degree plus $1$, and characterize the graphs in which each of the four versions of the game invariant equals $2$. We compare the versions of the independence game chromatic number among themselves and with the classical game chromatic number. In addition, we prove that the independence game chromatic number of a tree can be arbitrarily large.
On Multicolour Ramsey Numbers and Subset-Colouring of Hypergraphs
Published
• View Publication
• BIB
For $n\geq s> r\geq 1$ and $k\geq 2$, write $n \rightarrow (s)_{k}^r$ if every hyperedge colouring with $k$ colours of the complete $r$-uniform hypergraph on $n$ vertices has a monochromatic subset of size $s$. Improving upon previous results by \textcite{AGLM14} and \textcite{EHMR84} we show that \[ \text{if } r \geq 3 \text{ and } n \nrightarrow (s)_k^r \text{ then } 2^n \nrightarrow (s+1)_{k+3}^{r+1}. \] This yields an improvement for some of the known lower bounds on multicolour hypergraph Ramsey numbers.
Given a hypergraph $H=(V,E)$, we consider the Ramsey-like problem of colouring all $r$-subsets of $V$ such that no hyperedge of size $\geq r+1$ is monochromatic. We provide upper and lower bounds on the number of colours necessary in terms of the chromatic number $χ(H)$. In particular we show that this number is $O(\log^{(r-1)} (r χ(H)) + r)$.
A Trivariate Dichromate Polynomial for Digraphs
We define a trivariate polynomial combining the NL-coflow and the NL-flow polynomial, which build a dual pair counting acyclic colorings of directed graphs, in the more general setting of regular oriented matroids.
$2$-distance $(Δ+1)$-coloring of sparse graphs using the potential method
Published
• View Publication
• BIB
A $2$-distance $k$-coloring of a graph is a proper $k$-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance ($Δ+1$)-coloring for graphs with maximum average degree less than $\frac{18}{7}$ and maximum degree $Δ\geq 7$. As a corollary, every planar graph with girth at least $9$ and $Δ\geq 7$ admits a $2$-distance $(Δ+1)$-coloring. The proof uses the potential method to reduce new configurations compared to classic approaches on $2$-distance coloring.
An extension of the rainbow Erdős-Rothschild problem
Published
• View Publication
• BIB
Given integers $r \geq 2$, $k \geq 3$ and $2 \leq s \leq \binom{k}{2}$, and a graph $G$, we consider $r$-edge-colorings of $G$ with no copy of a complete graph $K_k$ on $k$ vertices where $s$ or more colors appear, which are called $\mathcal{P}_{k,s}$-free $r$-colorings. We show that, for large $n$ and $r \geq r_0(k,s)$, the $(k-1)$-partite Turán graph $T_{k-1}(n)$ on $n$ vertices yields the largest number of $\mathcal{P}_{k,s}$-free $r$-colorings among all $n$-vertex graphs, and that it is the unique graph with this property.
The digrundy number of digraphs
Published
• View Publication
• BIB
We extend the Grundy number and the ochromatic number, parameters on graph colorings, to digraph colorings, we call them {\emph{digrundy number}} and {\emph{diochromatic number}}, respectively. First, we prove that for every digraph the diochromatic number equals the digrundy number (as it happen for graphs). Then, we prove the interpolation property and the Nordhaus-Gaddum relations for the digrundy number, and improve the Nordhaus-Gaddum relations for the dichromatic and diachromatic numbers bounded previously by the authors in [Electron. J. Combin. 25 (2018) no. 3, Paper {\#} 3.51, 17 pp.]
A Markov chain on the solution space of edge-colorings of bipartite graphs
Published in Discrete Appl. Math., Volume 332, 15 June 2023, Pages 7-22
• View Publication
• BIB
In this paper, we exhibit an irreducible Markov chain $M$ on the edge $k$-colorings of bipartite graphs based on certain properties of the solution space. We show that diameter of this Markov chain grows linearly with the number of edges in the graph. We also prove a polynomial upper bound on the inverse of acceptance ratio of the Metropolis-Hastings algorithm when the algorithm is applied on $M$ with the uniform distribution of all possible edge $k$-colorings of $G$. A special case of our results is the solution space of the possible completions of Latin rectangles.
An improved bound on the chromatic number of the Pancake graphs
Published in Discussiones Mathematicae - Graph Theory, 2021
• View Publication
• BIB
In this paper an improved bound on the chromatic number of the Pancake graph $P_n, n\geqslant 2$, is presented. The bound is obtained using a subadditivity property of the chromatic number of the Pancake graph. We also investigate an equitable coloring of $P_n$. An equitable $(n-1)$-coloring based on efficient dominating sets is given and optimal equitable $4$-colorings are considered for small $n$. It is conjectured that the chromatic number of $P_n$ coincides with its equitable chromatic number for any $n\geqslant 2$.
Spectrally Simple Zeros of Zeon Polynomials
Published in Adv. Appl. Clifford Algebras 31, 66 (2021)
• View Publication
• BIB
Combinatorial properties of zeons have been applied to graph enumeration problems, graph colorings, routing problems in communication networks, partition-dependent stochastic integrals, and Boolean satisfiability. Power series of elementary zeon functions are naturally reduced to finite sums by virtue of the nilpotent properties of zeons. Further, the zeon extension of any analytic complex function has zeon polynomial representations on associated equivalence classes of zeons.
In this paper, zeros of polynomials over complex zeons are considered. Existing results for real zeon polynomials are extended to the complex case and new results are established. In particular, a fundamental theorem of zeon algebra is established for spectrally simple zeros of complex zeon polynomials, and an algorithm is presented that allows one to find spectrally simple zeros when they exist. As an application, inverses of zeon extensions of analytic functions are computed using polynomial methods.
On a recolouring version of Hadwiger's conjecture
Published
• View Publication
• BIB
We prove that for any $\varepsilon>0$, for any large enough $t$, there is a graph $G$ that admits no $K_t$-minor but admits a $(\frac32-\varepsilon)t$-colouring that is "frozen" with respect to Kempe changes, i.e. any two colour classes induce a connected component. This disproves three conjectures of Las Vergnas and Meyniel from 1981.
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.$