Les propositions de projets de M1. Vous devrez faire votre choix (en contactant directement les encadrants) pour le 26 Janvier.
Attention les projets s'affichent sur plusieurs pages!
* Pré-requis:
Connaissances en algorithmique et programmation linéaire
Goût pour la programmation (langage C, C++, java)
Goût pour l'étude théorique de problème combinatoire
Il s'agit de construire une machine de Turing avec des allumettes. La validation du projet se fera en écrivant une preuve automatique de P = NP, ou pas.