Bicoloring covers for graphs and hypergraphs
Abstract
Let the bicoloring cover number c(G) for a hypergraph G(V,E) be the minimum number of bicolorings of vertices of G such that every hyperedge e∈ E of G is properly bicolored in at least one of the c(G) bicolorings. We investigate the relationship between c(G), matchings, hitting sets, α(G)(independence number) and (G) (chromatic number). We design a factor O( n n- n) approximation algorithm for computing a bicoloring cover. We define a new parameter for hypergraphs - "cover independence number γ(G)" and prove that |V|γ(G) and |V|2γ(G) are lower bounds for c(G) and (G), respectively. We show that c(G) can be approximated by a polynomial time algorithm achieving approximation ratio 11-t, if γ(G)=nt, where t<1. We also construct a particular class of hypergraphs G(V,E) called cover friendly hypergraphs where the ratio of α(G) to γ(G) can be arbitrarily large.We prove that for any t≥ 1, there exists a k-uniform hypergraph G such that the clique number ω(G)=k and c(G) > t. Let m(k,x) denote the minimum number of hyperedges %in a k-uniform hypergraph G such that some k-uniform hypergraph G with m(k,x) hyperedges does not have a bicoloring cover of size x. We show that 2(k-1)x-1 < m(k,x) ≤ x · k2 · 2(k+1)x+2. Let the dependency d(G) of G be the maximum number of hyperedge neighbors of any hyperedge in G. We propose an algorithm for computing a bicoloring cover of size x for G if d(G) ≤(2x(k-1)e-1) using nx+kxmd random bits.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.