coloring
4410 papers tagged with this keyword
Canonical Labelling of Site Graphs
Published in EPTCS 116, 2013, pp. 13-28
• View Publication
• BIB
We investigate algorithms for canonical labelling of site graphs, i.e. graphs in which edges bind vertices on sites with locally unique names. We first show that the problem of canonical labelling of site graphs reduces to the problem of canonical labelling of graphs with edge colourings. We then present two canonical labelling algorithms based on edge enumeration, and a third based on an extension of Hopcroft's partition refinement algorithm. All run in quadratic worst case time individually. However, one of the edge enumeration algorithms runs in sub-quadratic time for graphs with "many" automorphisms, and the partition refinement algorithm runs in sub-quadratic time for graphs with "few" bisimulation equivalences. This suite of algorithms was chosen based on the expectation that graphs fall in one of those two categories. If that is the case, a combined algorithm runs in sub-quadratic worst case time. Whether this expectation is reasonable remains an interesting open problem.
On a class of intersection graphs
Given a directed graph D = (V,A) we define its intersection graph I(D) = (A,E) to be the graph having A as a node-set and two nodes of I(D) are adjacent if their corresponding arcs share a common node that is the tail of at least one of these arcs. We call these graphs facility location graphs since they arise from the classical uncapacitated facility location problem. In this paper we show that facility location graphs are hard to recognize and they are easy to recognize when the graph is triangle-free. We also determine the complexity of the vertex coloring, the stable set and the facility location problems on that class.
A DSATUR-based algorithm for the Equitable Coloring Problem
Published in Computers & Operations Research, Volume 57 (2015), 41--50
• View Publication
• BIB
This paper describes a new exact algorithm for the Equitable Coloring Problem, a coloring problem where the sizes of two arbitrary color classes differ in at most one unit. Based on the well known DSatur algorithm for the classic Coloring Problem, a new pruning criterion arising from equity constraints is proposed and analyzed. The good performance of the algorithm is shown through computational experiments over random and benchmark instances.
Valid Orderings of Real Hyperplane Arrangements
Published
• View Publication
• BIB
Given a real finite hyperplane arrangement A and a point p not on any of the hyperplanes, we define an arrangement vo(A,p), called the *valid order arrangement*, whose regions correspond to the different orders in which a line through p can cross the hyperplanes in A. If A is the set of affine spans of the facets of a convex polytope P and p lies in the interior of P, then the valid orderings with respect to p are just the line shellings of p where the shelling line contains p. When p is sufficiently generic, the intersection lattice of vo(A,p) is the *Dilworth truncation* of the semicone of A. Various applications and examples are given. For instance, we determine the maximum number of line shellings of a d-polytope with m facets when the shelling line contains a fixed point p. If P is the order polytope of a poset, then the sets of facets visible from a point involve a generalization of chromatic polynomials related to list colorings.
Colorful hypergraphs in Kneser hypergraphs
Published
• View Publication
• BIB
Using a $Z_q$-generalization of a theorem of Ky Fan, we extend to Kneser hypergraphs a theorem of Simonyi and Tardos that ensures the existence of multicolored complete bipartite graphs in any proper coloring of a Kneser graph. It allows to derive a lower bound for the local chromatic number of Kneser hypergraphs (using a natural definition of what can be the local chromatic number of a hypergraph).
Near-colorings: non-colorable graphs and NP-completeness
Published
• View Publication
• BIB
A graph G is (d_1,..,d_l)-colorable if the vertex set of G can be partitioned into subsets V_1,..,V_l such that the graph G[V_i] induced by the vertices of V_i has maximum degree at most d_i for all 1 <= i <= l. In this paper, we focus on complexity aspects of such colorings when l=2,3. More precisely, we prove that, for any fixed integers k,j,g with (k,j) distinct form (0,0) and g >= 3, either every planar graph with girth at least g is (k,j)-colorable or it is NP-complete to determine whether a planar graph with girth at least g is (k,j)-colorable. Also, for any fixed integer k, it is NP-complete to determine whether a planar graph that is either (0,0,0)-colorable or non-(k,k,1)-colorable is (0,0,0)-colorable. Additionally, we exhibit non-(3,1)-colorable planar graphs with girth 5 and non-(2,0)-colorable planar graphs with girth 7.
Completions of epsilon-dense partial Latin squares; quasirandom k-colorings of graphs
A classical question in combinatorics is the following:\ given a partial Latin square $P$, when can we complete $P$ to a Latin square $L$? In this paper, we investigate the class of \textbf{$ε$-dense partial Latin squares}:\ partial Latin squares in which each symbol, row, and column contains no more than $εn$-many nonblank cells. Based on a conjecture of Nash-Williams, Daykin and Häggkvist conjectured that all $\frac{1}{4}$-dense partial Latin squares are completable. In this paper, we will discuss the proof methods and results used in previous attempts to resolve this conjecture, introduce a novel technique derived from a paper by Jacobson and Matthews on generating random Latin squares, and use this novel technique to study $ ε$-dense partial Latin squares that contain no more than $δn^2$ filled cells in total.
In particular, we construct completions for all $ ε$-dense partial Latin squares containing no more than $δn^2$ filled cells in total, given that $ε< \frac{1}{12}, δ< \frac{ \left(1-12ε\right)^{2}}{10409}$. In particular, we show that all $9.8 \cdot 10^{-5}$-dense partial Latin squares are completable.
We further show that such completions can always be found in polynomial time. This contrasts a result of Colbourn. In Chapter 3, we strengthen Colbourn's result to the claim that completing an arbitrary $\left(\frac{1}{2} + ε\right)$-dense partial Latin square is NP-complete, for any $ε> 0$.
Additional results on triangulations of graphs are found.
In an unrelated vein, Chapter 6 explores the class of quasirandom graphs. In specific, we study quasirandom $k$-edge colorings, and create an analogue of Chung, Graham and Wilson's well-known results for such colorings.
The Ramsey number of the clique and the hypercube
Published
• View Publication
• BIB
The Ramsey number r(K_s,Q_n) is the smallest positive integer N such that every red-blue colouring of the edges of the complete graph K_N on N vertices contains either a red n-dimensional hypercube, or a blue clique on s vertices. Answering a question of Burr and Erdős from 1983, and improving on recent results of Conlon, Fox, Lee and Sudakov, and of the current authors, we show that r(K_s,Q_n) = (s-1) (2^n - 1) + 1 for every s \in \N and every sufficiently large n \in \N.
Nested colourings of graphs
A proper vertex colouring of a graph is \emph{nested} if the vertices of each of its colour classes can be ordered by inclusion of their open neighbourhoods. Through a relation to partially ordered sets, we show that the nested chromatic number can be computed in polynomial time.
Clearly, the nested chromatic number is an upper bound for the chromatic number of a graph. We develop multiple distinct bounds on the nested chromatic number using common properties of graphs. We also determine the behaviour of the nested chromatic number under several graph operations, including the direct, Cartesian, strong, and lexicographic product. Moreover, we classify precisely the possible nested chromatic numbers of graphs on a fixed number of vertices with a fixed chromatic number.
Relations between the local chromatic number and its directed version
Published
• View Publication
• BIB
The local chromatic number is a coloring parameter defined as the minimum number of colors that should appear in the most colorful closed neighborhood of a vertex under any proper coloring of the graph. Its directed version is the same when we consider only outneighborhoods in a directed graph. For digraphs with all arcs being present in both directions the two values are obviously equal. Here we consider oriented graphs. We show the existence of a graph where the directed local chromatic number of all oriented versions of the graph is strictly less than the local chromatic number of the underlying undirected graph. We show that for fractional versions the analogous problem has a different answer: there always exists an orientation for which the directed and undirected values coincide. We also determine the supremum of the possible ratios of these fractional parameters, which turns out to be e, the basis of the natural logarithm.
Measurable patterns, necklaces, and sets indiscernible by measure
In some recent papers the classical `splitting necklace theorem' is linked in an interesting way with a geometric `pattern avoidance problem'. We explore the topological constraints on the existence of a (relaxed) measurable coloring of R^d such that any two distinct, non-degenerate cubes (parallelepipeds) are measure discernible. For example, motivated by a conjecture of Lason, we show that for every collection μ_1,...,μ_{2d-1} of 2d-1 continuous finite measures on R^d, there exist two nontrivial axis-aligned d-dimensional cuboids (rectangular parallelepipeds) C_1 and C_2 such that μ_i(C_1)=μ_i(C_2) for each i=1,...,2d-1. We also show by examples that the bound 2d-1 cannot be improved in general. These results are steps in the direction of studying general topological obstructions for the existence of non-repetitive colorings of measurable spaces.
Examples of cyclically-interval non-colorable bipartite graphs
For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $\varphi:E(G)\rightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $\varphi$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,\varphi)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $\varphi$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,\varphi)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,\varphi)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ Examples of bipartite graphs that do not belong to the class $\mathfrak{M}$ are constructed.
On Radial Colorings of Annuli
Published in Australasian Journal of Combinatorics, (60), 2014, p. 270-278
• Search Publication
We consider the chromatic numbers of unit-distance graphs of various annuli. In particular, we consider radial colorings, which are "nice" colorings, and completely determine the radial chromatic numbers of various annuli.
Application of some combinatorial arrays in coloring of total graph of a commutative ring
Let $R$ be a commutative ring with unity and $Z(R)$ and ${\rm Reg}(R)$ be the set of zero-divisors and non-zero zero-divisors of $R$, respectively. We denote by $T(Γ(R))$, the total graph of $R$, a simple graph with the vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(R)$. The induced subgraphs on $Z(R)$ and ${\rm Reg}(R)$ are denoted by $Z(Γ(R))$ and $Reg(Γ(R))$, respectively. These graphs were first introduced by D.F. Anderson and A. Badawi in 2008. In this paper, we prove the following result: let $R$ be a finite ring and one of the following conditions hold: (i) The residue field of $R$ of minimum size has even characteristic, (ii) Every residue field of $R$ has odd characteristic and $\frac{R}{J(R)}$ has no summand isomorphic to $\mathbb{Z}_3\times \mathbb{Z}_3$, then the chromatic number and clique number of $T(Γ(R))$ are equal to $\max\{|\mathfrak{m}|\,:\, \mathfrak{m}\in {\rm Max}(R)\}$. The same result holds for $Z(Γ(R))$. Moreover, if the residue field of $R$ of minimum size has even characteristic or every residue field of $R$ has odd characteristic, then we determine the chromatic number and clique number of $Reg(Γ(R))$ as well.
Coloring distance graphs: a few answers and many questions
Given a metric space and a set of distances, one constructs the associated distance graph by taking as vertices the points of the space and as edges the pairs whose distance is in the given set. It is a longstanding open question to determine the chromatic number of the graph obtained from the Euclidean plane and a set reduced to one distance. Surprisingly, while many variants of this problem have been studied, only a few non-Euclidean spaces seem to have been seriously considered. In this paper, we consider the planar translation-invariant metrics and the hyperbolic plane. We answer questions of Johnson and Szlam, prove a few other results, and ask many questions.
Counterexamples to the List Square Coloring Conjecture
Published
• View Publication
• BIB
The square $G^2$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^2$ if the distance between $u$ and $v$ in $G$ is at most 2. Let $χ(H)$ and $χ_l(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_l (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. Kostochka and Woodall \cite{KW2001} conjectured that $χ_l(G^2) = χ(G^2)$ for every graph $G$, which is called List Square Coloring Conjecture. In this paper, we give infinitely many counterexamples to the conjecture. Moreover, we show that the value $χ_l(G^2) - χ(G^2)$ can be arbitrary large.
3-coloring triangle-free planar graphs with a precolored 8-cycle
Published
• View Publication
• BIB
Let G be a planar triangle-free graph and let C be a cycle in G of length at most 8. We characterize all situations where a 3-coloring of C does not extend to a proper 3-coloring of the whole graph.
Strong chromatic index of chordless graphs
Published
• View Publication
• BIB
A strong edge colouring of a graph is an assignment of colours to the edges of the graph such that for every colour, the set of edges that are given that colour form an induced matching in the graph. The strong chromatic index of a graph $G$, denoted by $χ'_s(G)$, is the minimum number of colours needed in any strong edge colouring of $G$. A graph is said to be \emph{chordless} if there is no cycle in the graph that has a chord. Faudree, Gyárfás, Schelp and Tuza~[The Strong Chromatic Index of Graphs, Ars Combin., 29B (1990), pp.~205--211] considered a particular subclass of chordless graphs, namely the class of graphs in which all the cycle lengths are multiples of four, and asked whether the strong chromatic index of these graphs can be bounded by a linear function of the maximum degree. Chang and Narayanan~[Strong Chromatic Index of 2-degenerate Graphs, J. Graph Theory, 73(2) (2013), pp.~119--126] answered this question in the affirmative by proving that if $G$ is a chordless graph with maximum degree $Δ$, then $χ'_s(G) \leq 8Δ-6$. We improve this result by showing that for every chordless graph $G$ with maximum degree $Δ$, $χ'_s(G)\leq 3Δ$. This bound is tight up to to an additive constant.
Sum list coloring, the sum choice number, and sc-greedy graphs
Let G=(V,E) be a graph and let f be a function that assigns list sizes to the vertices of G. It is said that G is f-choosable if for every assignment of lists of colors to the vertices of G for which the list sizes agree with f, there exists a proper coloring of G from the lists. The sum choice number is the minimum of the sum of list sizes for f over all choosable functions f for G. The sum choice number of a graph is always at most the sum |V|+|E|. When the sum choice number of G is equal to this upper bound, G is said to be sc-greedy. In this paper, we determine the sum choice number of all graphs on five vertices, show that trees of cycles are sc-greedy, and present some new general results about sum list coloring.
Colouring Isonemal Fabrics with more than two Colours by Thick Striping
Published in Contributions to Discrete Mathematics 8 (2013), 38--65
• View Publication
• BIB
Perfect colouring of isonemal fabrics by thin and thick striping of warp and weft with more than two colours is introduced. Conditions that prevent perfect colouring by striping are derived, and it is shown that avoiding them is sufficient to allow it. Examples of thick striping in all possible species are given.