CCINP Informatique optionnelle MP 2024

Thème de l'épreuve	Coloration de graphes, satisfiabilité d'une formule propositionnelle, automates et reconnaissance de motifs
Principaux outils utilisés	programmation OCaml, programmation Python, graphes, logique, automates
Mots clefs	coloration, Welsh-Powel, satisfiabilité, CNF-SAT, forme normale conjonctive, déduction naturelle, reconnaissance de motifs, bord

Corrigé

 : 👈 gratuite pour tous les corrigés si tu crées un compte
👈 l'accès aux indications de tous les corrigés ne coûte que 5 € ⬅ clique ici
👈 gratuite pour tous les corrigés si tu crées un compte
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Énoncé complet

(télécharger le PDF)