Hostname: page-component-5c6d5d7d68-tdptf Total loading time: 0 Render date: 2024-08-15T22:40:52.988Z Has data issue: false hasContentIssue false

Differential approximation of NP-hard problems with equal size feasible solutions

Published online by Cambridge University Press:  15 July 2003

Jérôme Monnot*
Affiliation:
LAMSADE, Université Paris-Dauphine, place du Maréchal de Lattre de Tassigny, 75775 Paris Cedex 16, France; monnot@lamsade.dauphine.fr.
Get access

Abstract

In this paper, we focus on some specific optimization problems from graph theory, those for which all feasible solutions have an equal size that depends on the instance size. Once having provided a formal definition of this class of problems, we try to extract some of its basic properties; most of these are deduced from the equivalence, under differential approximation, between two versions of a problem π which only differ on a linear transformation of their objective functions. This is notably the case of maximization and minimization versions of π, as well as general minimization and minimization with triangular inequality versions of π. Then, we prove that some well known problems do belong to this class, such as special cases of both spanning tree and vehicles routing problems. In particular, we study the strict rural postman problem (called SRPP) and show that both the maximization and the minimization versions can be approximately solved, in polynomial time, within a differential ratio bounded above by 1/2. From these results, we derive new bounds for standard ratio when restricting edge weights to the interval [a,ta] (the SRPP[t] problem): we respectively provide a 2/(t+1)- and a (t+1)/2t-standard approximation for the minimization and the maximization versions.

