Mines-Ponts 2026 — Informatique I MPI : sujet et corrigé

5 parties corrigées, avec un corrigé rédigé · filière MPI.

• Partie 1 (Q1 à Q3) — Puissance rapide et écriture binaire des lettres
• Partie 2 (Q4 à Q13) — Automates sur les vecteurs binaires, déterminisation, produit
• Partie 3 (Q14 à Q16) — Automate additionneur, multiplication non reconnaissable
• Partie 4 (Q17 à Q22) — Arithmétique de Presburger, forme simple, déduction naturelle
• Partie 5 (Q23 à Q30) — Réduction depuis SAT, des formules aux automates : décidabilité