Résumé
On décrit dans ce papier Ant-P-solveur, un solveur de contraintes inspiré du comportement collectif des fourmis. L'idée est de représenter le problème à résoudre sous la forme de la recherche d'un ``meilleur'' chemin dans un graphe. Des fourmis artificielles circulent dans ce graphe de façon aléatoire et incomplète, à la recherche de ``bons'' chemins. Elles communiquent entre elles, à travers l'environnement, en déposant sur les arcs du graphe une trace volatile.
Ant-P-solveur permet de résoudre un ensemble de problèmes
de satisfaction de contraintes, appelés PermutCSPs. Ces problèmes
consistent à chercher une permutation d'un tuple de valeurs satisfaisant
un certain nombre de contraintes. On évalue les performances de
Ant-P-solveur sur trois de ces problèmes: le problème des
reines, le problème des intervalles et le problème d'ordonnancement
de voitures.
Full paper (postscript)