Type
Research Article
Copyright
© EDP Sciences, 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Aggarwal, A., Imai, H., Katoh, N. and Suri, S., Finding k points with minimum diameter and related problems. J. Algorithms 12 (1991) 38-56. CrossRef
A. Aiello, E. Burattini, M. Massarotti and F. Ventriglia, A new evaluation function for approximation. Sem. IRIA (1977).
Alfandari, L. and Paschos, V.Th., Approximating the minimum rooted spanning tree with depth two. Int. Trans. Oper. Res. 6 (1999) 607-622. CrossRef
G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti Spaccamela and M. Protasi, Complexity and approximation: Combinatorial optimization problems and their approximability properties. Springer Verlag (1999).
Ausiello, G., Crescenzi, P. and Protasi, M., Approximate solutions of NP-optimization problems. Theoret. Comput. Sci. 150 (1995) 1-55. CrossRef
Ausiello, G., D'Atri, A. and Protasi, M., Structure preserving reductions among convex optimization problems. J. Comput. System Sci. 21 (1980) 136-153. CrossRef
N. Christofides, Worst-case analysis of a new heuristic for the traveling salesman problem. Technical Report 338 Grad School of Indistrial Administration, CMU (1976).
Cornuejols, G., Fisher, M.L. and Memhauser, G.L., Location of bank accounts to optimize float: An analytic study of exact and approximate algorithms. Management Sci. 23 (1977) 789-810. CrossRef
P. Crescenzi and V. Kann, A compendium of NP-optimization problems. Available on www address: http://www.nada.kth.se/ viggo/problemlist/compendium.html (1998).
Crescenzi, P. and Panconesi, A., Completness in approximation classes. Inform. and Comput. 93 (1991) 241-262. CrossRef
M. Demange, D. de Werra and J. Monnot, Weighted node coloring: When stable sets are expensive (extended abstract), in Proc. WG 02. Springer Verlag, Lecture Notes in Comput. Sci. 2573 (2002) 114-125.
Demange, M., Grisoni, P. and Paschos, V.Th., Differential approximation algorithms for some combinatorial optimization problems. Theoret. Comput. Sci. 209 (1998) 107-122. CrossRef
Demange, M., Monnot, J. and Paschos, V.Th., Bridging gap between standard and differential polynomial approximation: The case of bin-packing. Appl. Math. Lett. 12 (1999) 127-133. CrossRef
M. Demange, J. Monnot and V.Th. Paschos, Differential approximation results for the Steiner tree problem. Appl. Math. Lett. (to appear).
M. Demange and V.Th. Paschos, On an approximation measure founded on the links between optimization and polynomial approximation theory. Theoret. Comput. Sci. 156 (1996)117-141.
H.A. Eiselt, M. Gendreau and G. Laporte, Arc routing problems, part II: The rural postman problem. Oper. Res. (Survey, Expository and Tutorial) 43 (1995) 399-414.
L. Engebretsen and M. Karpinski, Approximation hardness of TSP with bounded metrics. Available on www address: http://www.nada.kth.se/ enge/enge.bib (2002). ECCC Report TR00-089 (2000).
Fisher, M.L., Nemhauser, G.L. and Wolsey, L.A., An analysis of approximations for finding a maximum weight hamiltonian circuit. Oper. Res. 27 (1979) 799-809. CrossRef
Frederickson, G.N., Approximation algorithm for some postman problems. J. ACM 26 (1979) 538-554. CrossRef
M.R. Garey and D.S. Johnson, Computers and intractability. A guide to the theory of NP-completeness. CA. Freeman (1979).
N. Garg, A 3-approximation for the minimum tree spanning k vertices. In Proc. FOCS (1996) 302-309.
Gouveia, L., Multicommodity flow models for spanning tree with hop constraints. Eur. J. Oper. Res. 95 (1996) 178-190. CrossRef
Gouveia, L., Using variable redefinition for computing lower bounds for minimum spanning and Steiner trees with hop constraints. J. Comput. 10 (1998) 180-188.
Gouveia, L. and Janssen, E., Designing reliable tree with two cable technologies. Eur. J. Oper. Res. 105 (1998) 552-568. CrossRef
Guttmann-Beck, N., Hassin, R., Khuller, S. and Raghavachari, B., Approximation algorithms with bounded performance guarantees for the clustered traveling salesman problem. Algorithmica 4 (2000) 422-437. CrossRef
M.M. Halldorsson, K. Iwano, N. Katoh and T. Tokuyama, Finding subsets maximizing minimum structures, in Proc. SODA (1995) 150-159.
Hassin, R. and Khuller, S., z-approximations. J. Algorithms 41 (2002) 429-442. CrossRef
Hassin, R. and Rubinstein, S., An approximation algorithm for maximum packing of 3-edge paths. Inform. Process. Lett. 6 (1997) 63-67. CrossRef
D. Hochbaum, Approximation algorithms for NP-hard problems. P.W.S (1997).
Hoogeveen, J.A., Analysis of christofides' heuristic: Some paths are more difficult than cycles. Oper. Res. Lett. 10 (1991) 291-295. CrossRef
D.S. Johnson and C.H. Papadimitriou, Performance guarantees for heuristics, edited by E.L. Lawler, J.K. Lenstra, A.H.G. Rinnooy Kan and D.B. Shmoys, The Traveling Salesman Problem: A guided tour of Combinatorial Optimization. Wiley, Chichester (1985) 145-180.
R.M. Karp, Reducibility among combinatorial problems, edited by R.E Miller and J.W. Thatcher, Complexity of Computer Computations. Plenum Press, NY (1972) 85-103.
D.G. Kirkpatrick and P. Hell, The complexity of a generalized matching problem, in Proc. STOC (1978) 240-245.
G. Kortsarz and D. Peleg, Approximating shallow-light trees, in Proc. SODA (1997) 103-110.
S.R. Kosaraju, J.K. Park and C. Stein, Long tours and short superstrings, in Proc. FOCS (1994) 166-177.
T. Magnanti and L. Wolsey, Optimal trees, Network models. North-Holland, Handbooks Oper. Res. Management Sci. 7 (1995) 503-615.
P. Manyem and M.F.M. Stallmann, Some approximation results in multicasting, Working Paper. North Carolina State University (1996).
Mitchell, J.S.B., Guillotine subdivisions approximate polygonal subdivisions: Part II - A simple polynomial-time approximation scheme for geometric TSP, k-MST, and related problems. SIAM J. Comput. 28 (1999) 1298-1309. CrossRef
J. Monnot, Families of critical instances and polynomial approximation, Ph.D. Thesis. LAMSADE, Université Paris IX, Dauphine (1998) (in French).
Monnot, J., The maximum f-depth spanning tree problem. Inform. Process. Lett. 80 (2001) 179-187. CrossRef
Monnot, J., Paschos, V.Th. and Toulouse, S., Differential approximation results for traveling salesman problem with distance 1 and 2 (extended abstract). Proc. FCT 2138 (2001) 275-286.
J. Monnot, V.Th. Paschos and S. Toulouse, Approximation polynomiale des problèmes NP-difficiles: optima locaux et rapport différentiel. Édition HERMÈS Science Lavoisier (2003).
J.S. Naor and B. Schieber, Improved approximations for shallow-light spanning trees, in Proc. FOCS (1997) 536-541.
Orloff, C.S., A fundamental problem in vehicle routing. Networks 4 (1974) 35-64. CrossRef
P. Orponen and H. Mannila, On approximation preserving reductions: Complete problems and robust measures, Technical Report C-1987-28. Department of Computer Science, University of Helsinki (1987).
Ravi, R., Sundaram, R., Marathe, M.V., Rosenkrants, D.J. and Ravi, S.S., Spanning tree short or small. SIAM J. Discrete Math. 9 (1996) 178-200. CrossRef
Sahni, S. and Gonzalez, T., P-complete approximation problems. J. ACM 23 (1976) 555-565. CrossRef
Vavasis, S.A., Approximation algorithms for indefinite quadratic programming. Math. Programming 57 (1972) 279-311. CrossRef
Zemel, E., Measuring the quality of approximate solutions to zero-one programming problems. Math. Oper. Res. 6 (1981) 319-332. CrossRef