coloring
4497 papers tagged with this keyword
Best and worst case permutations for random online domination of the path
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (December 20, 2017) dmtcs:3278
• View Publication
• BIB
We study a randomized algorithm for graph domination, by which, according to a uniformly chosen permutation, vertices are revealed and added to the dominating set if not already dominated. We determine the expected size of the dominating set produced by the algorithm for the path graph $P_n$ and use this to derive the expected size for some related families of graphs. We then provide a much-refined analysis of the worst and best cases of this algorithm on $P_n$ and enumerate the permutations for which the algorithm has the worst-possible performance and best-possible performance. The case of dominating the path graph has connections to previous work of Bouwer and Star, and of Gessel on greedily coloring the path.
A coloring of the square of the 8-cube with 13 colors
Let $χ_{\bar{k}}(n)$ be the number of colors required to color the $n$-dimensional hypercube such that no two vertices with the same color are at a distance at most $k$. In other words, $χ_{\bar{k}}(n)$ is the minimum number of binary codes with minimum distance at least $k+1$ required to partition the $n$-dimensional Hamming space. By giving an explicit coloring, it is shown that $χ_{\bar{2}}(8)=13$.
Large Cross-free sets in Steiner triple systems
Published
• View Publication
• BIB
A {\em cross-free} set of size $m$ in a Steiner triple system $(V,{\cal{B}})$ is three pairwise disjoint $m$-element subsets $X_1,X_2,X_3\subset V$ such that no $B\in {\cal{B}}$ intersects all the three $X_i$-s. We conjecture that for every admissible $n$ there is an STS$(n)$ with a cross-free set of size $\lfloor{n-3\over 3}\rfloor$ which if true, is best possible. We prove this conjecture for the case $n=18k+3$, constructing an STS$(18k+3)$ containing a cross-free set of size $6k$. We note that some of the $3$-bichromatic STSs, constructed by Colbourn, Dinitz and Rosa, have cross-free sets of size close to $6k$ (but cannot have size exactly $6k$).
The constructed STS$(18k+3)$ shows that equality is possible for $n=18k+3$ in the following result: in every $3$-coloring of the blocks of any Steiner triple system STS$(n)$ there is a monochromatic connected component of size at least $\lceil{2n\over 3}\rceil+1$ (we conjecture that equality holds for every admissible $n$).
The analogue problem can be asked for $r$-colorings as well, if $r-1 \equiv 1,3 \mbox{ (mod 6)}$ and $r-1$ is a prime power, we show that the answer is the same as in case of complete graphs: in every $r$-coloring of the blocks of any STS$(n)$, there is a monochromatic connected component with at least ${n\over r-1}$ points, and this is sharp for infinitely many $n$.
Partitioning 2-edge-colored graphs by monochromatic paths and cycles
Published in Combinatorica 34, 5, 507-526 (2014)
• View Publication
• BIB
We present results on partitioning the vertices of $2$-edge-colored graphs into monochromatic paths and cycles. We prove asymptotically the two-color case of a conjecture of Sárközy: the vertex set of every $2$-edge-colored graph can be partitioned into at most $2α(G)$ monochromatic cycles, where $α(G)$ denotes the independence number of $G$. Another direction, emerged recently from a conjecture of Schelp, is to consider colorings of graphs with given minimum degree. We prove that apart from $o(|V(G)|)$ vertices, the vertex set of any $2$-edge-colored graph $G$ with minimum degree at least $(1+\eps){3|V(G)|\over 4}$ can be covered by the vertices of two vertex disjoint monochromatic cycles of distinct colors. Finally, under the assumption that $\overline{G}$ does not contain a fixed bipartite graph $H$, we show that in every $2$-edge-coloring of $G$, $|V(G)|-c(H)$ vertices can be covered by two vertex disjoint paths of different colors, where $c(H)$ is a constant depending only on $H$. In particular, we prove that $c(C_4)=1$, which is best possible.
Circular coloring of signed graphs
Published
• View Publication
• BIB
Let $k, d$ ($2d \leq k)$ be two positive integers. We generalize the well studied notions of $(k,d)$-colorings and of the circular chromatic number $χ_c$ to signed graphs. This implies a new notion of colorings of signed graphs, and the corresponding chromatic number $χ$. Some basic facts on circular colorings of signed graphs and on the circular chromatic number are proved, and differences to the results on unsigned graphs are analyzed. In particular, we show that the difference between the circular chromatic number and the chromatic number of a signed graph is at most 1. Indeed, there are signed graphs where the difference is 1. On the other hand, for a signed graph on $n$ vertices, if the difference is smaller than 1, then there exists $ε_n>0$, such that the difference is at most $1 - ε_n$.
We also show that notion of $(k,d)$-colorings is equivalent to $r$-colorings (see (X. Zhu, Recent developments in circular coloring of graphs, in Topics in Discrete Mathematics Algorithms and Combinatorics Volume 26, Springer Berlin Heidelberg (2006) 497-550)).
The List Distinguishing Number Equals the Distinguishing Number for Interval Graphs
Published
• View Publication
• BIB
A \textit{distinguishing coloring} of a graph $G$ is a coloring of the vertices so that every nontrivial automorphism of $G$ maps some vertex to a vertex with a different color. The \textit{distinguishing number} of $G$ is the minimum $k$ such that $G$ has a distinguishing coloring where each vertex is assigned a color from $\{1,\ldots,k\}$. A \textit{list assignment} to $G$ is an assignment $L=\{L(v)\}_{v\in V(G)}$ of lists of colors to the vertices of $G$. A \textit{distinguishing $L$-coloring} of $G$ is a distinguishing coloring of $G$ where the color of each vertex $v$ comes from $L(v)$. The {\it list distinguishing number} of $G$ is the minimum $k$ such that every list assignment to $G$ in which $|L(v)|=k$ for all $v\in V(G)$ yields a distinguishing $L$-coloring of $G$. We prove that if $G$ is an interval graph, then its distinguishing number and list distinguishing number are equal.
Homotopy types of Hom complexes of graphs
Published in European J. Combin. 63 (2017), 216-226
• View Publication
• BIB
The Hom complex ${\rm Hom}(T,G)$ of graphs is a CW-complex associated to a pair of graphs $T$ and $G$, considered in the graph coloring problem. It is known that certain homotopy invariants of ${\rm Hom}(T,G)$ give lower bounds for the chromatic number of $G$.
For a fixed finite graph $T$, we show that there is no homotopy invariant of ${\rm Hom}(T,G)$ which gives an upper bound for the chromatic number of $G$. More precisely, for a non-bipartite graph $G$, we construct a graph $H$ such that ${\rm Hom}(T,G)$ and ${\rm Hom}(T,H)$ are homotopy equivalent but $χ(H)$ is much larger than $χ(G)$. The equivariant homotopy type of ${\rm Hom}(T,G)$ is also considered.
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.