Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : formalisme unifié et classes d'approximation

Marc Demange; Vangelis Paschos

RAIRO - Operations Research (2010)

  • Volume: 36, Issue: 3, page 237-277
  • ISSN: 0399-0559

Abstract

top
The main objective of the polynomial approximation is the development of polynomial time algorithms for -hard problems, these algorithms guaranteeing feasible solutions lying “as near as possible” to the optimal ones. This work is the fist part of a couple of papers where we introduce the key-concepts of the polynomial approximation and present the main lines of a new formalism. Our purposes are, on the one hand, to present this theory and its objectives and, on the other hand, to discuss the appropriateness and the pertinence of its constitutive elements, as people knew them until now, and to propose their enrichment. Henceforth, these papers are addressed to both domain researchers and non-specialist readers. We particularly quote the great theoretical and operational interest in constructing an internal structure for the class NPO (of the optimization problems in NP). In this fist part, we focus on some basic tools allowing the individual evaluation of the approximability properties of any NP-hard problem. We present and discuss notions as algorithmic chain, approximation level, hardness threshold and two notions of limits (with respect to algorithmic chains and with respect to problems instances). The notions dealt in the paper are presented together with several illustrative examples.

How to cite

top

Demange, Marc, and Paschos, Vangelis. "Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : formalisme unifié et classes d'approximation." RAIRO - Operations Research 36.3 (2010): 237-277. <http://eudml.org/doc/105273>.

