La plupart des problèmes d’optimisation combinatoire sont NP-difficiles, c’est-à-dire qu’ils ne peuvent être résolus en temps polynomial que si les classes P et NP sont identiques. Depuis trois décennies, les chercheurs essaient donc de concevoir des algorithmes d’approximation qui fournissent, en temps polynomial, des solutions «quasi-optimales» dont l’écart à l’optimum peut être borné supérieurement. Depuis quinze ans, ces chercheurs ont décrit de nouvelles techniques, basées sur l’arrondissement des valeurs de programmes linéaires, la programmation semi-définie et le plongement des espaces métriques. Ils ont aussi montré, en utilisant par exemple le théorème PCP, qu’il était difficile de trouver des solutions rapprochées à certains problèmes. En particulier, Khot, Kindler, Mossel et O’Donnell [2005] ont prouvé récemment qu’il n’était pas possible d’améliorer la borne de l’algorithme de Goemans et Williamson [1995] pour le problème de la coupe maximale (en supposant que P et NP ne sont pas identiques et que la conjecture des jeux uniques est vraie). Les conférenciers invités à cet atelier feront le point sur les résultats récents, c’est-à-dire les algorithmes eux-mêmes et les «résultats négatifs».

CONFÉRENCIERS INVITÉS

Matthew Andrews (Bell Labs)
Sanjeev Arora (Princeton University)
Sylvia Boyd (University of Ottawa)
Moses Charikar (Princeton University)
Chandra Chekuri (University of Illinois at Urbana-Champaign)
Kevin Cheung (Carleton University)
Uriel Feige (Microsoft Research)
Lisa Fleischer (T.J. Watson Research Center, IBM)
Naveen Garg (Indian Institute of Technology)
Anupam Gupta (Carnegie Mellon University)
Kamal Jain (Microsoft Research)
Howard Karloff (AT&T Labs-Research)
Subhash Khot (Georgia Tech)
Guy Kindler (Microsoft Research)
Jochen Konemann (University of Waterloo)
Guy Kortsarz (Rutgers University)
Robert Krauthgamer (IBM Almaden Research Center)
Lap Chi Lau (University of Toronto)
Mohammad Mahdian (Microsoft Research)
Vahab Mirrokni (MIT)
Yuval Rabani (Technion)
R. Ravi (Carnegie Mellon University)
Mohammad R. Salavatipour (University of Alberta)
Andreas S. Schulz (MIT)
Bruce Shepherd (Bell Labs)
David B. Shmoys (Cornell University)
Santosh Vempala (MIT)
Adrian Vetta (McGill University)
Jan Vondrak (Microsoft Research)
David Williamson (Cornell University)