Aller au contenu principal

MPI InformatiqueConcours DS TP Langages Graphes Algorithmique IA Concurrence Logique Révisions

Programme Classe MP2I

Codespace Github
TP 1 : Révisions de MP2I
TP 2 : Automates
TP 3 : Algorithme de Berry-Sethi
TP 4 : Algorithme CYK (Cocke-Younger-Kasami)
TP 5 : Algorithme de Kruskal
TP 6 : Couplage maximum dans un graphe biparti
TP 7 : Résolution du taquin avec A*
TP 8 : Problème du bin packing
TP 9 : Arbres de décision ID3
TP 10 : Apprentissage automatique
TP 11 : Preuve automatique en déduction naturelle
TP 12 : Jeu randomisé et route optimale (Centrale 2023)

TP 12 : Jeu randomisé et route optimale (Centrale 2023)

Fichiers à compléter :

randomizer.c
route_optimale.ml

TP 11 : Preuve automatique en déduction naturelle