Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Complexité algébrique
Thème :
Complexité
–
Cursus :
ENS-Lyon - M2
2006 - 2007
Notes de cours
Sur le modèle de Valiant.
Pascal Koiran
Cours 1
Cours 2
Article lié au cours
TDs
Sur le modèle BSS (pas composés spécifiquement pour le cours sur le modèle de Valiant). 3 TDs d'une heure, en anglais, dans le cadre du séminaire ModNet :
http://www.logique.jussieu.fr/modnet/
. L'atelier de formation :
http://math.univ-lyon1.fr/~logicum/francais/modnetlyonfr.htm
.
Sylvain Périfel
TD1 : problèmes NP-complets sur R et C (HN, 4FEAS)
TD2 : élimination des quantificateurs, machine de Turing algébrique
TD3 : non-déterminisme booléen, parties booléennes, théorème de transfert