• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Problèmes de Satisfaction de Contraintes

Problèmes de Satisfaction de Contraintes

Paperback

Series: Omn.Univ.Europ.

Literary CriticismGeneral Computers

ISBN10: 6131548633
ISBN13: 9786131548635
Publisher: Ed Universitaires Europeennes
Published: Feb 28 2018
Pages: 164
Weight: 0.55
Height: 0.38 Width: 5.98 Depth: 9.02
Language: French
Dans le cadre des TICSP (Problème de Satisfaction de Contraintes pour l'algèbre d'Intervalles de Temps), nous avons proposé une amélioration de l'algorithme d'Allen. A partir de la composition d'Allen, nous avons proposé une composition entre 4 noeuds. Puis, sur la base de cette composition, nous avons développé un algorithme incrémental pour la 4- cohérence ramenant la complexité à l'ordre O(n3). En utilisant la généralisation de la composition entre 4 noeuds à la composition entre k noeuds, nous avons proposé un algorithme de k-cohérence avec une complexité temporelle en O(nk-1). Le passage des Problèmes de Satisfaction de Contraintes (CSP) aux Problèmes de Satisfaction de Contraintes Distribués (DCSP) pose le problème du passage de l'individuel au collectif. Ce passage a fait l'objet de diverses extensions du cadre CSP à des DCSP. Dans ce cadre et à partir de l'algorithme Intelligent BackTracking Distribué (DIBT), nous avons proposé une Généralisation Optimale en envoi de messages (OGDIBT). DIBT n'étant pas complet. Dans ce mémoire, une étude de la complétude d'OGDIBT est proposée et une version complète y est donnée.

Also in

General Computers