78 research outputs found
Hardness of Rainbow Coloring Hypergraphs
A hypergraph is k-rainbow colorable if there exists a vertex coloring using k colors such that each hyperedge has all the k colors. Unlike usual hypergraph coloring, rainbow coloring becomes harder as the number of colors increases. This work studies the rainbow colorability of hypergraphs which are guaranteed to be nearly balanced rainbow colorable. Specifically, we show that for any Q,k >= 2 and ell <= k/2, given a Qk-uniform hypergraph which admits a k-rainbow coloring satisfying:
- in each hyperedge e, for some ell_e <= ell all but 2ell_e colors occur exactly Q times and the rest (Q +/- 1) times,
it is NP-hard to compute an independent set of (1 - (ell+1)/k + eps)-fraction of vertices, for any constant eps > 0. In particular, this implies the hardness of even (k/ell)-rainbow coloring such hypergraphs.
The result is based on a novel long code PCP test that ensures the strong balancedness property desired of the k-rainbow coloring in the completeness case. The soundness analysis relies on a mixing bound based on uniform reverse hypercontractivity due to Mossel, Oleszkiewicz, and Sen, which was also used in earlier proofs of the hardness of omega(1)-coloring 2-colorable 4-uniform hypergraphs due to Saket, and k-rainbow colorable 2k-uniform hypergraphs due to Guruswami and Lee
Rainbow Coloring Hardness via Low Sensitivity Polymorphisms
A k-uniform hypergraph is said to be r-rainbow colorable if there is an r-coloring of its vertices such that every hyperedge intersects all r color classes. Given as input such a hypergraph, finding a r-rainbow coloring of it is NP-hard for all k >= 3 and r >= 2. Therefore, one settles for finding a rainbow coloring with fewer colors (which is an easier task). When r=k (the maximum possible value), i.e., the hypergraph is k-partite, one can efficiently 2-rainbow color the hypergraph, i.e., 2-color its vertices so that there are no monochromatic edges. In this work we consider the next smaller value of r=k-1, and prove that in this case it is NP-hard to rainbow color the hypergraph with q := ceil[(k-2)/2] colors. In particular, for k <=6, it is NP-hard to 2-color (k-1)-rainbow colorable k-uniform hypergraphs.
Our proof follows the algebraic approach to promise constraint satisfaction problems. It proceeds by characterizing the polymorphisms associated with the approximate rainbow coloring problem, which are rainbow colorings of some product hypergraphs on vertex set [r]^n. We prove that any such polymorphism f: [r]^n -> [q] must be C-fixing, i.e., there is a small subset S of C coordinates and a setting a in [q]^S such that fixing x_{|S} = a determines the value of f(x). The key step in our proof is bounding the sensitivity of certain rainbow colorings, thereby arguing that they must be juntas. Armed with the C-fixing characterization, our NP-hardness is obtained via a reduction from smooth Label Cover
Approximate Hypergraph Coloring under Low-discrepancy and Related Promises
A hypergraph is said to be -colorable if its vertices can be colored
with colors so that no hyperedge is monochromatic. -colorability is a
fundamental property (called Property B) of hypergraphs and is extensively
studied in combinatorics. Algorithmically, however, given a -colorable
-uniform hypergraph, it is NP-hard to find a -coloring miscoloring fewer
than a fraction of hyperedges (which is achieved by a random
-coloring), and the best algorithms to color the hypergraph properly require
colors, approaching the trivial bound of as
increases.
In this work, we study the complexity of approximate hypergraph coloring, for
both the maximization (finding a -coloring with fewest miscolored edges) and
minimization (finding a proper coloring using fewest number of colors)
versions, when the input hypergraph is promised to have the following stronger
properties than -colorability:
(A) Low-discrepancy: If the hypergraph has discrepancy ,
we give an algorithm to color the it with colors.
However, for the maximization version, we prove NP-hardness of finding a
-coloring miscoloring a smaller than (resp. )
fraction of the hyperedges when (resp. ). Assuming
the UGC, we improve the latter hardness factor to for almost
discrepancy- hypergraphs.
(B) Rainbow colorability: If the hypergraph has a -coloring such
that each hyperedge is polychromatic with all these colors, we give a
-coloring algorithm that miscolors at most of the
hyperedges when , and complement this with a matching UG
hardness result showing that when , it is hard to even beat the
bound achieved by a random coloring.Comment: Approx 201
-WORM colorings of graphs: Lower chromatic number and gaps in the chromatic spectrum
A -WORM coloring of a graph is an assignment of colors to the
vertices in such a way that the vertices of each -subgraph of get
precisely two colors. We study graphs which admit at least one such
coloring. We disprove a conjecture of Goddard et al. [Congr. Numer., 219 (2014)
161--173] who asked whether every such graph has a -WORM coloring with two
colors. In fact for every integer there exists a -WORM colorable
graph in which the minimum number of colors is exactly . There also exist
-WORM colorable graphs which have a -WORM coloring with two colors
and also with colors but no coloring with any of colors. We
also prove that it is NP-hard to determine the minimum number of colors and
NP-complete to decide -colorability for every (and remains
intractable even for graphs of maximum degree 9 if ). On the other hand,
we prove positive results for -degenerate graphs with small , also
including planar graphs. Moreover we point out a fundamental connection with
the theory of the colorings of mixed hypergraphs. We list many open problems at
the end.Comment: 18 page
The Quest for Strong Inapproximability Results with Perfect Completeness
The Unique Games Conjecture (UGC) has pinned down the approximability of all constraint satisfaction problems (CSPs), showing that a natural semidefinite programming relaxation offers the optimal worst-case approximation ratio for any CSP. This elegant picture, however, does not apply for CSP instances that are perfectly satisfiable, due to the imperfect completeness inherent in the UGC. For the important case when the input CSP instance admits a satisfying assignment, it therefore remains wide open to understand how well it can be approximated.
This work is motivated by the pursuit of a better understanding of the inapproximability of perfectly satisfiable instances of CSPs. Our main conceptual contribution is the formulation of a (hypergraph) version of Label Cover which we call "V label cover." Assuming a conjecture concerning the inapproximability of V label cover on perfectly satisfiable instances, we prove the following implications:
* There is an absolute constant c0 such that for k >= 3, given a satisfiable instance of Boolean k-CSP, it is hard to find an assignment satisfying more than c0 k^2/2^k fraction of the constraints.
* Given a k-uniform hypergraph, k >= 2, for all epsilon > 0, it is hard to tell if it is q-strongly colorable or has no independent set with an epsilon fraction of vertices, where q = ceiling[k + sqrt(k) - 0.5].
* Given a k-uniform hypergraph, k >= 3, for all epsilon > 0, it is hard to tell if it is (k-1)-rainbow colorable or has no independent set with an epsilon fraction of vertices.
We further supplement the above results with a proof that an ``almost Unique\u27\u27 version of Label Cover can be approximated within a constant factor on satisfiable instances
Linearly ordered colourings of hypergraphs
A linearly ordered (LO) -colouring of an -uniform hypergraph assigns an
integer from to every vertex so that, in every edge, the
(multi)set of colours has a unique maximum. Equivalently, for , if two
vertices in an edge are assigned the same colour, then the third vertex is
assigned a larger colour (as opposed to a different colour, as in classic
non-monochromatic colouring). Barto, Battistelli, and Berg [STACS'21] studied
LO colourings on -uniform hypergraphs in the context of promise constraint
satisfaction problems (PCSPs). We show two results.
First, given a 3-uniform hypergraph that admits an LO -colouring, one can
find in polynomial time an LO -colouring with .
Second, given an -uniform hypergraph that admits an LO -colouring, we
establish NP-hardness of finding an LO -colouring for every constant
uniformity . In fact, we determine relationships between
polymorphism minions for all uniformities , which reveals a key
difference between and and which may be of independent
interest. Using the algebraic approach to PCSPs, we actually show a more
general result establishing NP-hardness of finding an LO -colouring for LO
-colourable -uniform hypergraphs for and .Comment: Full version (with stronger both tractability and intractability
results) of an ICALP 2022 pape
An updated survey on rainbow connections of graphs - a dynamic survey
The concept of rainbow connection was introduced by Chartrand, Johns, McKeon and Zhang in 2008. Nowadays it has become a new and active subject in graph theory. There is a book on this topic by Li and Sun in 2012, and a survey paper by Li, Shi and Sun in 2013. More and more researchers are working in this field, and many new papers have been published in journals. In this survey we attempt to bring together most of the new results and papers that deal with this topic. We begin with an introduction, and then try to organize the work into the following categories, rainbow connection coloring of edge-version, rainbow connection coloring of vertex-version, rainbow -connectivity, rainbow index, rainbow connection coloring of total-version, rainbow connection on digraphs, rainbow connection on hypergraphs. This survey also contains some conjectures, open problems and questions for further study
- …