Comment une machine peut-elle former des groupes dans des données sans qu'on lui dise lesquels ?
L'algorithme des k-moyennes alterne deux étapes : affecter chaque point au centre le plus proche, puis remplacer chaque centre par la moyenne de son groupe. La moyenne minimise la somme des carrés des écarts, donc l'erreur ne peut que diminuer. Sur 1, 2, 3, 10, 11, 12, il trouve les centres 2 et 11 en deux tours.
Grand oral session 2027 : exposé de 10 minutes debout, puis 10 minutes d'échange, sans calculatrice. Plan prévu pour 9,5 min.
Pourquoi cette question : un modèle d'introduction
Le jury attend que vous expliquiez pourquoi vous avez choisi la question. Inspirez-vous de ce modèle, mais racontez votre propre parcours.
Les plateformes de vidéo regroupent les spectateurs en « profils » sans qu'aucun humain ne les définisse. En NSI, j'ai découvert l'algorithme des k-moyennes, qui forme des groupes tout seul. J'ai été surpris de retrouver dans sa justification une propriété de la moyenne que j'avais étudiée en statistiques : elle minimise la somme des carrés des écarts.
L'enjeu et les notions du programme
Démontrer que la moyenne minimise une somme de carrés et en déduire qu'un algorithme itératif fait décroître une erreur.
Mathématiques
- Moyenne, variance (seconde, première)
- Second degré : minimum d'un polynôme (première)
- Suites décroissantes minorées (terminale)
Numérique et sciences informatiques
- Apprentissage non supervisé, regroupement (première)
- Algorithmes itératifs (première)
Le plan de l'exposé en 9,5 min
1. Introduction
1 minOn dispose de données sans étiquettes, par exemple les durées de visionnage de spectateurs, et l'on veut les répartir en k groupes homogènes. Problématique : comment former ces groupes automatiquement, et pourquoi l'algorithme s'arrête-t-il ?
2. NSI : l'algorithme
2,5 minOn choisit k centres de départ. Puis on répète deux étapes. Affectation : chaque point rejoint le groupe du centre le plus proche. Mise à jour : chaque centre est remplacé par la moyenne des points de son groupe. On s'arrête quand plus rien ne change.
Exemple avec k=2 sur 1, 2, 3, 10, 11, 12 et les centres de départ 1 et 2. Tour 1 : groupes {1} et {2, 3, 10, 11, 12}, nouveaux centres 1 et 7,6. Tour 2 : groupes {1, 2, 3} et {10, 11, 12}, centres 2 et 11. Tour 3 : rien ne change.
3. Mathématiques : pourquoi l'erreur diminue
4,5 minOn mesure la qualité par l'inertie : la somme des carrés des distances de chaque point à son centre. Pour les groupes finaux : (1-2)²+0+(3-2)²+(10-11)²+0+(12-11)²=4.
Propriété : pour des nombres x₁,…,xₙ, la fonction g(c)=Σ(xᵢ-c)² est minimale pour c=bar x. En effet, g(c)=nc²-2cΣ xᵢ+Σ xᵢ² est un polynôme du second degré de coefficient n>0, minimal au sommet c=(Σ xᵢ)/n=bar x. Sa valeur minimale est n V(x).
Chaque étape fait donc diminuer l'inertie ou la laisse égale : l'affectation au centre le plus proche réduit chaque distance, et le remplacement par la moyenne minimise la somme dans chaque groupe. L'inertie forme une suite décroissante, et comme il n'y a qu'un nombre fini de façons de former des groupes, l'algorithme s'arrête.
Mais il peut s'arrêter sur une solution qui n'est pas la meilleure : le résultat dépend des centres de départ.
4. Conclusion
1,5 minLes k-moyennes forment des groupes en alternant affectation et calcul de moyennes ; la moyenne minimisant la somme des carrés, l'erreur décroît à chaque tour et l'algorithme s'arrête. On le relance avec plusieurs départs pour éviter une mauvaise solution. J'ouvre sur le choix de k, qui reste une décision humaine.
Ce que j'écris au tableau
Pas de calculatrice ni de support numérique : un calcul clé écrit au tableau rend l'exposé concret et montre la solidité des connaissances.
{1,2,3},{10,11,12}: centres 2 et 11, inertie =1+0+1+1+0+1=4
Conclusion : la réponse à la question
Une propriété de la moyenne, minimiser la somme des carrés des écarts, garantit que l'algorithme des k-moyennes améliore ses groupes à chaque étape. La machine regroupe seule, mais c'est l'humain qui choisit le nombre de groupes et interprète le résultat.
Les questions probables du jury
Pendant les 10 minutesd'échange, le jury vous fait préciser et approfondir, sur tout le programme de vos spécialités en lien avec la question.
Montrez que la somme des carrés est minimale pour la moyenne.
C'est un polynôme du second degré en c, de coefficient dominant n > 0, dont le sommet est en c = (Σxᵢ)/n.
Pourquoi l'algorithme s'arrête-t-il ?
L'inertie ne peut que diminuer et il n'y a qu'un nombre fini de répartitions possibles.
Que se passe-t-il avec de mauvais centres de départ ?
L'algorithme peut converger vers des groupes moins bons ; on le relance avec plusieurs départs et on garde la meilleure inertie.
Quelle différence avec les k plus proches voisins ?
Les k plus proches voisins classent avec des étiquettes connues ; les k-moyennes forment des groupes sans étiquettes.
Que vaut l'inertie minimale d'un groupe ?
n fois la variance du groupe.
Les pièges qui coûtent des points
- Croire que l'algorithme trouve toujours la meilleure répartition.
- Confondre k-moyennes et k plus proches voisins.
- Oublier que le nombre de groupes est choisi à l'avance.
Revoir les notions
Autres questions : données et intelligence artificielle
- Comment une machine peut-elle classer une donnée nouvelle en regardant simplement ses voisines ?
- Pourquoi le résultat d'un algorithme d'intelligence artificielle peut-il changer si l'on mesure en millimètres plutôt qu'en centimètres ?
- Comment une machine trouve-t-elle la droite qui résume le mieux un nuage de points ?
- Comment une intelligence artificielle apprend-elle en corrigeant ses erreurs pas à pas ?
Préparer l'oral, pas seulement le contenu
Gestion des 20 minutes de préparation, usage du tableau, posture debout, réponses au jury : la méthode complète, conforme aux règles de la session 2027.
Méthode : traiter une question de Grand oral →