×

Exponential-time approximation of weighted set cover. (English) Zbl 1202.68482

Summary: The Set Cover problem belongs to a group of hard problems which are neither approximable in polynomial time (at least with a constant factor) nor fixed parameter tractable, under widely believed complexity assumptions. In recent years, many researchers design exact exponential-time algorithms for problems of that kind. The goal is getting the time complexity still of order \(O(c^n)\), but with the constant \(c\) as small as possible. In this work we extend this line of research and we investigate whether the constant \(c\) can be made even smaller when one allows constant factor approximation.In fact, we describe a kind of approximation schemes-trade-offs between approximation factor and the time complexity. We use general transformations from exponential-time exact algorithms to approximations that are faster but still exponential-time. For example, we show that for any reduction rate \(r\), one can transform any \(O^{*}(c^n)\)-time\(^{1}\) algorithm for Set Cover into a (1+\(\ln r\))-approximation algorithm running in time \(O^{*}(c^n/r)\). We believe that results of that kind extend the applicability of exact algorithms for NP-hard problems.

MSC:

68W25 Approximation algorithms
Full Text: DOI

References:

[1] A. Björklund, T. Husfeldt, Exact algorithms for exact satisfiability and number of perfect matchings, in: Proc. ICALP’06, 2006, pp. 548-559; A. Björklund, T. Husfeldt, Exact algorithms for exact satisfiability and number of perfect matchings, in: Proc. ICALP’06, 2006, pp. 548-559 · Zbl 1170.68651
[2] A. Björklund, T. Husfeldt, Inclusion-exclusion algorithms for counting set partitions, in: Proc. FOCS’06, 2006, pp. 575-582; A. Björklund, T. Husfeldt, Inclusion-exclusion algorithms for counting set partitions, in: Proc. FOCS’06, 2006, pp. 575-582
[3] A. Björklund, T. Husfeldt, M. Koivisto, Set partitioning via inclusion-exclusion, SIAM J. Comput., Special Issue for FOCS 2006, in press; A. Björklund, T. Husfeldt, M. Koivisto, Set partitioning via inclusion-exclusion, SIAM J. Comput., Special Issue for FOCS 2006, in press
[4] N. Bourjeois, B. Escoffier, V.T. Paschos, Efficient approximation by “low-complexity” exponential algorithms, Technical Report 271, LAMSADE, Université Paris Dauphine, 2008; N. Bourjeois, B. Escoffier, V.T. Paschos, Efficient approximation by “low-complexity” exponential algorithms, Technical Report 271, LAMSADE, Université Paris Dauphine, 2008
[5] Bourgeois, N.; Escoffier, B.; Paschos, V. T., Efficient approximation of Min Set Cover by moderately exponential algorithms, Theor. Comput. Sci., 410, 21-23, 2184-2195 (2009) · Zbl 1166.68043
[6] J. Chen, I.A. Kanj, G. Xia, Improved parameterized upper bounds for vertex cover, in: Proc. MFCS’06, 2006, pp. 238-249; J. Chen, I.A. Kanj, G. Xia, Improved parameterized upper bounds for vertex cover, in: Proc. MFCS’06, 2006, pp. 238-249 · Zbl 1132.68421
[7] Cygan, M.; Kowalik, L.; Pilipczuk, M.; Wykurz, M., Exponential-time approximation of hard problems
[8] Dantsin, E.; Gavrilovich, M.; Hirsch, E. A.; Konev, B., MAX SAT approximation beyond the limits of polynomial-time approximation, Ann. Pure Appl. Logic, 113, 1-3, 81-94 (2001) · Zbl 0990.03006
[9] Downey, R. G.; Fellows, M. R., Parameterized Complexity (1999), Springer · Zbl 0914.68076
[10] Feige, U., A threshold of \(\ln n\) for approximating set cover, J. ACM, 45, 4, 634-652 (1998) · Zbl 1065.68573
[11] Feige, U.; Kilian, J., Zero knowledge and the chromatic number, J. Comput. System Sci., 57, 2, 187-199 (1998) · Zbl 0921.68089
[12] F.V. Fomin, F. Grandoni, D. Kratsch, Measure and conquer: a simple \(O(2^{0.288 n})\) independent set algorithm, in: Proc. SODA’06, 2006, pp. 18-25; F.V. Fomin, F. Grandoni, D. Kratsch, Measure and conquer: a simple \(O(2^{0.288 n})\) independent set algorithm, in: Proc. SODA’06, 2006, pp. 18-25 · Zbl 1192.68960
[13] Gurevich, Y.; Shelah, S., Expected computation time for hamiltonian path problem, SIAM J. Comput., 16, 3, 486-502 (1987) · Zbl 0654.68083
[14] Håstad, J., Clique is hard to approximate within \(n^{1 - \&z.epsi;}\), Acta Math., 182, 1, 105-142 (1999) · Zbl 0989.68060
[15] Ibarra, O. H.; Kim, C. E., Fast approximation algorithms for the knapsack and sum of subset problems, J. ACM, 22, 4, 463-468 (1975) · Zbl 0345.90049
[16] Marx, D., Parameterized complexity and approximation algorithms, Computer J., 51, 1, 60-78 (2008)
[17] V. Vassilevska, R. Williams, S.L.M. Woo, Confronting hardness using a hybrid approach, in: Proc. SODA’06, 2006, pp. 1-10; V. Vassilevska, R. Williams, S.L.M. Woo, Confronting hardness using a hybrid approach, in: Proc. SODA’06, 2006, pp. 1-10 · Zbl 1192.68381
[18] Vazirani, V. V., Approximation Algorithms (2001), Springer · Zbl 1138.90417
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.