@article{Demange2010,
abstract = { Cet article est le premier d'une série de deux articles où nous présentons les principales caractéristiques d'un nouveau formalisme pour l'approximation polynomiale (algorithmique polynomiale à garanties de performances pour les problèmes NP-difficiles). Ce travail est l'occasion d'un regard critique sur ce domaine et de discussions sur la pertinence des notions usuelles. Il est aussi l'occasion de se familiariser avec l'approximation polynomiale, de comprendre ses enjeux et ses méthodes. Ces deux articles s'adressent donc autant aux spécialistes qu'aux non spécialistes de ce domaine. Nous insistons tout particulièrement sur l'intérêt, tant théorique qu'opérationnel, de mettre en évidence une structure au sein de la classe NPO des problèmes d'optimisation de NP. Dans ce premier article, nous nous intéressons aux outils qui permettent d'évaluer, dans l'absolu, les propriétés d'approximation de problèmes difficiles. Nous discutons notamment les notions de chaînes d'approximation, de niveau d'approximation, d'ordre de difficulté ainsi que deux notions de limites (par rapport à une suite d'algorithmes et par rapport aux instances). Chaque notion est largement discutée et illustrée par de nombreux exemples choisis essentiellement pour leur valeur pédagogique.
 Mots Clés. Complexité, difficulté intrinsèque, analyse des algorithmes et des problèmes, algorithmes d'approximation. Classification Mathématique. 68Q15, 68Q17, 68Q25, 68W25. },
author = {Demange, Marc, Paschos, Vangelis},
journal = {RAIRO - Operations Research},
language = {fre},
month = {3},
number = {3},
pages = {237-277},
publisher = {EDP Sciences},
title = {Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : formalisme unifié et classes d'approximation},
url = {http://eudml.org/doc/105273},
volume = {36},
year = {2010},
}

TY - JOUR
AU - Demange, Marc
AU - Paschos, Vangelis
TI - Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : formalisme unifié et classes d'approximation
JO - RAIRO - Operations Research
DA - 2010/3//
PB - EDP Sciences
VL - 36
IS - 3
SP - 237
EP - 277
AB - Cet article est le premier d'une série de deux articles où nous présentons les principales caractéristiques d'un nouveau formalisme pour l'approximation polynomiale (algorithmique polynomiale à garanties de performances pour les problèmes NP-difficiles). Ce travail est l'occasion d'un regard critique sur ce domaine et de discussions sur la pertinence des notions usuelles. Il est aussi l'occasion de se familiariser avec l'approximation polynomiale, de comprendre ses enjeux et ses méthodes. Ces deux articles s'adressent donc autant aux spécialistes qu'aux non spécialistes de ce domaine. Nous insistons tout particulièrement sur l'intérêt, tant théorique qu'opérationnel, de mettre en évidence une structure au sein de la classe NPO des problèmes d'optimisation de NP. Dans ce premier article, nous nous intéressons aux outils qui permettent d'évaluer, dans l'absolu, les propriétés d'approximation de problèmes difficiles. Nous discutons notamment les notions de chaînes d'approximation, de niveau d'approximation, d'ordre de difficulté ainsi que deux notions de limites (par rapport à une suite d'algorithmes et par rapport aux instances). Chaque notion est largement discutée et illustrée par de nombreux exemples choisis essentiellement pour leur valeur pédagogique.
 Mots Clés. Complexité, difficulté intrinsèque, analyse des algorithmes et des problèmes, algorithmes d'approximation. Classification Mathématique. 68Q15, 68Q17, 68Q25, 68W25.
LA - fre
UR - http://eudml.org/doc/105273
ER -

References

top
  1. S. Arora, C. Lund, R. Motwani, M. Sudan et M. Szegedy, Proof verification and intractability of approximation problems, in Proc. FOCS'92 (1992) 14-23.  
  2. G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela et M. Protasi, Complexity and approximation. Combinatorial optimization problems and their approximability properties. Springer, Heildelberg (1999).  
  3. C. Berge, Graphs and hypergraphs. North Holland, Amsterdam (1973).  
  4. P. Berman et M. Fürer, Approximating maximum independent set in bounded degree graphs, in Proc. Symposium on Discrete Algorithms (1994) 365-371.  
  5. B.B. Boppana et M.M. Halldórsson, Approximating maximum independent sets by excluding subgraphs. BIT32 (1992) 180-196.  
  6. V. Chvátal, A greedy-heuristic for the set covering problem. Math. Oper. Res.4 (1979) 233-235.  
  7. S.A. Cook, The complexity of theorem-proving procedures, in Proc. STOC'71 (1971) 151-158.  
  8. M. Demange, P. Grisoni et V.T. Paschos, Differential approximation algorithms for some combinatorial optimization problems. Theoret. Comput. Sci.209 (1998) 107-122.  
  9. M. Demange, J. Monnot et V.T. Paschos, Bridging gap between standard and differential polynomial approximation: The case of bin-packing. Appl. Math. Lett.12 (1999) 127-133.  
  10. height 2pt depth -1.6pt width 23pt, Maximizing the number of unused bins. Found. Comput. Decision Sci.26 (2001) 169-186.  
  11. M. Demange et V.T. Paschos, On an approximation measure founded on the links between optimization and polynomial approximation theory. Theoret. Comput. Sci.158 (1996) 117-141.  
  12. height 2pt depth -1.6pt width 23pt, Valeurs extrémales d'un problème d'optimisation combinatoire et approximation polynomiale. Math. Inf. Sci. Humaines135 (1996) 51-66.  
  13. height 2pt depth -1.6pt width 23pt, Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : de la structure de NPO à la structure des instances. RAIRO: Oper. Res. (à paraître).  
  14. height 2pt depth -1.6pt width 23pt, Improved approximations for maximum independent set via approximation chains. Appl. Math. Lett.10 (1997) 105-110.  
  15. height 2pt depth -1.6pt width 23pt, Towards a general formal framework for polynomial approximation. LAMSADE, Université Paris-Dauphine, Cahier du LAMSADE177 (2001).  
  16. R. Duh et M. Fürer, Approximation of k-set cover by semi-local optimization, in Proc. STOC'97 (1997) 256-265.  
  17. U. Feige et J. Kilian, Zero knowledge and the chromatic number, in Proc. Conference on Computational Complexity (1996) 278-287.  
  18. W. Fernandez de la Vega, Sur la cardinalité maximum des couplages d'hypergraphes aléatoires uniformes. Discrete Math.40 (1982) 315-318.  
  19. M.R. Garey et D.S. Johnson, Computers and intractability. A guide sto the theory of NP-completeness. W.H. Freeman, San Francisco (1979).  
  20. M.M. Halldórsson, A still better performance guarantee for approximate graph coloring. Inform. Process. Lett.45 (1993) 19-23.  
  21. height 2pt depth -1.6pt width 23pt, Approximations via partitioning. JAIST Research Report IS-RR-95-0003F, Japan Advanced Institute of Science and Technology, Japan (1995).  
  22. height 2pt depth -1.6pt width 23pt, Approximating k-set cover and complementary graph coloring, in Proc. International Integer Programming and Combinatorial Optimization Conference. Springer Verlag, Lecture Notes in Comput. Sci.1084 (1996) 118-131.  
  23. M.M. Halldórsson et J. Radhakrishnan, Greed is good: Approximating independent sets in sparse and bounded-degree graphs, in Proc. STOC'94 (1994) 439-448.  
  24. height 2pt depth -1.6pt width 23pt, Improved approximations of independent sets in bounded-degree graphs via subgraph removal. Nordic J. Comput.1 (1994) 475-492.  
  25. R. Hassin et S. Lahav, Maximizing the number of unused colors in the vertex coloring problem. Inform. Process. Lett.52 (1994) 87-90.  
  26. J. Håstad, Clique is hard to approximate within n1-ε. Acta Math.182 (1999) 105-142.  
  27. D.S. Hochbaum, Efficient bounds for the stable set, vertex cover and set packing problems. Discrete Appl. Math.6 (1983) 243-254.  
  28. height 2pt depth -1.6pt width 23pt, Approximation algorithms for NP-hard problems. PWS, Boston (1997).  
  29. O.H. Ibarra et C.E. Kim, Fast approximation algorithms for the knapsack and sum of subset problems. J. Assoc. Comput. Mach.22 (1975) 463-468.  
  30. D.S. Johnson, Approximation algorithms for combinatorial problems. J. Comput. System Sci.9 (1974) 256-278.  
  31. R.M. Karp, Reducibility among combinatorial problems, dans Complexity of computer computations, édité par R.E. Miller et J.W. Thatcher. Plenum Press, New York (1972) 85-103.  
  32. S. Khanna, R. Motwani, M. Sudan et U. Vazirani, On syntactic versus computational views of approximability. SIAM J. Comput.28 (1998) 164-191.  
  33. H.R. Lewis et C.H. Papadimitriou, Elements of the theory of computation. Prentice-Hall (1981).  
  34. C. Lund et M. Yannakakis, On the hardness of approximating minimization problems. J. Assoc. Comput. Mach.41 (1994) 960-981.  
  35. R. Motwani, Lecture notes on approximation algorithms, Vol. I. Stanford University (1993).  
  36. G.L. Nemhauser, L.A. Wolsey et M.L. Fischer, An analysis of approximations for maximizing submodular set functions. Math. Programming14 (1978) 265-294.  
  37. C.H. Papadimitriou et K. Steiglitz, Combinatorial optimization: Algorithms and complexity. Prentice Hall, New Jersey (1981).  
  38. R. Raz et S. Safra, A sub-constant error probability low-degree test and a sub-constant error probability PCP characterization of NP, in Proc. STOC'97 (1997) 475-484.  
  39. D. Simchi-Levi, New worst-case results for the bin-packing problem. Naval Res. Logistics41 (1994) 579-585.  
  40. P. Turán, On an extremal problem in graph theory (in Hungarian). Mat. Fiz. Lapok48 (1941) 436-452.  
  41. V. Vazirani, Approximation algorithms. Springer, Heildelberg (2001).  

NotesEmbed ?

top

You must be logged in to post comments.