Magistère d'Informatique, première année, Complexité
Horraires
Examen
Support de cours; ouvrages et papiers utilisés
- Le polycopié complet (sans les solutions des
exercices)
- Christos H.
Papadimitriou: Computational Complexity, Addison Wesley, 1995, Reading MA.
- C'est
l'ouvrage principal utilisé pour ce cours. Il devrait être disponsible à la
bibliothèque centrale de l'école.
- John
E. Hopcroft and Jeffrey D.
Ullman: Introduction to Automata Theory, Languages, and
Computation, Addison-Wesley, 1979,
Reading MA.
- Utilisé pour quelques matérieux supplémentaires.
- Neil Immerman:
Nondeterministic
Space is Closed Under Complementation, SIAM J. Comput. 17, No. 5
(Oct., 1988), 935-938.
- Joli petit papier, le contenu est aussi dans le Papadimitriou
- Michael
Garey et David S.Johnson:
Computers and Intractability.
W. H. Freeman and Company, 1979.
- S'intéresse principalement à la théorie de la NP-complétude. Bonne
présentation pas trop formelle. Cet ouvrage est très apprécié parmi les
chercheurs pour son catalogue de problèmes NP-complets qui est toujours très
utile, malgré son âge de 25 ans.
Ralf Treinen