coloring
4497 papers tagged with this keyword
Minimum Forcing Sets for Miura Folding Patterns
Published in ACM-SIAM Symposium on Discrete Algorithms (SODA15), (2015), 136-147
• View Publication
• BIB
We introduce the study of forcing sets in mathematical origami. The origami material folds flat along straight line segments called creases, each of which is assigned a folding direction of mountain or valley. A subset $F$ of creases is forcing if the global folding mountain/valley assignment can be deduced from its restriction to $F$. In this paper we focus on one particular class of foldable patterns called Miura-ori, which divide the plane into congruent parallelograms using horizontal lines and zig-zag vertical lines. We develop efficient algorithms for constructing a minimum forcing set of a Miura-ori map, and for deciding whether a given set of creases is forcing or not. We also provide tight bounds on the size of a forcing set, establishing that the standard mountain-valley assignment for the Miura-ori is the one that requires the most creases in its forcing sets. Additionally, given a partial mountain/valley assignment to a subset of creases of a Miura-ori map, we determine whether the assignment domain can be extended to a locally flat-foldable pattern on all the creases. At the heart of our results is a novel correspondence between flat-foldable Miura-ori maps and $3$-colorings of grid graphs.
Packing a randomly edge-colored random graph with rainbow $k$-outs
Let $G$ be a graph on $n$ vertices and let $k$ be a fixed positive integer. We denote by $\mathcal G_{\text{$k$-out}}(G)$ the probability space consisting of subgraphs of $G$ where each vertex $v\in V(G)$ randomly picks $k$ neighbors from $G$, independently from all other vertices. We show that if $δ(G)=ω(\log n)$ and $k\geq 2$, then the following holds for every $p=ω(\log n/δ(G))$. Let $H$ be a random graph obtained by keeping each $e\in E(G)$ with probability $p$ independently at random and then coloring its edges independently and uniformly at random with elements from the set $[kn]$. Then, w.h.p. $H$ contains $t:=(1-o(1))δ(G)p/(2k)$ edge-disjoint graphs $H_1,...,H_t$ such that each of the $H_i$ is \emph{rainbow} (that is, all the edges are colored with distinct colors), and such that for every monotone increasing property of graphs $\mathcal P$ and for every $1\leq i\leq t$ we have $\Pr[\mathcal G_{\text{$k$-out}}(G)\models \mathcal P]\leq \Pr[H_i\models \mathcal P]+n^{-ω(1)}$. Note that since (in this case) a typical member of $\mathcal G_{\text{$k$-out}}(G)$ has average degree roughly $2k$, this result is asymptotically best possible. We present several applications of this; for example, we use this result to prove that for $p=ω(\log n/n)$ and $c=23n$, a graph $H\sim \mathcal G_{c}(K_n,p)$ w.h.p. contains $(1-o(1))np/46$ edge-disjoint rainbow Hamilton cycles. More generally, using a recent result of Frieze and Johansson, the same method allows us to prove that if $G$ has minimum degree $δ(G)\geq (1+\varepsilon)n/2$, then there exist functions $c=O(n)$ and $t=Θ(np)$ (depending on $\varepsilon$) such that the random subgraph $H\sim \mathcal G_{c}(G,p)$ w.h.p. contains $t$ edge-disjoint rainbow Hamilton cycles.
Computing the partition function for graph homomorphisms with multiplicities
Published
• View Publication
• BIB
We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions for independent sets, perfect matchings, Hamiltonian cycles and dense subgraphs in graphs as well as for graph colorings. This allows us to tell apart in quasi-polynomial time graphs that are sufficiently far from having a structure of a given type (i.e., independent set of a given size, Hamiltonian cycle, etc.) from graphs that have sufficiently many structures of that type, even when the probability to hit such a structure at random is exponentially small.
Curvature from Graph Colorings
Given a finite simple graph G=(V,E) with chromatic number c and chromatic polynomial C(x). Every vertex graph coloring f of G defines an index i_f(x) satisfying the Poincare-Hopf theorem sum_x i_f(x)=chi(G). As a variant to the index expectation result we prove that E[i_f(x)] is equal to curvature K(x) satisfying Gauss-Bonnet sum_x K(x) = χ(G), where the expectation is the average over the finite probability space containing the C(c) possible colorings with c colors, for which each coloring has the same probability.
Brooks Type Results for Conflict-Free Colorings and {a, b}-factors in graphs
Published in Discrete Mathematics 338(12):2295--2301, 2015
• View Publication
• BIB
A vertex-coloring of a hypergraph is conflict-free, if each edge contains a vertex whose color is not repeated on any other vertex of that edge. Let $f(r, Δ)$ be the smallest integer $k$ such that each $r$-uniform hypergraph of maximum vertex degree $Δ$ has a conflict-free coloring with at most $k$ colors. As shown by Tardos and Pach, similarly to a classical Brooks' type theorem for hypergraphs, $f(r, Δ)\leq Δ+1$. Compared to Brooks' theorem, according to which there is only a couple of graphs/hypergraphs that attain the $Δ+1$ bound, we show that there are several infinite classes of uniform hypergraphs for which the upper bound is attained. We provide bounds on $f(r, Δ)$ in terms of~$Δ$ for large~$Δ$ and establish the connection between conflict-free colorings and so-called $\{t, r-t\}$-factors in $r$-regular graphs. Here, a $\{t, r-t\}$-factor is a factor in which each degree is either $t$ or $r-t$. Among others, we disprove a conjecture of Akbari and Kano~[Graphs and Combinatorics 30(4):821--826, 2014] stating that there is a $\{t,r-t\}$-factor in every $r$-regular graph for odd $r$ and any odd $t<\frac{r}{3}$.
Equitable partition of graphs into induced forests
Published in Discrete Math. 338(8) (2015), 1481-1483
• View Publication
• BIB
An equitable partition of a graph $G$ is a partition of the vertex-set of $G$ such that the sizes of any two parts differ by at most one. We show that every graph with an acyclic coloring with at most $k$ colors can be equitably partitioned into $k-1$ induced forests. We also prove that for any integers $d\ge 1$ and $k\ge 3^{d-1}$, any $d$-degenerate graph can be equitably partitioned into $k$ induced forests.
Each of these results implies the existence of a constant $c$ such that for any $k \ge c$, any planar graph has an equitable partition into $k$ induced forests. This was conjectured by Wu, Zhang, and Li in 2013.
An abstract approach to polychromatic coloring: shallow hitting sets in ABA-free hypergraphs and pseudohalfplanes
Published
• View Publication
• BIB
The goal of this paper is to give a new, abstract approach to cover-decomposition and polychromatic colorings using hypergraphs on ordered vertex sets. We introduce an abstract version of a framework by Smorodinsky and Yuditsky, used for polychromatic coloring halfplanes, and apply it to so-called ABA-free hypergraphs, which are a generalization of interval graphs. Using our methods, we prove that (2k-1)-uniform ABA-free hypergraphs have a polychromatic k-coloring, a problem posed by the second author. We also prove the same for hypergraphs defined on a point set by pseudohalfplanes. These results are best possible. We could only prove slightly weaker results for dual hypergraphs defined by pseudohalfplanes, and for hypergraphs defined by pseudohemispheres. We also introduce another new notion that seems to be important for investigating polychromatic colorings and epsilon-nets, shallow hitting sets. We show that all the above hypergraphs have shallow hitting sets, if their hyperedges are containment-free.
Better 3-coloring algorithms: excluding a triangle and a seven vertex path
Published in Theoretical Computer Science 850, 2021, 98-115
• View Publication
• BIB
We present an algorithm to color a graph $G$ with no triangle and no induced $7$-vertex path (i.e., a $\{P_7,C_3\}$-free graph), where every vertex is assigned a list of possible colors which is a subset of $\{1,2,3\}$. While this is a special case of the problem solved in [Combinatorica 38(4):779--801, 2018], that does not require the absence of triangles, the algorithm here is both faster and conceptually simpler. The complexity of the algorithm is $O(|V(G)|^5(|V(G)|+|E(G)|))$, and if $G$ is bipartite, it improves to $O(|V(G)|^2(|V(G)|+|E(G)|))$.
Moreover, we prove that there are finitely many minimal obstructions to list 3-coloring $\{P_t,C_3\}$-free graphs if and only if $t \leq 7$. This implies the existence of a polynomial time certifying algorithm for list 3-coloring in $\{P_7,C_3\}$-free graphs. We furthermore determine other cases of $t, \ell$, and $k$ such that the family of minimal obstructions to list $k$-coloring in $\{P_t,C_{\ell}\}$-free graphs is finite.
Toric origami structures on quasitoric manifolds
Published in Proc. Steklov Inst. Math., Vol.288(1), 2015, pp.10-28
• View Publication
• BIB
We construct quasitoric manifolds of dimension 6 and higher which are not equivariantly homeomorphic to any toric origami manifold. All necessary topological definitions and combinatorial constructions are given and the statement is reformulated in discrete geometrical terms. The problem reduces to existence of planar triangulations with certain coloring and metric properties.
Improved algorithms for colorings of simple hypergraphs and applications
Published
• View Publication
• BIB
The paper deals with extremal problems concerning colorings of hypergraphs. By using a random recoloring algorithm we show that any $n$-uniform simple (i.e. every two distinct edges share at most one vertex) hypergraph $H$ with maximum edge degree at most \[
Δ(H)\leq c\cdot nr^{n-1}, \] is $r$-colorable, where $c>0$ is an absolute constant. %We prove also that similar result holds for $b$-simple hypergraphs.
As an application of our proof technique we establish a new lower bound for Van der Waerden number $W(n,r)$, the minimum $N$ such that in any $r$-coloring of the set $\{1,...,N\}$ there exists a monochromatic arithmetic progression of length $n$. We show that \[
W(n,r)>c\cdot r^{n-1}, \] for some absolute constant $c>0$.
Graphs and Generalized Witt identities
This paper is about the determinantal identities associated with the Ihara (Ih) zeta function of a non directed graph and the Bowen-Lanford (BL) zeta function of a directed graph. They will be called the Ih and the BL identities in this paper. We show that the Witt identity (WI) is a special case of the BL identity and inspired by the links the WI has with Lie algebras and combinatorics we investigate similar aspects of the Ih and BL identities. We show that they satisfy generalizations of the Strehl identity and Carlitz, Metropolis-Rota relations and each one of them can be interpreted as the denominator (or generalized Witt) identity of a free Lie superalgebra. Also, they can be associated to a coloring problem.
New interpretations of the Ih and BL zeta functions are presented.
Lower Bound Theorems and a Generalized Lower Bound Conjecture for balanced simplicial complexes
Published in Mathematika 62 (2016) 441-477
• View Publication
• BIB
A $(d-1)$-dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$-coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs). Specifically, we prove the balanced analog of the celebrated Lower Bound Theorem for pseudomanifolds and characterize the case of equality; we introduce and characterize the balanced analog of the Walkup class; we propose the balanced analog of the Generalized Lower Bound Conjecture and establish some related results. We close with constructions of balanced manifolds with few vertices.
A note on the Thue chromatic number of lexicographic products of graphs
Published
• View Publication
• BIB
A sequence is called non-repetitive if no of its subsequences forms a repetition (a sequence $r_1,r_2,\dots,r_{2n}$ such that $r_i=r_{n+i}$ for all $1\leq i \leq n$). Let $G$ be a graph whose vertices are coloured. A colouring $\varphi$ of the graph $G$ is non-repetitive if the sequence of colours on every path in $G$ is non-repetitive. The Thue chromatic number, denoted by $π(G)$, is the minimum number of colours of a non-repetitive colouring of $G$. In this short note we present a general upper bound for the Thue chromatic number for the lexicographic product $G\circ H$ of graphs $G$ and $H$ with respect to some properties of the factors. This upper bound is then used to derive the exact values for $π(G\circ H)$ when $G$ is a complete multipartite graph and $H$ is an arbitrary graph.
Three-coloring graphs with no induced seven-vertex path I : the triangle-free case
In this paper, we give a polynomial time algorithm which determines if a given triangle-free graph with no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists.
The Path Partition Conjecture is True and its Validity Yields Upper Bounds for Detour Chromatic Number and Star Chromatic Number
The detour order of a graph $G$, denoted $τ(G)$, is the order of a longest path in $G$. A partition $(A, B)$ of $V(G)$ such that $τ(\langle A \rangle) \leq a$ and $τ(\langle B \rangle) \leq b$ is called an $(a, b)$-partition of $G$. A graph $G$ is called $τ$-partitionable if $G$ has an $(a, b)$-partition for every pair $(a, b)$ of positive integers such that $a + b = τ(G)$. The well-known Path Partition Conjecture states that every graph is $τ$-partitionable. In \cite{df07} Dunber and Frick have shown that if every 2-connected graph is $τ$-partitionable then every graph is $τ$-partitionable. In this paper we show that every 2-connected graph is $τ$-partitionable. Thus, our result settles the Path Partition Conjecture affirmatively. We prove the following two theorems as the implications of the validity of the Path Partition Conjecture.\\ {\bf Theorem 1:} For every graph $G$, $χ_s(G) \leq τ(G)$, where $χ_s(G)$ is the star chromatic number of a graph $G$. The $n^{th}$ detour chromatic number of a graph $G$, denoted $χ_n(G)$, is the minimum number of colours required for colouring the vertices of $G$ such that no path of order greater than $n$ is mono coloured. These chromatic numbers were introduced by Chartrand, Gellar and Hedetniemi\cite{cg68} as a generalization of vertex chromatic number $χ(G)$.\\ {\bf Theorem 2:} For every graph $G$ and for every $n \geq 1$, $χ_n(G) \leq \left\lceil \frac{τ_n(G)}{n} \right\rceil$, where $χ_n(G)$ denote the $n^{th}$ detour chromatic number.\\ Theorem 2 settles the conjecture of Frick and Bullock \cite{fb01} that $χ_n(G) \leq \left\lceil \frac{τ(G)}{n} \right\rceil$, for every graph $G$, for every $n \geq 1$, affirmatively.
Planar graphs without 5-cycles and intersecting triangles are $(1,1,0)$-colorable
Published
• View Publication
• BIB
A $(c_1,c_2,...,c_k)$-coloring of $G$ is a mapping $\varphi:V(G)\mapsto\{1,2,...,k\}$ such that for every $i,1 \leq i \leq k$, $G[V_i]$ has maximum degree at most $c_i$, where $G[V_i]$ denotes the subgraph induced by the vertices colored $i$. Borodin and Raspaud conjecture that every planar graph without $5$-cycles and intersecting triangles is $(0,0,0)$-colorable. We prove in this paper that such graphs are $(1,1,0)$-colorable.
Graphs of large linear size are antimagic
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ and a colouring $f:E\mapsto \mathbb N$, the induced colour of a vertex $v$ is the sum of the colours at the edges incident with $v$. If all the induced colours of vertices of $G$ are distinct, the colouring is called antimagic. If $G$ has a bijective antimagic colouring $f:E\mapsto \{1,\dots,|E|\}$, the graph $G$ is called antimagic. A conjecture of Hartsfield and Ringel states that all connected graphs other than $K_2$ are antimagic. Alon, Kaplan, Lev, Roddity and Yuster proved this conjecture for graphs with minimum degree at least $c \log |V|$ for some constant $c$; we improve on this result, proving the conjecture for graphs with average degree at least some constant $d_0$.
Beck's Conjecture for Power Graphs
Beck's conjecture on coloring of graphs associated to various algebraic objects has generated considerable interest in the community of discrete mathematics and combinatorics since its inception in the year 1988. The version of this conjecture for power-graphs of finite groups has been addressed and partially settled by previous authors. In this paper we answer it in the affirmative in complete generality, and, in effect, we establish a "nicer" statement on a larger class of graphs. We also clear up certain ambiguities present in the way the previous versions of the conjecture were posed.
Colouring of plane graphs with unique maximal colours on faces
Published in J. Graph Theory, 83(4) 359-371, 2016
• View Publication
• BIB
The Four Colour Theorem asserts that the vertices of every plane graph can be properly coloured with four colors. Fabrici and Göring conjectured the following stronger statement to also hold: the vertices of every plane graph can be properly coloured with the numbers 1,...,4 in such a way that every face contains a unique vertex coloured with the maximal color appearing on that face. They proved that every plane graph has such a colouring with the numbers 1,...,6. We prove that every plane graph has such a colouring with the numbers 1,...,5 and we also prove the list variant of the statement for lists of sizes seven.
Combinatorics of Dyadic Intervals: Consistent Colorings
Published
• View Publication
• BIB
We study the problem of consistent and homogeneous colourings for increasing families of dyadic intervals. We determine when this problem can be solved and when not.