Du coup j'appuie Richou D. Degenne pour les outils : prenons quelque chose que je connais bien, mon sujet de TIPE, "Comment minimiser la taille d'un circuit logique constitué en deux étages ET/OU (que l'on peut changer en ce qu'on veut du moment que c'est complet, ici c'est simplement que l'on a des fonctions booléennes que l'on écrit sous la forme canonique disjonctive), qui ferait d'ailleurs un bon exercice vraiment varié si l'on prend le temps de mettre des étapes très simplifiée, et s'il était possible de le faire en moins de temps (et peut être aussi s'il était plus attrayant du premier coup !).
La première chose que l'on peut tenter de faire, c'est de réduire des circuits avec une seule sortie, c'est-à-dire dont la sortie s'écrit comme une fonction booléenne des entrées. Ici on peut faire des liens avec le tutoriel d'architecture matériel, avec notamment la partie sur les circuits logiques (non séquentiels), la méthode de Karnaugh, et le but serait de faire comprendre le problème d'une autre manière qui est plus "générale". Ce lien peut ensuite mener à des tutoriels d'algorithmies sur des problèmes NP-Complet ou vers des méta-heuristiques selon le choix de l'utilisateur.
Une fois cette étape faite, on sait résoudre le problème pour un circuit à une entrée, et il faut pouvoir généraliser ça à n'importe quel circuit. C'est là qu'on rajoute (éventuellement sans que ce soit tout cuit) encore d'autres outils théoriques comme les fonctions caractéristiques d'un circuit (fonction booléenne de variables les entrées et les sorties) qui permettent de se ramener au cas précédent, et que l'on cherche à améliorer la vitesse et la précision des algorithmes en cherchant des propriétés supplémentaires dans le problème, pour servir de cas de base.
Enfin, selon ce qui a été choisi par l'utilisateur, on peut essayer de le mener vers d'autres exercices qui sont dans la même continuation : un utilisateur qui a utilisé des algorithmes génétiques se verra poussé vers un certain exercice de planification de trafic aérien, un utilisateur qui a seulement utilisé les propriétés algébriques du problème pourra être poussé vers des exercices sur des graphes ou des arbres de décision, etc.
Le gros intérêt de ces gros exercices que l'on découpe en fournissant des outils sur le chemin (là encore, le mieux serait vraiment de ne pas donner du tout cuit mais de réussir à le faire trouver, de façon guidée ou non), c'est que l'on va pouvoir faire beaucoup de liens entre les problèmes, et même avec les tutoriels, tout en donnant donnant une certaine connaissance appliquée à quelque chose de concret. Maintenant, il reste à voir si c'est possible de faire ça de façon pédagogique facilement.
.
