Problèmes de satisfaction de contraintes (CSP)
4. Résolution d'un CSP
4.1. Approche générer et tester
- C’est une méthode naïve de résolution de problèmes .
- Consiste à générer et tester tous les ordres possibles.
- Chaque combinaison de variables et de valeurs est systématiquement générée et testée pour voir si elle satisfait toutes les contraintes du problème.
- La première combinaison satisfaisant toutes les contraintes est alors la solution du CSP.
Résoudre un problème de cette manière devient rapidement impossible lorsque la taille des problèmes augmente.
