Implémentation de solutions pour le problème de satis fiabilité. (cours méta-heuristique) Il est demandé d’implémenter des algorithmes exacts à savoir les méthodes aveugles ensuite des méthodes heuristiques, le but étant de constater l’explosion combinatoire des méthodes exhaustives et de s’initier aux méthodes heuristiques qui présentent des approches incontournables pour la résolution des problèmes complexes. Part1: Implémenter en Java une solution pour le problème de satisfiabilité en utilisant :
- La recherche en largeur d’abord. Noter la complexité empirique temporelle et spatiale.
- La recherche en profondeur d’abord. Tester avec plusieurs seuils de profondeur et noter la complexité empirique temporelle et spatiale.
- L’algorithme A* avec plusieurs heuristiques Part2: Implémenter en Java une solution pour le problème de satisfiabilité en utilisant BSO. Part3: Implémenter en Java une solution pour le problème de satisfiabilité en utilisant ACS. Utiliser A* développé dans la partie 1 pour la construction d’une solution par une fourmi. Données utilisées: Les benchmarks uf75-325 / uuf75-325 serviront pour les expérimentations des algorithmes développés pour les trois parties. Une description de ces données est fournie à l’adresse : http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html