Nearly optimal NP-hardness of vertex cover on k-uniform k-partite hypergraphs
APPROX'11/RANDOM'11 Proceedings of the 14th international workshop and 15th international conference on Approximation, randomization, and combinatorial optimization: algorithms and techniques
Hi-index | 0.01 |
Let A and B denote two families of subsets of an n-element set. The pair (A,B) is said to be ℓ-cross-intersecting iff |A∩B|=ℓ for all A∈ A and B∈B. Denote by P e (n) the maximum value of |A||B| over all such pairs. The best known upper bound on P e (n) is Θ(2n ), by Frankl and Rödl. For a lower bound, Ahlswede, Cai and Zhang showed, for all n ≥ 2ℓ, a simple construction of an ℓ-cross-intersecting pair (A,B) with |A||B| = $$ \left( {\begin{array}{*{20}c} {2\ell } \\ \ell \\ \end{array} } \right) $$2n−2ℓ = Θ(2n /$$ \sqrt \ell $$), and conjectured that this is best possible. Consequently, Sgall asked whether or not P e (n) decreases with ℓ. In this paper, we confirm the above conjecture of Ahlswede et al. for any sufficiently large ℓ, implying a positive answer to the above question of Sgall as well. By analyzing the linear spaces of the characteristic vectors of A,B over ℝ, we show that there exists some ℓ 0 0, such that P e (n) ≤ $$ \left( {\begin{array}{*{20}c} {2\ell } \\ \ell \\ \end{array} } \right) $$2n−2ℓ for all ℓ≥ℓ 0. Furthermore, we determine the precise structure of all the pairs of families which attain this maximum.