The main objective of the polynomial approximation is the development of polynomial time algorithms for NP-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.
@article{RO_2002__36_3_237_0, author = {Demange, Marc and Paschos, Vangelis}, title = {Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : formalisme unifi\'e et classes d'approximation}, journal = {RAIRO - Operations Research - Recherche Op\'erationnelle}, pages = {237--277}, publisher = {EDP-Sciences}, volume = {36}, number = {3}, year = {2002}, doi = {10.1051/ro:2003005}, zbl = {1089.68668}, mrnumber = {1988279}, language = {fr}, url = {http://archive.numdam.org/articles/10.1051/ro:2003005/} }
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 - Recherche Opérationnelle PY - 2002 SP - 237 EP - 277 VL - 36 IS - 3 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/ro:2003005/ DO - 10.1051/ro:2003005 LA - fr ID - RO_2002__36_3_237_0 ER -
%0 Journal Article %A Demange, Marc %A Paschos, Vangelis %T Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : formalisme unifié et classes d'approximation %J RAIRO - Operations Research - Recherche Opérationnelle %D 2002 %P 237-277 %V 36 %N 3 %I EDP-Sciences %U http://archive.numdam.org/articles/10.1051/ro:2003005/ %R 10.1051/ro:2003005 %G fr %F RO_2002__36_3_237_0
Demange, Marc; Paschos, Vangelis. Autour de nouvelles notions pour l'analyse des algorithmes d'approximation : formalisme unifié et classes d'approximation. RAIRO - Operations Research - Recherche Opérationnelle, Volume 36 (2002) no. 3, pp. 237-277. doi : 10.1051/ro:2003005. http://archive.numdam.org/articles/10.1051/ro:2003005/
[1] Proof verification and intractability of approximation problems, in Proc. FOCS'92 (1992) 14-23. | Zbl
, , , et ,[2] Complexity and approximation. Combinatorial optimization problems and their approximability properties. Springer, Heildelberg (1999). | Zbl
, , , , et ,[3] Graphs and hypergraphs. North Holland, Amsterdam (1973). | MR | Zbl
,[4] Approximating maximum independent set in bounded degree graphs, in Proc. Symposium on Discrete Algorithms (1994) 365-371. | MR | Zbl
et ,[5] Approximating maximum independent sets by excluding subgraphs. BIT 32 (1992) 180-196. | MR | Zbl
et ,[6] A greedy-heuristic for the set covering problem. Math. Oper. Res. 4 (1979) 233-235. | MR | Zbl
,[7] The complexity of theorem-proving procedures, in Proc. STOC'71 (1971) 151-158. | Zbl
,[8] Differential approximation algorithms for some combinatorial optimization problems. Theoret. Comput. Sci. 209 (1998) 107-122. | MR | Zbl
, et ,[9] Bridging gap between standard and differential polynomial approximation: The case of bin-packing. Appl. Math. Lett. 12 (1999) 127-133. | MR | Zbl
, et ,[10] , Maximizing the number of unused bins. Found. Comput. Decision Sci. 26 (2001) 169-186. | MR
[11] On an approximation measure founded on the links between optimization and polynomial approximation theory. Theoret. Comput. Sci. 158 (1996) 117-141. | MR | Zbl
et ,[12] , Valeurs extrémales d'un problème d'optimisation combinatoire et approximation polynomiale. Math. Inf. Sci. Humaines 135 (1996) 51-66. | Numdam | Zbl
[13] , 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). | Numdam | Zbl
[14] , Improved approximations for maximum independent set via approximation chains. Appl. Math. Lett. 10 (1997) 105-110. | MR | Zbl
[15] , Towards a general formal framework for polynomial approximation. LAMSADE, Université Paris-Dauphine, Cahier du LAMSADE 177 (2001).
[16] Approximation of -set cover by semi-local optimization, in Proc. STOC'97 (1997) 256-265. | Zbl
et ,[17] Zero knowledge and the chromatic number, in Proc. Conference on Computational Complexity (1996) 278-287.
et ,[18] Sur la cardinalité maximum des couplages d'hypergraphes aléatoires uniformes. Discrete Math. 40 (1982) 315-318. | Zbl
,[19] Computers and intractability. A guide sto the theory of NP-completeness. W.H. Freeman, San Francisco (1979). | MR | Zbl
et ,[20] A still better performance guarantee for approximate graph coloring. Inform. Process. Lett. 45 (1993) 19-23. | MR | Zbl
,[21] , Approximations via partitioning. JAIST Research Report IS-RR-95-0003F, Japan Advanced Institute of Science and Technology, Japan (1995).
[22] , Approximating -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. | MR
[23] Greed is good: Approximating independent sets in sparse and bounded-degree graphs, in Proc. STOC'94 (1994) 439-448.
et ,[24] , Improved approximations of independent sets in bounded-degree graphs via subgraph removal. Nordic J. Comput. 1 (1994) 475-492. | MR | Zbl
[25] Maximizing the number of unused colors in the vertex coloring problem. Inform. Process. Lett. 52 (1994) 87-90. | MR | Zbl
et ,[26] Clique is hard to approximate within . Acta Math. 182 (1999) 105-142. | MR | Zbl
,[27] Efficient bounds for the stable set, vertex cover and set packing problems. Discrete Appl. Math. 6 (1983) 243-254. | MR | Zbl
,[28] , Approximation algorithms for NP-hard problems. PWS, Boston (1997).
[29] Fast approximation algorithms for the knapsack and sum of subset problems. J. Assoc. Comput. Mach. 22 (1975) 463-468. | MR | Zbl
et ,[30] Approximation algorithms for combinatorial problems. J. Comput. System Sci. 9 (1974) 256-278. | MR | Zbl
,[31] 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. | MR
,[32] On syntactic versus computational views of approximability. SIAM J. Comput. 28 (1998) 164-191. | MR | Zbl
, , et ,[33] Elements of the theory of computation. Prentice-Hall (1981). | Zbl
et ,[34] On the hardness of approximating minimization problems. J. Assoc. Comput. Mach. 41 (1994) 960-981. | MR | Zbl
et ,[35] Lecture notes on approximation algorithms, Vol. I. Stanford University (1993).
,[36] An analysis of approximations for maximizing submodular set functions. Math. Programming 14 (1978) 265-294. | MR | Zbl
, et ,[37] Combinatorial optimization: Algorithms and complexity. Prentice Hall, New Jersey (1981). | MR | Zbl
et ,[38] 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. | Zbl
et ,[39] New worst-case results for the bin-packing problem. Naval Res. Logistics 41 (1994) 579-585. | Zbl
,[40] On an extremal problem in graph theory (in Hungarian). Mat. Fiz. Lapok 48 (1941) 436-452. | Zbl
,[41] Approximation algorithms. Springer, Heildelberg (2001). | MR | Zbl
,Cited by Sources: