Séminaire Mathématique de Béjaia
Volume 11, Numéro 1, Pages 11-13
2012-12-31
Auteurs : Bouchama Kahina . Radjef Mohammed Said . Sais Lakhdar .
La programmation par contraintes et la théorie des jeux constituent chacune un domaine de recherche très actif. Elles offrent des cadres de modélisation, d’analyse et de développement des outils pour la résolution de nombreuses applications dans des domaines variés tels que l’informatique, l’intelligence artificielle, le transport et la logistique, les technologies de l’information et de la communication,... etc. Dans la dynamique de leurs développements, on recense quelques travaux novateurs ayant établi certains liens entre la théorie des jeux et les problèmes de satisfaction de contraintes. Dans ce travail, nous avons établi l’équivalence entre le concept de solution pour un problème de satisfaction de contraintes (CSP) et la notion du Z-équilibre pour le jeu qui lui est associé. Par la suite, nous avons développé un algorithme de calcul du Z-équilibre, en s’inspirant des approches par retour-arrière, connues pour la résolution des CSP.
Z-équilibre, Problème de satisfaction de contraintes, Jeux non coopératif.
Ferhat Arezki
.
Radjef Mohammed Said
.
pages 3-5.
Bouali Lynda
.
pages 186-208.
Nait Mohand Nacim
.
Hammoudi Abdelhakim
.
Radjef Mohammed Said
.
pages 95-95.