coloring
4405 papers tagged with this keyword
Online coloring graphs with high girth and high oddgirth
Published
• View Publication
• BIB
We give an upper bound for the online chromatic number of graphs with high girth and for graphs with high oddgirth generalizing Kier- stead's algorithm for graphs that contain neither a C3 or C5 as an induced subgraph.
Nowhere-Harmonic Colorings of Graphs
Published
• View Publication
• BIB
Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley's theorem relating negative evaluations of the chromatic polynomial to acyclic orientations. Further, we discuss some examples demonstrating that nowhere-harmonic colorings are more complicated from an enumerative perspective than proper colorings.
An improved bound for the stepping-up lemma
Published
• View Publication
• BIB
The partition relation N \to (n)_{\ell}^k means that whenever the k-tuples of an N-element set are \ell-colored, there is a monochromatic set of size n, where a set is called monochromatic if all its k-tuples have the same color. The logical negation of N \to (n)_{\ell}^k is written as N \not \to (n)_{\ell}^k. An ingenious construction of Erdős and Hajnal known as the stepping-up lemma gives a negative partition relation for higher uniformity from one of lower uniformity, effectively gaining an exponential in each application. Namely, if \ell \geq 2, k \geq 3, and N \not \to (n)_{\ell}^k, then 2^N \not \to (2n+k-4)_{\ell}^{k+1}. In this note we give an improved construction for k \geq 4. We introduce a general class of colorings which extends the framework of Erdős and Hajnal and can be used to establish negative partition relations. We show that if \ell \geq 2, k \geq 4 and N \not \to (n)_{\ell}^k, then 2^N \not \to (n+3)_{\ell}^{k+1}. If also k is odd or \ell \geq 3, then we get the better bound 2^N \not \to (n+2)_{\ell}^{k+1}. This improved bound gives a coloring of the k-tuples whose largest monochromatic set is a factor Ω(2^{k}) smaller than given by the original version of the stepping-up lemma. We give several applications of our result to lower bounds on hypergraph Ramsey numbers. In particular, for fixed \ell \geq 4 we determine up to an absolute constant factor (which is independent of k) the size of the largest guaranteed monochromatic set in an \ell-coloring of the k-tuples of an N-set.
On the binary codes with parameters of doubly-shortened 1-perfect codes
Published in Des. Codes Cryptogr. 57(2) 2010, 181-194
• View Publication
• BIB
We show that any binary $(n=2^m-3, 2^{n-m}, 3)$ code $C_1$ is a part of an equitable partition (perfect coloring) $\{C_1,C_2,C_3,C_4\}$ of the $n$-cube with the parameters $((0,1,n-1,0)(1,0,n-1,0)(1,1,n-4,2)(0,0,n-1,1))$. Now the possibility to lengthen the code $C_1$ to a 1-perfect code of length $n+2$ is equivalent to the possibility to split the part $C_4$ into two distance-3 codes or, equivalently, to the biparticity of the graph of distances 1 and 2 of $C_4$. In any case, $C_1$ is uniquely embeddable in a twofold 1-perfect code of length $n+2$ with some structural restrictions, where by a twofold 1-perfect code we mean that any vertex of the space is within radius 1 from exactly two codewords.
On weight distributions of perfect colorings and completely regular codes
Published in Des. Codes Cryptogr. 61(3) 2011, 315-329
• View Publication
• BIB
A vertex coloring of a graph is called "perfect" if for any two colors $a$ and $b$, the number of the color-$b$ neighbors of a color-$a$ vertex $x$ does not depend on the choice of $x$, that is, depends only on $a$ and $b$ (the corresponding partition of the vertex set is known as "equitable"). A set of vertices is called "completely regular" if the coloring according to the distance from this set is perfect. By the "weight distribution" of some coloring with respect to some set we mean the information about the number of vertices of every color at every distance from the set. We study the weight distribution of a perfect coloring (equitable partition) of a graph with respect to a completely regular set (in particular, with respect to a vertex if the graph is distance-regular). We show how to compute this distribution by the knowledge of the color composition over the set. For some partial cases of completely regular sets, we derive explicit formulas of weight distributions. Since any (other) completely regular set itself generates a perfect coloring, this gives universal formulas for calculating the weight distribution of any completely regular set from its parameters. In the case of Hamming graphs, we prove a very simple formula for the weight enumerator of an arbitrary perfect coloring. Codewords: completely regular code; equitable partition; partition design; perfect coloring; perfect structure; regular partition; weight distribution; weight enumerator.
A Simple Proof and Some Difficult Examples for Hindman's Theorem
Published
• View Publication
• BIB
We give a short, explicit proof of Hindman's Theorem that in every finite coloring of the integers, there is an infinite set all of whose finite sums have the same color. We give several exampls of colorings of the integers which do not have computable witnesses to Hindman's Theorem.
A Generalization of Kneser's Conjecture
Published
• View Publication
• BIB
We investigate some coloring properties of Kneser graphs. A star-free coloring is a proper coloring $c:V(G)\to \Bbb{N}$ such that no path with three vertices may be colored with just two consecutive numbers. The minimum positive integer $t$ for which there exists a star-free coloring $c: V(G) \to \{1,2,..., t\}$ is called the star-free chromatic number of $G$ and denoted by $χ_s(G)$. In view of Tucker-Ky Fan's lemma, we show that for any Kneser graph ${\rm KG}(n,k)$ we have $χ_s({\rm KG}(n,k))\geq \max\{2χ({\rm KG}(n,k))-10, χ({\rm KG}(n,k))\}$ where $n\geq 2k \geq 4$. Moreover, we show that $χ_s({\rm KG}(n,k))=2χ({\rm KG}(n,k))-2=2n-4k+2$ provided that $n \leq {8\over 3}k$. This gives a partial answer to a conjecture of [12]. Also, we conjecture that for any positive integers $n\geq 2k \geq 4$ we have $χ_s({\rm KG}(n,k))= 2χ({\rm KG}(n,k))-2$.
Uniform n-place functions on T\subseteq ds(α)
Published
• View Publication
• BIB
In this paper the Erdos-Rado theorem is generalized to the class of well founded trees. We define an equivalence relation on the class rs(infty)^{< aleph_0} (finite sequences of decreasing sequences of ordinals) with aleph_0 equivalence classes, and for n< omega a notion of n-end-uniformity for a colouring of rs(infty)^{< aleph_0} with mu colours. We then show that for every ordinal alpha, n< omega and cardinal mu there is an ordinal lambda so that for any colouring c of T=rs(lambda)^{< aleph_0} with mu colours, T contains S isomorphic to rs(alpha) so that c rest S^{< aleph_0} is n-end uniform. For c with domain T^n this is equivalent to finding S subseteq T isomorphic to rs(alpha) so that c upharpoonright S^{n} depends only on the equivalence class of the defined relation, so in particular T-> (rs(alpha))^n_{mu, aleph_0} . We also draw a conclusion on colourings of n-tuples from a scattered linear order.
Edge Cover Colouring Versus Minimum Degree in Multigraphs
An edge colouring of a multigraph can be thought of as a partition of the edges into matchings (a matching meets each vertex at most once). Analogously, an edge cover colouring is a partition of the edges into edge covers (an edge cover meets each vertex at least once). We aim to determine a tight lower bound on the maximum number of parts in an edge cover colouring as a function of the minimum degree delta, which would be an analogue of Shannon's theorem from 1949 on edge-colouring multigraphs. We are able to give a lower bound that is tight except when delta=9 or delta is odd and > 12; in these non-tight cases the best upper and lower bounds differ by one.
On the Order Dimension of Outerplanar Maps
Published
• View Publication
• BIB
Schnyder characterized planar graphs in terms of order dimension. Brightwell and Trotter proved that the dimension of the vertex-edge-face poset $\Pvef{M}$ of a planar map $M$ is at most four. In this paper we investigate cases where $\dim(\Pvef{M}) \leq 3$ and also where $\dim(\Qvf{M}) \leq 3$; here $\Qvf{M}$ denotes the vertex-face poset of $M$. We show: - If $M$ contains a $K_4$-subdivision, then $\dim(\Pvef{M}) = \dim(\Qvf{M}) = 4$. - If $M$ or the dual $M^*$ contains a $K_{2,3}$-subdivision, then $\dim(\Pvef{M}) = 4$. Hence, a map $M$ with $\dim(\Pvef{M}) \leq 3$ must be outerplanar and have an outerplanar dual. We concentrate on the simplest class of such maps and prove that within this class $\dim(\Pvef{M}) \leq 3$ is equivalent to the existence of a certain oriented coloring of edges. This condition is easily checked and can be turned into a linear time algorithm returning a 3-realizer. Additionally, we prove that if $M$ is 2-connected and $M$ and $M^*$ are outerplanar, then $\dim(\Qvf{M}) \leq 3$. There are, however, outerplanar maps with $\dim(\Qvf{M}) = 4$. We construct the first such example.
Colorings of simplicial complexes and vector bundles over Davis-Januszkiewicz spaces
Published
• View Publication
• BIB
We show that coloring properties of a simplicial complex K are reflected by splitting properties of a bundle over the associated Davis-Januszkiewicz space whose Chern classes are given by the elementary symmetric polynomials in the generators of the Stanley-Reisner algebra of K.
Perfect colourings of cyclotomic integers
Published
• View Publication
• BIB
Perfect colourings of the rings of cyclotomic integers with class number one are studied. It is shown that all colourings induced by ideals (q) are chirally perfect, and vice versa. A necessary and sufficient condition for a colouring to be perfect is obtained, depending on the factorisation of q. This result yields the colour symmetry group H in general. Furthermore, the colour preserving group K is determined in all but finitely many cases. An application to colourings of quasicrystals is given.
Algebraic proof of Brooks' theorem
Published in Discrete Math. 310, no. 23, 3426-3428 (2010)
• View Publication
• BIB
We give a proof of Brooks' theorem and its list coloring extension using the algebraic method of Alon and Tarsi; this also shows that the Brooks' theorem remains valid in a more general game coloring setting.
Stationary map coloring
Published in Annales de l'Institut Henri Poincaré, Probabilités et Statistiques, vol. 48, no. 2, pp. 327-342. Institut Henri Poincaré, 2012
• View Publication
• BIB
We consider a planar Poisson process and its associated Voronoi map. We show that there is a proper coloring with 6 colors of the map which is a deterministic isometry-equivariant function of the Poisson process. As part of the proof we show that the 6-core of the corresponding Delaunay triangulation is empty.
Generalizations, extensions and some open questions are discussed.
The structure of almost all graphs in a hereditary property
Published
• View Publication
• BIB
A hereditary property of graphs is a collection of graphs which is closed under taking induced subgraphs. The speed of ¶is the function n \mapsto |¶_n|, where ¶_n denotes the graphs of order n in ¶. It was shown by Alekseev, and by Bollobas and Thomason, that if ¶is a hereditary property of graphs then |¶_n| = 2^{(1 - 1/r + o(1))n^2/2}, where r = r(¶) \in \N is the so-called `colouring number' of ¶. However, their results tell us very little about the structure of a typical graph G \in ¶.
In this paper we describe the structure of almost every graph in a hereditary property of graphs, ¶. As a consequence, we derive essentially optimal bounds on the speed of ¶, improving the Alekseev-Bollobas-Thomason Theorem, and also generalizing results of Balogh, Bollobas and Simonovits.
Circular Coloring and Mycielski Construction
Published
• View Publication
• BIB
In this paper, we investigate circular chromatic number of Mycielski construction of graphs. It was shown in \cite{MR2279672} that $t^{\rm th}$ Mycielskian of the Kneser graph $KG(m,n)$ has the same circular chromatic number and chromatic number provided that $m+t$ is an even integer. We prove that if $m$ is large enough, then $χ(M^t(KG(m,n)))=χ_c(M^t(KG(m,n)))$ where $M^t$ is $t^{\rm th}$ Mycielskian. Also, we consider the generalized Kneser graph $KG(m,n,s)$ and show that there exists a threshold $m(n,s,t)$ such that $χ(M^t(KG(m,n,s)))=χ_c(M^t(KG(m,n,s)))$ for $m\geq m(n,s,t)$.
A Victorian Age Proof of the Four Color Theorem
Published
• View Publication
• BIB
In this paper we have investigated some old issues concerning four color map problem. We have given a general method for constructing counter-examples to Kempe's proof of the four color theorem and then show that all counterexamples can be rule out by re-constructing special 2-colored two paths decomposition in the form of a double-spiral chain of the maximal planar graph. In the second part of the paper we have given an algorithmic proof of the four color theorem which is based only on the coloring faces (regions) of a cubic planar maps. Our algorithmic proof has been given in three steps. The first two steps are the maximal mono-chromatic and then maximal dichromatic coloring of the faces in such a way that the resulting uncolored (white) regions of the incomplete two-colored map induce no odd-cycles so that in the (final) third step four coloring of the map has been obtained almost trivially.
On the Vertex Folkman Numbers $F_v(2,...,2;q)$
For a graph $G$ the symbol $G\tov(a_1,...,a_r)$ means that in every $r$-coloring of the vertices of $G$ for some $i\in\{1,...,r\}$ there exists a monochromatic $a_i$-clique of color $i$. The vertex Folkman numbers \[ \FN=\min\{|V(G)|:G\tov(a_1,...,a_r)\text{and}K_q\nsubseteqq G\} \] are considered. In this paper we shall compute the Folkman numbers $F_v(\underbrace{2,...,2}_r;r-k+1)$ when $k\le 12$ and $r$ is sufficiently large. We prove also new bounds for some vertex and edge Folkman numbers.
On the spectrum of the forced matching number of graphs
Published in Australasian Journal of Combinatorics. 30 (2004) pp. 147-160
• Search Publication
Let $G$ be a graph that admits a perfect matching. A {\sf forcing set} for a perfect matching $M$ of $G$ is a subset $S$ of $M$, such that $S$ is contained in no other perfect matching of $G$. This notion originally arose in chemistry in the study of molecular resonance structures. Similar concepts have been studied for block designs and graph colorings under the name {\sf defining set}, and for Latin squares under the name {\sf critical set}. Recently several papers have appeared on the study of forcing sets for other graph theoretic concepts such as dominating sets, orientations, and geodetics. Whilst there has been some study of forcing sets of matchings of hexagonal systems in the context of chemistry, only a few other classes of graphs have been considered.
Here we study the spectrum of possible forced matching numbers for the grids $P_m \times P_n$, discuss the concept of a forcing set for some other specific classes of graphs, and show that the problem of finding the smallest forcing number of graphs is \NP--complete.
Equitable coloring of interval graphs and products of graphs
We confirm the equitable $Δ$-coloring conjecture for interval graphs and establish the monotonicity of equitable colorability for them. We further obtain results on equitable colorability about square (or Cartesian) and cross (or direct) products of graphs.