Abstract
A Fixed-Parameter Tractable (FPT) ρ-approximation algorithm for a minimization (resp. maximization) parameterized problem P is an FPT algorithm that, given an instance (x, k) ∈ P computes a solution of cost at most k ·ρ(k) (resp. k/ρ(k)) if a solution of cost at most (resp. at least) k exists; otherwise the output can be arbitrary. For well-known intractable problems such as the W[1]-hard Clique and W[2]-hard Set Cover problems, the natural question is whether we can get any FPT-approximation. It is widely believed that both Clique and Set-Cover admit no FPT ρ-approximation algorithm, for any increasing function ρ. However, to the best of our knowledge, there has been no progress towards proving this conjecture. Assuming standard conjectures such as the Exponential Time Hypothesis (ETH)[11] and the Projection Games Conjecture (PGC)[18], we make the first progress towards proving this conjecture by showing that
-
Under the ETH and PGC, there exist constants F 1, F 2 > 0 such that the Set Cover problem does not admit a FPT approximation algorithm with ratio \(k^{F_1}\) in \(2^{k^{F_2}}\cdot \text{poly}(N,M)\) time, where N is the size of the universe and M is the number of sets.
-
Unless NP⊆ SUBEXP, for every 1 > δ > 0 there exists a constant F(δ) > 0 such that Clique has no FPT cost approximation with ratio k 1 − δ in \(2^{k^{F}}\cdot \text{poly}(n)\) time, where n is the number of vertices in the graph.
In the second part of the paper we consider various W[1]-hard problems such as Directed Steiner Tree, Directed Steiner Forest, Directed Steiner Network and Minimum Size Edge Cover. For all these problem we give polynomial time f(OPT)-approximation algorithms for some small function f (the largest approximation ratio we give is OPT2). Our results indicate a potential separation between the classes W[1] and W[2]; since no W[2]-hard problem is known to have a polynomial time f(OPT)-approximation for any function f. Finally, we answer a question by Marx [14] by showing the well-studied Strongly Connected Steiner Subgraph problem (which is W[1]-hard and does not have any polynomial time constant factor approximation) has a constant factor FPT-approximation.
A full version of the paper is available at http://arxiv.org/abs/1308.3520
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arora, S., Lund, C.: Approximation algorithms for NP-hard problems. In: Hochbaum, D. (ed.) PWS Publishing Co., Boston (1997)
Bellare, M., Goldwasser, S., Lund, C., Russeli, A.: Efficient probabilistically checkable proofs and applications to approximations. In: STOC (1993)
Cai, L.: Parameterized complexity of cardinality constrained optimization problems. Comput. J. 51(1), 102–121 (2008)
Downey, R., Fellows, M.: Parameterized Complexity. Springer (1999)
Dreyfus, S.E., Wagner, R.A.: The steiner problem in graphs. Networks 1(3) (1971)
Fellows, M.R., Guo, J., Marx, D., Saurabh, S.: Data Reduction and Problem Kernels (Dagstuhl Seminar 12241). Dagstuhl Reports 2(6), 26–50 (2012)
Guo, J., Niedermeier, R., Suchý, O.: Parameterized complexity of arc-weighted directed steiner problems. SIAM J. Discrete Math. 25(2), 583–599 (2011)
Gupta, A.: Improved results for directed multicut. In: SODA, pp. 454–455 (2003)
Halperin, E., Krauthgamer, R.: Polylogarithmic inapproximability. In: STOC 2003: Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, pp. 585–594. ACM Press, New York (2003)
Håstad, J.: Clique is hard to approximate within n 1 − ε. In: FOCS (1996)
Impagliazzo, R., Paturi, R.: On the complexity of k-sat. J. Comput. Syst. Sci. 62(2) (2001)
Khot, S.: On the Unique Games Conjecture. In: FOCS, p. 3 (2005)
Lund, C., Yannakakis, M.: On the hardness of approximating minimization problems. J. ACM 41(5), 960–981 (1994)
Marx, D.: Parameterized complexity and approximation algorithms. Comput. J. 51(1) (2008)
Marx, D.: Completely inapproximable monotone and antimonotone parameterized problems. Journal of Computer and System Sciences 79(1) (2013)
Marx, D., Razgon, I.: Constant ratio fixed-parameter approximation of the edge multicut problem. Inf. Process. Lett. 109(20), 1161–1166 (2009)
Marx, D., Razgon, I.: Fixed-parameter tractability of multicut parameterized by the size of the cutset. In: STOC, pp. 469–478 (2011)
Moshkovitz, D.: The Projection Games Conjecture and The NP-Hardness of ln n-Approximating Set-Cover. In: Gupta, A., Jansen, K., Rolim, J., Servedio, R. (eds.) APPROX/RANDOM 2012. LNCS, vol. 7408, pp. 276–287. Springer, Heidelberg (2012)
Moshkovitz, D., Raz, R.: Two-query PCP with subconstant error. J. ACM 57(5) (2010)
Razgon, I., O’Sullivan, B.: Almost 2-sat is fixed-parameter tractable. J. Comput. Syst. Sci. 75(8), 435–450 (2009)
Zuckerman, D.: Linear degree extractors and the inapproximability of max clique and chromatic number. In: STOC, pp. 681–690 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Chitnis, R., Hajiaghayi, M., Kortsarz, G. (2013). Fixed-Parameter and Approximation Algorithms: A New Look. In: Gutin, G., Szeider, S. (eds) Parameterized and Exact Computation. IPEC 2013. Lecture Notes in Computer Science, vol 8246. Springer, Cham. https://doi.org/10.1007/978-3-319-03898-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-03898-8_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03897-1
Online ISBN: 978-3-319-03898-8
eBook Packages: Computer ScienceComputer Science (R0)