Le baseball multicouleur comme algorithme

Cette activité introduit la notion de correction d’algorithme, et les moyens utilisés par les chercheurs en informatique pour la prouver.
Il existe diverses méthodes pour résoudre le problème, mais comment être sûr qu’une méthode donnée est correcte ?
On peut utiliser des ressources complémentaires.
Élément de la boite d’activités débranchées de NyBi.cc, réalisé avec le support de Cap’maths.