The Projection Games Conjecture and the NP-Hardness of ln n-Approximating Set-Cover

  • Dana Moshkovitz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7408)

Abstract

We suggest the research agenda of establishing new hardness of approximation results based on the “projection games conjecture”, i.e., an instantiation of the Sliding Scale Conjecture of Bellare, Goldwasser, Lund and Russell to projection games.

We pursue this line of research by establishing a tight \(\mathcal{NP}\)-hardness result for the Set-Cover problem. Specifically, we show that under the projection games conjecture (in fact, under a quantitative version of the conjecture that is only slightly beyond the reach of current techniques), it is \(\mathcal{NP}\)-hard to approximate Set-Cover on instances of size N to within (1 − α)ln N for arbitrarily small α > 0. Our reduction establishes a tight trade-off between the approximation accuracy α and the time required for the approximation \(2^{N^{\Omega(\alpha)}}\), assuming Sat requires exponential time.

The reduction is obtained by modifying Feige’s reduction. The latter only provides a lower bound of \(2^{N^{\Omega(\alpha/\log\log N)}}\) on the time required for (1 − α)ln N-approximating Set-Cover assuming Sat requires exponential time (note that N1/loglogN = No(1)). The modification uses a combinatorial construction of a bipartite graph in which any coloring of the first side that does not use a color for more than a small fraction of the vertices, makes most vertices on the other side have their neighbors all colored in different colors.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ALM+98]
    Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and the hardness of approximation problems. Journal of the ACM 45(3), 501–555 (1998)MathSciNetMATHCrossRefGoogle Scholar
  2. [AMS06]
    Alon, N., Moshkovitz, D., Safra, S.: Algorithmic construction of sets for k-restrictions. ACM Trans. Algorithms 2, 153–177 (2006)MathSciNetCrossRefGoogle Scholar
  3. [AS98]
    Arora, S., Safra, S.: Probabilistic checking of proofs: a new characterization of NP. Journal of the ACM 45(1), 70–122 (1998)MathSciNetMATHCrossRefGoogle Scholar
  4. [AS03]
    Arora, S., Sudan, M.: Improved low-degree testing and its applications. Combinatorica 23(3), 365–426 (2003)MathSciNetMATHCrossRefGoogle Scholar
  5. [BGLR93]
    Bellare, M., Goldwasser, S., Lund, C., Russell, A.: Efficient probabilistically checkable proofs and applications to approximations. In: Proc. 25th ACM Symp. on Theory of Computing, pp. 294–304 (1993)Google Scholar
  6. [CHK09]
    Charikar, M., Hajiaghayi, M., Karloff, H.: Improved Approximation Algorithms for Label Cover Problems. In: Fiat, A., Sanders, P. (eds.) ESA 2009. LNCS, vol. 5757, pp. 23–34. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. [Chv79]
    Chvatal, V.: A greedy heuristic for the set-covering problem. Mathematics of Operations Research 4(3), 233–235 (1979)MathSciNetMATHCrossRefGoogle Scholar
  8. [CKW09]
    Cygan, M., Kowalik, L., Wykurz, M.: Exponential-time approximation of weighted set cover. Inf. Process. Lett. 109(16), 957–961 (2009)MathSciNetMATHCrossRefGoogle Scholar
  9. [DFK+11]
    Dinur, I., Fischer, E., Kindler, G., Raz, R., Safra, S.: PCP characterizations of NP: Toward a polynomially-small error-probability. Computational Complexity 20(3), 413–504 (2011)MathSciNetMATHCrossRefGoogle Scholar
  10. [Fei98]
    Feige, U.: A threshold of ln n for approximating set cover. Journal of the ACM 45(4), 634–652 (1998)MathSciNetMATHCrossRefGoogle Scholar
  11. [Hås99]
    Håstad, J.: Clique is hard to approximate within n 1 − ε. Acta Mathematica 182, 105–142 (1999)MathSciNetMATHCrossRefGoogle Scholar
  12. [Hås01]
    Håstad, J.: Some optimal inapproximability results. Journal of the ACM 48(4), 798–859 (2001)MathSciNetMATHCrossRefGoogle Scholar
  13. [Kho01]
    Khot, S.: Improved inapproximability results for maxclique, chromatic number and approximate graph coloring. In: Proc. 42nd IEEE Symp. on Foundations of Computer Science, pp. 600–609 (2001)Google Scholar
  14. [Kho02]
    Khot, S.: On the power of unique 2-prover 1-round games. In: Proc. 34th ACM Symp. on Theory of Computing, pp. 767–775 (2002)Google Scholar
  15. [Kho05]
    Khot, S.: Hardness of approximating the shortest vector problem in lattices. Journal of the ACM 52(5), 789–808 (2005)MathSciNetCrossRefGoogle Scholar
  16. [LY93]
    Lund, C., Yannakakis, M.: On the hardness of approximating minimization problems. In: Proc. 25th ACM Symp. on Theory of Computing (1993)Google Scholar
  17. [MR10]
    Moshkovitz, D., Raz, R.: Two query PCP with sub-constant error. Journal of the ACM 57(5) (2010)Google Scholar
  18. [NSS95]
    Naor, M., Schulman, L.J., Srinivasan, A.: Splitters and near-optimal derandomization. In: Proc. 36th IEEE Symp. on Foundations of Computer Science, pp. 182–191 (1995)Google Scholar
  19. [Raz98]
    Raz, R.: A parallel repetition theorem. SIAM Journal on Computing 27, 763–803 (1998)MathSciNetMATHCrossRefGoogle Scholar
  20. [RS97]
    Raz, R., Safra, S.: A sub-constant error-probability low-degree test and a sub-constant error-probability PCP characterization of NP. In: Proc. 29th ACM Symp. on Theory of Computing, pp. 475–484 (1997)Google Scholar
  21. [Sla96]
    Slavík, P.: A tight analysis of the greedy algorithm for set cover. In: Proc. 28th ACM Symp. on Theory of Computing, pp. 435–441 (1996)Google Scholar
  22. [Sri99]
    Srinivasan, A.: Improved approximations guarantees for packing and covering integer programs. SIAM Journal on Computing 29(2), 648–670 (1999)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Dana Moshkovitz
    • 1
  1. 1.MITUSA

Personalised recommendations