coloring
4405 papers tagged with this keyword
The order of monochromatic subgraphs with a given minimum degree
Published
• View Publication
• BIB
Let $G$ be a graph. For a given positive integer $d$, let $f_G(d)$ denote the largest integer $t$ such that in every coloring of the edges of $G$ with two colors there is a monochromatic subgraph with minimum degree at least $d$ and order at least $t$. For $n > k > d$ let $f(n,k,d)$ denote the minimum of $f_G(d)$ where $G$ ranges over all graphs with $n$ vertices and minimum degree at least $k$. In this paper we establish $f(n,k,d)$ whenever $k$ or $n-k$ are fixed, and $n$ is sufficiently large. We also consider the case where more than two colors are allowed.
On graph coloring check-digit method
Published
• View Publication
• BIB
We show a method how to convert any graph into the binary number and vice versa. We derive upper bound for maximum number of graphs, that, have fixed number of vertices and can be colored with n colors (n is any given number). Proof for the result is outlined. Next, graph coloring based check-digit scheme is proposed. We use quantitative result derived, to show, that feasibility of the proposed scheme increases with size of the number which digits are checked, and overall probability of digits errors.
Families of trees decompose the random graph in any arbitrary way
Published
• View Publication
• BIB
Let $F=\{H_1,...,H_k\}$ be a family of graphs. A graph $G$ with $m$ edges is called {\em totally $F$-decomposable} if for {\em every} linear combination of the form $α_1 e(H_1) + ... + α_k e(H_k) = m$ where each $α_i$ is a nonnegative integer, there is a coloring of the edges of $G$ with $α_1+...+α_k$ colors such that exactly $α_i$ color classes induce each a copy of $H_i$, for $i=1,...,k$. We prove that if $F$ is any fixed family of trees then $\log n/n$ is a sharp threshold function for the property that the random graph $G(n,p)$ is totally $F$-decomposable. In particular, if $H$ is a tree, then $\log n/n$ is a sharp threshold function for the property that $G(n,p)$ contains $\lfloor e(G)/e(H) \rfloor$ edge-disjoint copies of $H$.
On the non-3-colourability of random graphs
We show that for c >= 2.4682, a random graph on n vertices with c n (1+o(1)) edges almost surely has no 3-colouring. This improves on the current best upper bound of 2.4947.
Nonstandard Graphs
From any given sequence of finite or infinite graphs, a nonstandard graph is constructed. The procedure is similar to an ultrapower construction of an internal set from a sequence of subsets of the real line, but now the individual entities are the vertices of the graphs instead of real numbers. The transfer principle is then invoked to extend several graph-theoretic results to the nonstandard case. After incidences and adjacencies between nonstandard vertices are defined, several formulas regarding numbers of vertices and edges, and nonstandard versions of Eulerian graphs, Hamiltonian graphs, and a coloring theorem are established for these nonstandard graphs.
On the graph coloring check-digit scheme with applications to verifiable secret sharing
In the paper we apply graph vertex coloring for verification of secret shares. We start from showing how to convert any graph into the number and vice versa. Next, theoretical result concerning properties of n-colorable graphs is stated and proven. From this result we derive graph coloring check-digit scheme. Feasibility of proposed scheme increases with the size of the number, which digits are checked and overall probability of errors. The check-digit scheme is used to build shares verification method that does not require cooperation of the third party. It allows implementing verification structure different from the access structure. It does not depend on particular secret sharing method. It can be used as long as the secret shares can be represented by numbers or graphs.
Equitable coloring of k-uniform hypergraphs
Published
• View Publication
• BIB
Let $H$ be a $k$-uniform hypergraph with $n$ vertices. A {\em strong $r$-coloring} is a partition of the vertices into $r$ parts, such that each edge of $H$ intersects each part. A strong $r$-coloring is called {\em equitable} if the size of each part is $\lceil n/r \rceil$ or $\lfloor n/r \rfloor$. We prove that for all $a \geq 1$, if the maximum degree of $H$ satisfies $Δ(H) \leq k^a$ then $H$ has an equitable coloring with $\frac{k}{a \ln k}(1-o_k(1))$ parts. In particular, every $k$-uniform hypergraph with maximum degree $O(k)$ has an equitable coloring with $\frac{k}{\ln k}(1-o_k(1))$ parts. The result is asymptotically tight. The proof uses a double application of the non-symmetric version of the Lovász Local Lemma.
Edge coloring complete uniform hypergraphs with many components
Published
• View Publication
• BIB
Let $H$ be a hypergraph. For a $k$-edge coloring $c : E(H) \to \{1,...,k\}$ let $f(H,c)$ be the number of components in the subhypergraph induced by the color class with the least number of components. Let $f_k(H)$ be the maximum possible value of $f(H,c)$ ranging over all $k$-edge colorings of $H$. If $H$ is the complete graph $K_n$ then, trivially, $f_1(K_n)=f_2(K_n)=1$. In this paper we prove that for $n \geq 6$, $f_3(K_n)=\lfloor n/6 \rfloor+1$ and supply close upper and lower bounds for $f_k(K_n)$ in case $k \geq 4$. Several results concerning the value of $f_k(K_n^r)$, where $K_n^r$ is the complete $r$-uniform hypergraph on $n$ vertices, are also established.
Reformulating the Map Color Theorem
Published
• View Publication
• BIB
This paper discusses reformulations of the problem of coloring plane maps with four colors. The context is the edge-coloring with three colors of cubic graphs such that three distinct colors occur at each vertex. We include discussion of the Eliahou-Kryuchkov conjecture, the Penrose formula, the vector cross product formulation and the reformulations in terms of formations and factorizations due to G. Spencer-Brown. The latter includes a proof of the Spencer-Brown parity lemma and discussion of the parity-pass algorithm.
The Coloring Ideal and Coloring Complex of a Graph
Let $G$ be a simple graph on $d$ vertices. We define a monomial ideal $K$ in the Stanley-Reisner ring $A$ of the order complex of the Boolean algebra on $d$ atoms. The monomials in $K$ are in one-to-one correspondence with the proper colorings of $G$. In particular, the Hilbert polynomial of $K$ equals the chromatic polynomial of $G$.
The ideal $K$ is generated by square-free monomials, so $A/K$ is the Stanley-Reisner ring of a simplicial complex $C$. The $h$-vector of $C$ is a certain transformation of the tail $T(n)= n^d-k(n)$ of the chromatic polynomial $k$ of $G$. The combinatorial structure of the complex $C$ is described explicitly and it is shown that the Euler characteristic of $C$ equals the number of acyclic orientations of $G$.
Generalized Kneser coloring theorems with combinatorial proofs
Published
• View Publication
• BIB
The Kneser conjecture (1955) was proved by Lovász (1978) using the Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its extensions. Only in 2000, Matoušek provided the first combinatorial proof of the Kneser conjecture.
Here we provide a hypergraph coloring theorem, with a combinatorial proof, which has as special cases the Kneser conjecture as well as its extensions and generalization by (hyper)graph coloring theorems of Dol'nikov, Alon-Frankl-Lovász, Sarkaria, and Kriz. We also give a combinatorial proof of Schrijver's theorem.
Projectivities in Simplicial Complexes and Colorings of Simple Polytopes
Published
• View Publication
• BIB
For each strongly connected finite-dimensional (pure) simplicial complex we construct a finite group, the group of projectivities of the complex, which is a combinatorial but not a topological invariant. This group is studied for combinatorial manifolds and, in particular, for polytopal simplicial spheres. The results are applied to a coloring problem for simplicial (or, dually, simple) polytopes which arises in the area of toric algebraic varieties.
Polyomino convolutions and tiling problems
Published
• View Publication
• BIB
We define a convolution operation on the set of polyominoes and use it to obtain a criterion for a given polyomino not to tile the plane (rotations and translations allowed). We apply the criterion to several families of polyominoes, and show that the criterion detects some cases that are not detectable by generalized coloring arguments.
Small Maximal Independent Sets and Faster Exact Graph Coloring
Published in J. Graph Algorithms & Applications 7(2):131-140, 2003
• View Publication
• BIB
We show that, for any n-vertex graph G and integer parameter k, there are at most 3^{4k-n}4^{n-3k} maximal independent sets I \subset G with |I| <= k, and that all such sets can be listed in time O(3^{4k-n} 4^{n-3k}). These bounds are tight when n/4 <= k <= n/3. As a consequence, we show how to compute the exact chromatic number of a graph in time O((4/3 + 3^{4/3}/4)^n) ~= 2.4150^n, improving a previous O((1+3^{1/3})^n) ~= 2.4422^n algorithm of Lawler (1976).
Structural Properties of Potts Model Partition Functions and Chromatic Polynomials for Lattice Strips
Published in Physica A 296, 131-182 (2001)
• View Publication
• BIB
partial abstract: The $q$-state Potts model partition function (equivalent to the Tutte polynomial) for a lattice strip of fixed width $L_y$ and arbitrary length $L_x$ has the form $Z(G,q,v)=\sum_{j=1}^{N_{Z,G,λ}}c_{Z,G,j}(λ_{Z,G,j})^{L_x}$, where $v$ is a temperature-dependent variable. The special case of the zero-temperature antiferromagnet ($v=-1$) is the chromatic polynomial $P(G,q)$. Using coloring and transfer matrix methods, we give general formulas for $C_{X,G}=\sum_{j=1}^{N_{X,G,λ}}c_{X,G,j}$ for $X=Z,P$ on cyclic and Möbius strip graphs of the square and triangular lattice. Combining these with a general expression for the (unique) coefficient $c_{Z,G,j}$ of degree $d$ in $q$: $c^{(d)}=U_{2d}(\frac{\sqrt{q}}{2})$, where $U_n(x)$ is the Chebyshev polynomial of the second kind, we determine the number of $λ_{Z,G,j}$'s with coefficient $c^{(d)}$ in $Z(G,q,v)$ for these cyclic strips of width $L_y$ to be $n_Z(L_y,d)=(2d+1)(L_y+d+1)^{-1} {2L_y \choose L_y-d}$ for $0 \le d \le L_y$ and zero otherwise. For both cyclic and Möbius strips of these lattices, the total number of distinct eigenvalues $λ_{Z,G,j}$ is calculated to be $N_{Z,L_y,λ}={2L_y \choose L_y}$. We point out that $N_{Z,L_y,λ}=2N_{DA,tri,L_y}$ and $N_{P,L_y,λ}=2N_{DA,sq,L_y}$, where $N_{DA,Λ,n}$ denotes the number of directed lattice animals on the lattice $Λ$.
Graph Ramsey games
We consider combinatorial avoidance and achievement games based on graph Ramsey theory: The players take turns in coloring still uncolored edges of a graph G, each player being assigned a distinct color, choosing one edge per move. In avoidance games, completing a monochromatic subgraph isomorphic to another graph A leads to immediate defeat or is forbidden and the first player that cannot move loses. In the avoidance+ variants, both players are free to choose more than one edge per move. In achievement games, the first player that completes a monochromatic subgraph isomorphic to A wins. Erdos & Selfridge (1973) were the first to identify some tractable subcases of these games, followed by a large number of further studies. We complete these investigations by settling the complexity of all unrestricted cases: We prove that general graph Ramsey avoidance, avoidance+, and achievement games and several variants thereof are PSPACE-complete. We ultra-strongly solve some nontrivial instances of graph Ramsey avoidance games that are based on symmetric binary Ramsey numbers and provide strong evidence that all other cases based on symmetric binary Ramsey numbers are effectively intractable.
Keywords: combinatorial games, graph Ramsey theory, Ramsey game, PSPACE-completeness, complexity, edge coloring, winning strategy, achievement game, avoidance game, the game of Sim, Polya's enumeration formula, probabilistic counting, machine learning, heuristics, Java applet
Matrix Model Combinatorics: Applications to Folding and Coloring
Published
• View Publication
• BIB
We present a detailed study of the combinatorial interpretation of matrix integrals, including the examples of tessellations of arbitrary genera, and loop models on random surfaces. After reviewing their methods of solution, we apply these to the study of various folding problems arising from physics, including: the meander (or polymer folding) problem ``enumeration of all topologically inequivalent closed non-intersecting plane curves intersecting a line through a given number of points" and a fluid membrane folding problem reformulated as that of ``enumerating all vertex-tricolored triangulations of arbitrary genus, with given numbers of vertices of either color".
Finding Large Monochromatic Diameter Two Subgraphs
Published
• View Publication
• BIB
Given a coloring of the edges of the complete graph on n vertices in k colors, by considering the neighbors of an arbitrary vertex it follows that there is a monochromatic diameter two subgraph on at least 1+(n-1)/k vertices. We show that for $k \ge 3$ this is asymptotically best possible, and that for k=2 there is always a monochromatic diameter two subgraph on at least $\lceil {3 \over 4} n \rceil$ vertices, which again, is best possible.
Uniquely 2-List Colorable Graphs
Published in Discrete Appl. Math. 119 (2002), no. 3, 217--225
• View Publication
• BIB
A graph is called to be uniquely list colorable, if it admits a list assignment which induces a unique list coloring. We study uniquely list colorable graphs with a restriction on the number of colors used. In this way we generalize a theorem which characterizes uniquely 2-list colorable graphs. We introduce the uniquely list chromatic number of a graph and make a conjecture about it which is a generalization of the well known Brooks' theorem.
On uniquely list colorable graphs
Published in Ars Combinatoria 59 (2001), 307-318
• Search Publication
Let G be a graph with n vertices and suppose that for each vertex v in G, there exists a list of k colors L(v), such that there is a unique proper coloring for G from this collection of lists, then G is called a uniquely k-list colorable graph.
Recently M. Mahdian and E.S. Mahmoodian characterized uniquely 2-list colorable graphs. Here we state some results which will pave the way in characterization of uniquely k-list colorable graphs. There is a relationship between this concept and defining sets in graph colorings and critical sets in latin squares.