coloring
4497 papers tagged with this keyword
Recipes for Edge-Transitive Tetravalent Graphs
Published
• View Publication
• BIB
This paper is to accompany the Census of Edge-Transitive Tetravalent Graphs, available at jan.ucc.nau.edu/~swilson/C4FullSite/index.html, which is a collection of all known edge-transitive graphs of valence 4 up to 512 vertices. The Census contains information for each graph. This information includes parameters such as group order, diameter, girth etc., all known constructions, relations to other graphs in the Census and intersting substructures such as colorings, cycle structures, and dissections. We try to present most graphs as members of one or more parameterized families, and one purpose of this paper is to gather together, here in one place, descriptions of each of these families, to show how each is constructed, what the history of each is and how one family is related to another. We also discuss in this paper the theory and techniques behind computer searches leading to many entries in the Census.
Monochromatic factorisations of words and periodicity
Published
• View Publication
• BIB
In 2006 T. Brown asked the following question: Given a non-periodic infinite word $x=x_1x_2x_3\cdots$ with values in a non-empty set $\mathbb{A},$ does there exist a finite coloring $\varphi: \mathbb{A}^+\rightarrow C$ relative to which $x$ does not admit a $\varphi$-monochromatic factorisation, i.e., a factorisation of the form $x=u_1u_2u_3\cdots$ with $\varphi(u_i)=\varphi(u_j)$ for all $i,j\geq 1$? Various partial results in support of an affirmative answer to this question have appeared in the literature in recent years. In particular it is known that the question admits an affirmative answer for all non-uniformly recurrent words and various classes of uniformly recurrent words including Sturmian words. In this note we answer this question in general by showing that if $x=x_1x_2x_3\cdots$ is an infinite word with values in a non-empty set $\mathbb{A},$ then $x$ is periodic if and only if for every $2$-coloring $\varphi: \mathbb{A}^+\rightarrow \{0,1\}$ there exists a $\varphi$-monochromatic factorisation of $x.$ This characterization of periodicity of infinite words may be reformulated in the language of ultrafilters. Let $β\mathbb{A}^+$ denote the Stone-Cech compactification of the discrete semigroup $\mathbb{A}^+$ which we regard as the set of all ultrafilters on $\mathbb{A}^+.$ Then $x$ is periodic if and only if there exists $p\in β\mathbb{A}^+$ such that for each $A\in p$ there exists a factorisation $x=u_1u_2u_3\cdots $ with each $u_i \in A.$
Majority Colourings of Digraphs
Published in Electronic J. Combinatorics 24:2.25, 2017
• View Publication
• BIB
We prove that every digraph has a vertex 4-colouring such that for each vertex $v$, at most half the out-neighbours of $v$ receive the same colour as $v$. We then obtain several results related to the conjecture obtained by replacing 4 by 3.
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
Published
• View Publication
• BIB
We propose two strategies for Presenter in the on-line interval graph coloring games. Specifically, we consider a setting in which each interval is associated with a $d$-dimensional vector of weights and the coloring needs to satisfy the $d$-dimensional bandwidth constraint, and the $k$-cardinality constraint. Such a variant was first introduced by Epstein and Levy and it is a natural model for resource-aware task scheduling with $d$ different shared resources where at most $k$ tasks can be scheduled simultaneously on a single machine.
The first strategy forces any on-line interval coloring algorithm to use at least $(5m-3)\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of intervals. The second strategy forces any on-line interval coloring algorithm to use at least $\lfloor\frac{5m}{2}\rfloor\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of unit intervals.
Threshold Colorings of Prisms and the Petersen Graph
Let $G$ be a graph, $r \geq t$ integers, and $N \subseteq E(G)$. An $(r,t)$-threshold-coloring of $G$ with respect to $N$ is a mapping $c: V(G) \rightarrow \{0,\ldots,r-1\}$ such that $|c(u)-c(v)| \leq t$ for every $uv \in N$ and $|c(u)-c(v)|>t$ for every $uv \in E(G) \setminus N$. A graph is total threshold colorable if there exist integers $r,t$ such that for every $N \subseteq E(G)$, $G$ admits an $(r,t)$-threshold-coloring with respect to $N$. We show that every prism is total threshold colorable, and that the Petersen graph is total threshold colorable. In contrast to this fact we show that Moebius ladders are not total threshold colorable, from which it follows that there is no characterization of being total threshold colorable in terms of a finite set of forbidden subgraphs.
On $H$-Topological Intersection Graphs
Published
• View Publication
• BIB
Biró et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split graphs, and chordal graphs.
We negatively answer the 25-year-old question of Biró et al. which asks if $H$-graphs can be recognized in polynomial time, for a fixed graph $H$. We prove that it is NP-complete if $H$ contains the diamond graph as a minor. We provide a polynomial-time algorithm recognizing $T$-graphs, for each fixed tree $T$. When $T$ is a star $S_d$ of degree $d$, we have an $O(n^{3.5})$-time algorithm.
We give FPT- and XP-time algorithms solving the minimum dominating set problem on $S_d$-graphs and $H$-graphs parametrized by $d$ and the size of $H$, respectively. The algorithm for $H$-graphs adapts to an XP-time algorithm for the independent set and the independent dominating set problems on $H$-graphs.
If $H$ contains the double-triangle as a minor, we prove that $H$-graphs are GI-complete and that the clique problem is APX-hard. The clique problem can be solved in polynomial time if $H$ is a cactus graph. When a graph $G$ has a Helly $H$-representation, the clique problem can be solved in polynomial time.
We show that both the $k$-clique and the list $k$-coloring problems are solvable in FPT-time on $H$-graphs (parameterized by $k$ and the treewidth of $H$). In fact, these results apply to classes of graphs with treewidth bounded by a function of the clique number.
We observe that $H$-graphs have at most $n^{O(\|H\|)}$ minimal separators which allows us to apply the meta-algorithmic framework of Fomin et al. (2015) to show that for each fixed $t$, finding a maximum induced subgraph of treewidth $t$ can be done in polynomial time. When $H$ is a cactus, we improve the bound to $O(\|H\|n^2)$.
Strong failures of higher analogs of Hindman's theorem
Published in Transactions of the American Mathematical Society 369 no. 12 (2017), 8939-8966
• View Publication
• BIB
We show that various analogs of Hindman's Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets:
Theorem 1: There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that for every $X\subseteq\mathbb R$ with $|X|=|\mathbb R|$, and every colour $γ\in\mathbb Q$, there are two distinct elements $x_0,x_1$ of $X$ for which $c(x_0+x_1)=γ$. This forms a simultaneous generalization of a theorem of Hindman, Leader and Strauss and a theorem of Galvin and Shelah.
Theorem 2: For every Abelian group $G$, there exists a colouring $c:G\rightarrow\mathbb Q$ such that for every uncountable $X\subseteq G$, and every colour $γ$, for some large enough integer $n$, there are pairwise distinct elements $x_0,\ldots,x_n$ of $X$ such that $c(x_0+\cdots+x_n)=γ$. In addition, it is consistent that the preceding statement remains valid even after enlarging the set of colours from $\mathbb Q$ to $\mathbb R$.
Theorem 3: Let $\circledast_κ$ assert that for every Abelian group $G$ of cardinality $κ$, there exists a colouring $c:G\rightarrow G$ such that for every positive integer $n$, every $X_0,\ldots,X_n \in[G]^κ$, and every $γ\in G$, there are $x_0\in X_0,\ldots, x_n\in X_n$ such that $c(x_0+\cdots+x_n)=γ$. Then $\circledast_κ$ holds for unboundedly many uncountable cardinals $κ$, and it is consistent that $\circledast_κ$ holds for all regular uncountable cardinals $κ$.
Coloring curves on surfaces
Published in Forum Math. Sigma 6 (2018), e17
• View Publication
• BIB
We study the chromatic number of the curve graph of a surface. We show that the chromatic number grows like k log k for the graph of separating curves on a surface of Euler characteristic -k. We also show that the graph of curves that represent a fixed non-zero homology class is uniquely t-colorable, where t denotes its clique number. Together, these results lead to the best known bounds on the chromatic number of the curve graph. We also study variations for arc graphs and obtain exact results for surfaces of low complexity. Our investigation leads to connections with Kneser graphs, the Johnson homomorphism, and hyperbolic geometry.
The $k$-proper index of complete bipartite and complete multipartite graphs
Let $G$ be a nontrivial connected graph of order $n$ with an edge-coloring $c:E(G)\rightarrow\{1,2,\dots,t\}$,$t\in\mathbb{N}$, where adjacent edges may be colored with the same color. A tree $T$ in $G$ is a \emph{proper tree} if no two adjacent edges of it are assigned the same color. Let $k$ be a fixed integer with $2\leq k\leq n$. For a vertex subset $S\subseteq V(G)$ with $|S|\geq 2$, a tree is called an \emph{$S$-tree} if it connects $S$ in $G$ . A \emph{$k$-proper coloring} of $G$ is an edge-coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a proper $S$-tree $T$ in $G$. The minimum number of colors that are needed in a $k$-proper coloring of $G$ is defined as the \emph{$k$-proper index} of $G$, denoted by $px_k(G)$. In this paper, we determine the 3-proper index of all complete bipartite and complete multipartite graphs and partially determine the $k$-proper index of them for $k\geq 4$.
Monochromatic Solutions to Systems of Exponential Equations
Published
• View Publication
• BIB
Let $n\in \mathbb{N}$, $R$ be a binary relation on $[n]$, and $C_1(i,j),\ldots,C_n(i,j) \in \mathbb{Z}$, for $i,j \in [n]$. We define the exponential system of equations $\mathcal{E}(R,(C_k(i,j)_{i,j,k})$ to be the system \[ X_i^{Y_1^{C_1(i,j)} \cdots Y_n^{C_n(i,j)} } = X_j , \text{ for } (i,j) \in R ,\] in variables $X_1,\ldots,X_n,Y_1,\ldots,Y_n$. The aim of this paper is to classify precisely which of these systems admit a monochromatic solution ($X_i,Y_i \not=1)$ in an arbitrary finite colouring of the natural numbers. This result could be viewed as an analogue of Rado's theorem for exponential patterns.
A flow based pruning scheme for enumerative equitable coloring algorithms
Published
• View Publication
• BIB
An equitable graph coloring is a proper vertex coloring of a graph G where the sizes of the color classes differ by at most one. The equitable chromatic number is the smallest number k such that G admits such equitable k-coloring. We focus on enumerative algorithms for the computation of the equitable coloring number and propose a general scheme to derive pruning rules for them: We show how the extendability of a partial coloring into an equitable coloring can be modeled via network flows. Thus, we obtain pruning rules which can be checked via flow algorithms. Computational experiments show that the search tree of enumerative algorithms can be significantly reduced in size by these rules and, in most instances, such naive approach even yields a faster algorithm. Moreover, the stability, i.e., the number of solved instances within a given time limit, is greatly improved.
Since the execution of flow algorithms at each node of a search tree is time consuming, we derive arithmetic pruning rules (generalized Hall-conditions) from the network model. Adding these rules to an enumerative algorithm yields an even larger runtime improvement.
Exponential Patterns in Arithmetic Ramsey Theory
Published
• View Publication
• BIB
We show that for every finite colouring of the natural numbers there exists $a,b >1$ such that the triple $\{a,b,a^b\}$ is monochromatic. We go on to show the partition regularity of a much richer class of patterns involving exponentiation. For example, as a corollary to our main theorem, we show that for every $n \in \mathbb{N}$ and for every finite colouring of the natural numbers, we may find a monochromatic set including the integers $x_1,\ldots,x_n >1$; all products of distinct $x_i$; and all "exponential compositions" of distinct $x_i$ which respect the order $x_1,\ldots,x_n$. In particular, for every finite colouring of the natural numbers one can find a monochromatic quadruple of the form $\{ a,b,ab,a^b \}$, where $a,b>1$.
Fall-colorings and b-colorings of graph products
Given a proper coloring $f$ of a graph $G$, a b-vertex in $f$ is a vertex that is adjacent to every color class but its own. It is a b-coloring if every color class contains at least one b-vertex, and it is a fall-coloring if every vertex is a b-vertex. The b-chromatic number of $G$ is the maximum integer $b(G)$ for which $G$ has a b-coloring with $b(G)$ colors, while the fall-chromatic number and the fall-acromatic number of $G$ are, respectively, the minimum and maximum integers $f_1(G),f_2(G)$ for which $G$ has a fall-coloring. In this article, we explore the concepts of b-homomorphisms and Type II homomorphisms, which generalize the concepts of b-colorings and fall-colorings, and present some meta-theorems concerning products of graphs. As a result, we derive some previously known facts about these metrics on graph products. We also give a negative answer to a question posed by Kaul and Mitillos about fall-colorings of perfect graphs.
Chromatic Number of Random Kneser Hypergraphs
Published
• View Publication
• BIB
Recently, Kupavskii~[{\it On random subgraphs of {K}neser and {S}chrijver graphs. J. Combin. Theory Ser. A, {\rm 2016}.}] investigated the chromatic number of random Kneser graphs $\KG_{n,k}(ρ)$ and proved that, in many cases, the chromatic numbers of the random Kneser graph $\KG_{n,k}(ρ)$ and the Kneser graph $\KG_{n,k}$ are almost surely closed. He also marked the studying of the chromatic number of random Kneser hypergraphs $\KG^r_{n,k}(ρ)$ as a very interesting problem. With the help of $\Z_p$-Tucker lemma, a combinatorial generalization of the Borsuk-Ulam theorem, we generalize Kupavskii's result to random general Kneser hypergraphs by introducing an almost surely lower bound for the chromatic number of them. Roughly speaking, as a special case of our result, we show that the chromatic numbers of the random Kneser hypergraph $\KG^r_{n,k}(ρ)$ and the Kneser hypergraph $\KG^r_{n,k}$ are almost surely closed in many cases. Moreover, restricting to the Kneser and {S}chrijver graphs, we present a purely combinatorial proof for an improvement of Kupavskii's results.
Also, for any hypergraph $\HH$, we present a lower bound for the minimum number of colors required in a coloring of $\KG^r(\mathcal{H})$ with no monochromatic $K_{t,\ldots,t}^r$ subhypergraph, where $K_{t,\ldots,t}^r$ is the complete $r$-uniform $r$-partite hypergraph with $t r$ vertices such that each of its parts has $t$ vertices. This result generalizes the lower bound for the chromatic number of $\KG^r(\mathcal{H})$ found by the present authors~[{\it On the chromatic number of general {K}neser hypergraphs. J. Combin. Theory, Ser. B, {\rm 2015}.}].
High girth hypergraphs with unavoidable monochromatic or rainbow edges
Published
• View Publication
• BIB
A classical result of Erdős and Hajnal claims that for any integers $k, r, g \geq 2$ there is an $r$-uniform hypergraph of girth at least $g$ with chromatic number at least $k$. This implies that there are sparse hypergraphs such that in any coloring of their vertices with at most $k-1$ colors there is a monochromatic hyperedge. We show that for any integers $r, g\geq 2$ there is an $r$-uniform hypergraph of girth at least $g$ such that in any coloring of its vertices there is either a monochromatic or a rainbow (totally multicolored) edge. We give a probabilistic and a deterministic proof of this result.
Hereditary Graph Classes: When the Complexities of Colouring and Clique Cover Coincide
A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Král', Kratochvíl, Tuza, and Woeginger initiated a study into the complexity of Colouring for $(H_1,H_2)$-free graphs. Since then, others have tried to complete their study, but many cases remain open. We focus on those $(H_1,H_2)$-free graphs where $H_2$ is $\overline{H_1}$, the complement of $H_1$. As these classes are closed under complementation, the computational complexities of Colouring and Clique Cover coincide. By combining new and known results, we are able to classify the complexity of Colouring and Clique Cover for $(H,\overline{H})$-free graphs for all cases except when $H=sP_1+ P_3$ for $s\geq 3$ or $H=sP_1+P_4$ for $s\geq 2$. We also classify the complexity of Colouring on graph classes characterized by forbidding a finite number of self-complementary induced subgraphs, and we initiate a study of $k$-Colouring for $(P_r,\overline{P_r})$-free graphs.
Two problems on matchings in set families - in the footsteps of Erdős and Kleitman
Published
• View Publication
• BIB
The families $\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$ are called $q$-dependent if there are no pairwise disjoint $F_1\in \mathcal F_1,\ldots, F_s\in\mathcal F_s$ satisfying $|F_1\cup\ldots\cup F_s|\le q.$ We determine $\max |\mathcal F_1|+\ldots +|\mathcal F_s| $ for all values $n\ge q,s\ge 2$. The result provides a far-reaching generalization of an important classical result of Kleitman.
The well-known Erd\H os Matching Conjecture suggests the largest size of a family $\mathcal F\subset {[n]\choose k}$ with no $s$ pairwise disjoint sets. After more than 50 years its full solution is still not in sight. In the present paper, we provide a Hilton-Milner-type stability theorem for the Erdős Matching Conjecture in a relatively wide range, in particular, for $n\ge (2+o(1))sk$ with $o(1)$ depending on $s$ only. This is a considerable improvement of a classical result due to Bollobás, Daykin and Erdős.
We apply our results to advance in the following anti-Ramsey-type problem, proposed by Özkahya and Young. Let $ar(n,k,s)$ be the minimum number $x$ of colors such that in any coloring of the $k$-element subsets of $[n]$ with $x$ (non-empty) colors there is a \textit{rainbow matching} of size $s$, that is, $s$ sets of different colors that are pairwise disjoint. We prove a stability result for the problem, which allows to determine $ar(n,k,s)$ for all $k\ge 3$ and $n\ge sk+(s-1)(k-1).$ Some other consequences of our results are presented as well.
The complexity of tropical graph homomorphisms
Published in Discrete Applied Mathematics 229:64-81, 2017
• View Publication
• BIB
A tropical graph $(H,c)$ consists of a graph $H$ and a (not necessarily proper) vertex-colouring $c$ of $H$. Given two tropical graphs $(G,c_1)$ and $(H,c)$, a homomorphism of $(G,c_1)$ to $(H,c)$ is a standard graph homomorphism of $G$ to $H$ that also preserves the vertex-colours. We initiate the study of the computational complexity of tropical graph homomorphism problems. We consider two settings. First, when the tropical graph $(H,c)$ is fixed; this is a problem called $(H,c)$-COLOURING. Second, when the colouring of $H$ is part of the input; the associated decision problem is called $H$-TROPICAL-COLOURING. Each $(H,c)$-COLOURING problem is a constraint satisfaction problem (CSP), and we show that a complexity dichotomy for the class of $(H,c)$-COLOURING problems holds if and only if the Feder-Vardi Dichotomy Conjecture for CSPs is true. This implies that $(H,c)$-COLOURING problems form a rich class of decision problems. On the other hand, we were successful in classifying the complexity of at least certain classes of $H$-TROPICAL-COLOURING problems.
Dimensions of multi-fan algebras
Published in J. Math. Soc. Japan 72:3 (2020), 777-794
• View Publication
• BIB
Given an arbitrary non-zero simplicial cycle and a generic vector coloring of its vertices, there is a way to produce a graded Poincare duality algebra associated with these data. The procedure relies on the theory of volume polynomials and multi-fans. This construction includes many important examples, such as cohomology of toric varieties and quasitoric manifolds, and Gorenstein algebras of triangulated homology manifolds, introduced by Novik and Swartz. In all these examples the dimensions of graded components of such duality algebras do not depend on the vector coloring. It was conjectured that the same holds for any simplicial cycle. We disprove this conjecture by showing that the colors of singular points of the cycle may affect the dimensions. However, the colors of smooth points are irrelevant. By using bistellar moves we show that the number of different dimension vectors arising on a given 3-dimensional pseudomanifold with isolated singularities is a topological invariant. This invariant is trivial on manifolds, but nontrivial in general.
Grünbaum coloring and its generalization to arbitrary dimension
Published in Australasian Journal of Combinatorics. 2017. Volume 67(2). Pages 119-130
• Search Publication
This paper is a collection of thoughts and observations, being partly a review and partly a report of current research, on recent work in various aspects of Grünbaum colorings, their existence and usage. In particular, one of the most striking significances of Grünbaum's Conjecture in the 2-dimensional case is its equivalence to the 4-Color Theorem. The notion of Grünbaum coloring is extended from the 2-dimensional case to the case of arbitrary finite hyper-dimensions.