Stages de Pré-Rentrée — Inscriptions ouvertes, places très limitées ! S'inscrire

Annale · 2017★★★Niveau moyenSession du 29 avril 2017· 1 498 candidats

Option Info Centrale-Supélec MP 2017 — sujet, corrigé et rapport jury

Sujet d'option informatique 2017 sur les mots synchronisants : étude théorique puis algorithmes en Caml manipulant vecteurs, listes et structures construites. Moyenne 10.21, σ=3.60, médiane 10.0.

Mohamed K.

Mohamed K.

Centralien · MPSI puis MP · Recherche ML santé

Aperçu rapide

Difficulté

★★★Niveau moyen

Moyenne

10.21/20

Top 25%

12.7

Présents

1 498

Top piège du sujet : Confusion Caml / Python, rigueur insuffisante

Statistiques jury

Comment les candidats s'en sont sortis

Notes brutes officielles publiées par le jury — non harmonisées.

Moyenne

10.21

Médiane

10.0

Écart-type

3.60

Q1 (25%)

7.5

Q3 (75%)

12.7

Candidats présents

1 498

sur 1 588 inscrits · 5.7% d'absents

Analyse

Ce qu'a observé le jury

Synthèse Hadamard du rapport officiel — citations, chiffres et conseils du jury.

Présentation du sujet

Le sujet 2017 de l'option informatique traite des mots synchronisants, utiles pour rétablir un état particulier d'une machine à partir d'une situation quelconque. Après une étude théorique, la mise en œuvre des algorithmes demandés nécessite la manipulation de vecteurs, de listes et de structures construites. Un peu de logique et quelques études de complexité complètent le sujet. Le problème est découpé en parties indépendantes, mais il faut bien lire les hypothèses.

Structure de l'épreuve

  1. Partie IÉtude théorique des automates et mots synchronisants(I.A-I.C)Niveau attendu

    Lecture du sujet souvent défaillante. Justification minimale attendue même sans demande explicite. Confusion fréquente entre Caml et Python, rigueur insuffisante dans la syntaxe Caml. Difficultés sur l'usage de référence (mutables vs constantes).

  2. Partie IIAlgorithmes classiques sur structures construites(II.A-II.B)Difficile

    Difficulté résidant dans le respect des types particuliers définis dans le texte. II.A.1 et II.A.2 difficiles : réponses incohérentes entre elles, mauvaise maîtrise des enregistrements, pile au lieu de file. Confusion liste/vecteur explicite (suggérer que vect_length est O(n)).

  3. Partie IIIJustifications partielles et complexité(III)Difficile

    Justifications trop partielles. « Pourraient faire une récurrence », annoncée comme « évidente » sans propriété ni variable. Respecter les types demandés (« vecteur de listes » pour la machine).

Analyse globale du jury

« Le sujet a été globalement compris. Les meilleurs candidats ont pu traiter le problème dans son ensemble. Les signatures des fonctions Caml étaient imposées ; elles ont été bien respectées, mais nous avons constaté de grandes difficultés sur le respect des types des structures de données ainsi que sur les filtrages. De manière générale, nous avons observé des confusions importantes entre Caml et Python et une rigueur insuffisante dans la syntaxe Caml. Beaucoup de candidats compliquent le sujet en n'utilisant pas les éléments précédemment définis, écrivent des codes sans commentaire ou multiplient inutilement le nombre de fonctions auxiliaires. Les calculs de complexité sont trop souvent mal justifiés. »

Top pièges sanctionnés

  • Confusion Caml / Python, rigueur insuffisante-2 pts

    « De manière générale, nous avons observé des confusions importantes entre Caml et Python et une rigueur insuffisante dans la syntaxe Caml. »

  • n_etats transformé en liste mais utilisé comme mutable-2 pts

    « Plus surprenant, l'entier n_etats a été transformé en liste, mais il a aussi été considéré comme mutable. Même si ce n'est pas explicitement indiqué, quand on teste si un mot est synchronisant, il semble normal de s'arrêter dès qu'on vérifie qu'il ne l'est pas ; beaucoup de candidats calculent tout, et même parfois deux fois, avant de conclure. »

  • vect_length supposé O(n) (FAUX)-1 pts

    « Confusion explicite quand les candidats suggèrent que la complexité de vect_length est O(n). »

  • Pile et file confondues, enregistrements mal maîtrisés-2 pts

    « Trop de réponses proposées incohérentes entre elles, mauvaise maitrise des enregistrements, bien que la syntaxe soit rappelée, implémentation d'une pile et non d'une file. »

  • Récurrence annoncée comme « évidente » sans rédaction-2 pts

    « Plusieurs fois dans le problème, des candidats indiquent qu'ils « pourraient faire une récurrence », annoncée comme « évidente », mais sans aucune indication de la propriété, ni même de la variable, sur laquelle pourrait porter cette récurrence. »

  • Bornes de boucles — V.(n) non défini-1 pts

    « Il convient également de faire attention aux bornes dans les boucles : si V est un vecteur de longueur n, V.(n) n'est pas défini. »

Chapitres clés à maîtriser

Caml — types, filtrage, récursivité, références
Structures de données — vecteurs, listes, piles, files
Automates et langages rationnels
Complexité algorithmique — preuve par récurrence

Source : Rapport du jury Centrale-Supélec · Info MP, session 2017 · PDF officiel ↗

Ressources

Téléchargements

Sujet officiel, corrigé Hadamard et rapport jury — tout en un endroit.

FAQ

Questions fréquentes — 2017

Partager

Préparation Centrale-Supélec · Info MP

Bossez ce sujet 2017 avec un ancien taupin

Nos professeurs analysent votre copie sur ce sujet, identifient vos faiblesses et structurent votre révision pour la session 2018.

Sujet