177 research outputs found
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
Color-blind index in graphs of very low degree
Let be an edge-coloring of a graph , not necessarily
proper. For each vertex , let , where is
the number of edges incident to with color . Reorder for
every in in nonincreasing order to obtain , the color-blind
partition of . When induces a proper vertex coloring, that is,
for every edge in , we say that is color-blind
distinguishing. The minimum for which there exists a color-blind
distinguishing edge coloring is the color-blind index of ,
denoted . We demonstrate that determining the
color-blind index is more subtle than previously thought. In particular,
determining if is NP-complete. We also connect
the color-blind index of a regular bipartite graph to 2-colorable regular
hypergraphs and characterize when is finite for a class
of 3-regular graphs.Comment: 10 pages, 3 figures, and a 4 page appendi
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
Ramsey numbers of ordered graphs
An ordered graph is a pair where is a graph and
is a total ordering of its vertices. The ordered Ramsey number
is the minimum number such that every ordered
complete graph with vertices and with edges colored by two colors contains
a monochromatic copy of .
In contrast with the case of unordered graphs, we show that there are
arbitrarily large ordered matchings on vertices for which
is superpolynomial in . This implies that
ordered Ramsey numbers of the same graph can grow superpolynomially in the size
of the graph in one ordering and remain linear in another ordering.
We also prove that the ordered Ramsey number is
polynomial in the number of vertices of if the bandwidth of
is constant or if is an ordered graph of constant
degeneracy and constant interval chromatic number. The first result gives a
positive answer to a question of Conlon, Fox, Lee, and Sudakov.
For a few special classes of ordered paths, stars or matchings, we give
asymptotically tight bounds on their ordered Ramsey numbers. For so-called
monotone cycles we compute their ordered Ramsey numbers exactly. This result
implies exact formulas for geometric Ramsey numbers of cycles introduced by
K\'arolyi, Pach, T\'oth, and Valtr.Comment: 29 pages, 13 figures, to appear in Electronic Journal of
Combinatoric
- …