Abstract.
In the test cover problem a set of m items is given together with a collection of subsets, called tests. A smallest subcollection of tests is to be selected such that for each pair of items there is a test in the selection that contains exactly one of the two items. It is known that the problem is NP-hard and that the greedy algorithm has a performance ratio O(log m). We observe that, unless P=NP, no polynomial-time algorithm can do essentially better. For the case that each test contains at most k items, we give an O(log k)-approximation algorithm. We pay special attention to the case that each test contains at most two items. A strong relation with a problem of packing paths in a graph is established, which implies that even this special case is NP-hard. We prove APX-hardness of both problems, derive performance guarantees for greedy algorithms, and discuss the performance of a series of local improvement heuristics.
Similar content being viewed by others
References
De Bontridder, K.M.J., Halldórsson, B.V., Halldórsson, M.M., Hurkens, C.A.J., Lenstra, J.K., Ravi, R., Stougie, L.: Local improvement algorithms for a path packing problem: a performance analysis based on linear programming. In preparation, 2003
De Bontridder, K.M.J., Lageweg, B.J., Lenstra, J.K., Orlin, J.B., Stougie, L.: Branch-and-bound algorithms for the test cover problem. R.H. Möhring, R. Raman (eds.). Algorithms – ESA 2002, LNCS, Springer, Berlin, 2002, pp. 223–233
Feige, U.: A threshold of ln n for approximating set cover. Journal of the ACM 45, 634–652 (1998)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-completeness, Freeman, San Francisco, 1979
Halldórsson, B.V., Halldórsson, M.M., Ravi, R.: On the approximability of the minimum test collection problem. F. Meyer auf der Heide (ed.). Algorithms–-ESA 2001, LNCS 2161, Springer, Berlin, 2001, pp. 158–169
Halldórsson, B.V., Minden, J.S., Ravi, R.: PIER: Protein identification by epitope recognition. N. El-Mabrouk, T. Lengauer, D. Sankoff (eds.). Currents in Computational Molecular Biology 2001, pp. 109–110
Hurkens, C.A.J., Schrijver, A.: On the size of systems of sets every t of which have an SDR, with an application to the worst-case ratio of heuristics for packing problems. SIAM J Discr. Math. 2, 68–72 (1989)
Johnson, D.S.: Approximation algorithms for combinatorial problems. Journal of Computer and System Sciences 9, 256–278 (1972)
Johnson, D.S.: The NP-completeness column: an ongoing guide. J Algo. 4, 393–405 (1981)
Kann, V.: On the approximability of NP-complete optimization problems, PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 1992
Kirkpatrick, D.G., Hell, P.: On the complexity of a generalized matching problem. Proceedings of the Tenth Annual ACM Symposium on Theory of Computing. 1978, pp. 240–245
Kolen, A.W.J., Lenstra, J.K.: Combinatorics in operations research. R. Graham, M. Grötschel, L. Lovász (eds.). Handbook of Combinatorics, Elsevier Science, Amsterdam, 1995, pp. 1875–1910
Lageweg, B.J., Lenstra, J.K., Rinnooy Kan, A.H.G.: Uit de practijk van de besliskunde. A.K. Lenstra, H.W. Lenstra, J.K. Lenstra (eds.), Tamelijk briljant; Opstellen aangeboden aan Dr. T.J. Wansbeek, Amsterdam. 1980
Lovász, L.: On the ratio of optimal integral and fractional covers. Discr. Math. 13, 383–390 (1975)
Moret, B.M.E., Shapiro, H.D.: On minimizing a set of tests. SIAM J Scien. Statis. Comp. 6, 983–1003 (1985)
Petrank, E.: The hardness of approximations: gap location. Computational Complexity 4, 133–157 (1994)
Raz, R., Safra, S.: . A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP. Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing 475–484 (1997)
Author information
Authors and Affiliations
Corresponding author
Additional information
Partially supported by the Future and Emerging Technologies Programme of the EU under contract number IST-1999-14186 (ALCOM-FT).
Partially supported by a Merck Computational Biology and Chemistry Program Graduate Fellowship from the Merck Company Foundation.
Also Iceland Genomics Corporation
Partially supported by subcontract No. 16082-RFP-00-2C in the area of ``Combinatorial Optimization in Biology (XAXE),'' Los Alamos National Laboratories, and NSF grant CCR-0105548.
Mathematics Subject Classification: 90B27
Rights and permissions
About this article
Cite this article
De Bontridder, K., Halldórsson, B., Halldórsson, M. et al. Approximation algorithms for the test cover problem. Math. Program., Ser. B 98, 477–491 (2003). https://doi.org/10.1007/s10107-003-0414-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-003-0414-6