Analyse
Ce qu'a observé le jury
Synthèse Hadamard du rapport officiel — citations, chiffres et conseils du jury.
Présentation du sujet
Sujet Python 2h en 3 parties. Partie I : détection de cycles via parcours en profondeur (DFS) avec dictionnaires globaux époque/sortie/présent/compteur. Vérification efficace qu'un nouvel arc ne crée pas de cycles dans G. Démonstration d'invariants (A2-A4) maintenus pendant l'exécution. Partie II : forme normale et unification dans G — peut être traitée indépendamment de la première. Partie III : forme normale dans le contexte d'une base de données relationnelle.
Structure de l'épreuve
- Partie I — Partie I — Détection de cycles par DFS(Q1-Q?)Difficile
Variables globales : époque, sortie (dictionnaires), présent, compteur (entiers). Fonction pp réalise un parcours en profondeur. Invariants A2 (époque[s] ≤ présent), A3 (époque[s] ≤ époque[t] pour s→t), A4 (époque[s]=époque[t] ⇒ sortie[s] ≥ sortie[t] pour s→t). Q1 : état des dictionnaires après i...
- Partie II — Partie II — Forme normale et unification(—)Difficile
Notions de forme normale et d'unification dans G. Indépendante de la partie I. Détails non extraits.
- Partie III — Partie III — Forme normale dans bases de données relationnelles(—)Difficile
Application de la notion de forme normale au contexte d'une base de données relationnelle. Détails non extraits.
Chapitres clés à maîtriser
Ressources
Téléchargements
Sujet officiel, corrigé Hadamard et rapport jury — tout en un endroit.
FAQ
