Advertisement

Safe Approximation and Its Relation to Kernelization

  • Jiong Guo
  • Iyad Kanj
  • Stefan Kratsch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7112)

Abstract

We introduce a notion of approximation, called safe approximation, for minimization problems that are subset problems. We first study the relation between the standard notion of approximation and safe approximation, and show that the two notions are different unless some unlikely collapses in complexity theory occur. We then study the relation between safe approximation and kernelization. We demonstrate how the notion of safe approximation can be useful in designing kernelization algorithms for certain fixed-parameter tractable problems. On the other hand, we show that there are problems that have constant-ratio safe approximation algorithms but no polynomial kernels, unless the polynomial hierarchy collapses to the third level.

Keywords

Vertex Cover Polynomial Kernel Reduction Rule Polynomial Time Approximation Scheme Unit Disk Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alber, J., Fellows, M., Niedermeier, R.: Polynomial-time data reduction for dominating set. J. ACM 51(3), 363–384 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Bafna, V., Berman, P., Fujito, T.: A 2-approximation algorithm for the Undirected Feedback Vertex Set problem. SIAM J. Discrete Math. 12(3), 289–297 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Baker, B.: Approximation algorithms for NP-complete problems on planar graphs. J. ACM 41(1), 153–180 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bar-Yehuda, R., Even, S.: A local-ratio theorem for approximating the Weighted Vertex Cover problem. Annals of Discrete Mathematics 25, 27–46 (1985)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Bar-Yehuda, R., Geiger, D., Naor, J., Roth, R.: Approximation algorithms for the Feedback Vertex Set problem with applications to constraint satisfaction and bayesian inference. SIAM J. Comput. 27(4), 942–959 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Bodlaender, H.L., Penninkx, E.: A Linear Kernel for Planar Feedback Vertex Set. In: Grohe, M., Niedermeier, R. (eds.) IWPEC 2008. LNCS, vol. 5018, pp. 160–171. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Buss, J., Goldsmith, J.: Nondeterminism within P. SIAM J. Comput. 22, 560–572 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Cai, L., Chen, J.: Fixed parameter tractability and approximability of NP-hard optimization problems. J. Comput. Syst. Sci. 54, 465–474 (1997)CrossRefzbMATHGoogle Scholar
  9. 9.
    Cai, L., Fellows, M., Juedes, D., Rosamond, F.: The complexity of polynomial-time approximation. Theory Comput. Syst. 41(3), 459–477 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Cesati, M., Trevisan, L.: On the efficiency of polynomial time approximation schemes. Inf. Process. Lett. 64, 165–171 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Chen, J., Fernau, H., Kanj, I., Xia, G.: Parametric duality and kernelization: Lower bounds and upper bounds on kernel size. SICOMP 37(4), 1077–1106 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Chen, J., Huang, X., Kanj, I., Xia, G.: Linear FPT reductions and computational lower bounds. J. Comput. Syst. Sci. 72(8), 1346–1367 (2006)CrossRefzbMATHGoogle Scholar
  13. 13.
    Chen, J., Huang, X., Kanj, I., Xia, G.: Polynomial time approximation schemes and parameterized complexity. Discrete Appl. Mathematics 155(2), 180–193 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Chen, J., Kanj, I., Jia, W.: Vertex cover: further observations and further improvements. J. Algorithms 41, 280–301 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Dell, H., van Melkebeek, D.: Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. In: STOC, pp. 251–260 (2010)Google Scholar
  16. 16.
    Downey, R., Fellows, M.: Parameterized Complexity. Springer, New York (1999)CrossRefzbMATHGoogle Scholar
  17. 17.
    Johnson, D.: Approximation algorithms for combinatorial problems. J. Comput. Syst. Sci. 9, 256–278 (1974)CrossRefzbMATHGoogle Scholar
  18. 18.
    Kanj, I., Pelsmajer, M., Xia, G., Schaefer, M.: On the induced matching problem. In: STACS. LIPIcs, vol. 08001, pp. 397–408 (2008)Google Scholar
  19. 19.
    Kolaitis, P., Thakur, M.: Approximation properties of NP minimization classes. J. Comput. Syst. Sci. 50, 391–411 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Kratsch, S.: Polynomial kernelizations for MIN F + Π1 and MAX NP. In: STACS. LIPIcs, vol. 3, pp. 601–612 (2009)Google Scholar
  21. 21.
    Marx, D.: Efficient Approximation Schemes for Geometric Problems? In: Brodal, G.S., Leonardi, S. (eds.) ESA 2005. LNCS, vol. 3669, pp. 448–459. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  22. 22.
    Marx, D.: Parameterized complexity and approximation algorithms. Comput. J. 51(1), 60–78 (2008)CrossRefGoogle Scholar
  23. 23.
    Nemhauser, G., Trotter, L.: Vertex packing: structural properties and algorithms. Mathematical Programming 8, 232–248 (1975)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Papadimitriou, C., Yannakakis, M.: Optimization, approximation, and complexity classes. J. Comput. Syst. Sci. 43, 425–440 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Savage, C.: Depth-first search and the vertex cover problem. Inf. Process. Lett. 14(5), 233–237 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Thomassé, S.: A 4k 2 kernel for feedback vertex set. ACM Transactions on Algorithms 6(2) (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jiong Guo
    • 1
  • Iyad Kanj
    • 2
  • Stefan Kratsch
    • 3
  1. 1.Universität des SaarlandesSaarbrückenGermany
  2. 2.DePaul UniversityChicagoUSA
  3. 3.Utrecht UniversityUtrechtThe Netherlands

Personalised recommendations