Problèmes de Satisfaction de Contraintes » książka
Problèmes de Satisfaction de Contraintes
ISBN-13: 9786131548635 / Francuski / Miękka / 2018 / 164 str.
Dans le cadre des TICSP (ProblA]me de Satisfaction de Contraintes pour l''algA]bre d''Intervalles de Temps), nous avons proposA(c) une amA(c)lioration de l''algorithme d''Allen. A partir de la composition d''Allen, nous avons proposA(c) une composition entre 4 noeuds. Puis, sur la base de cette composition, nous avons dA(c)veloppA(c) un algorithme incrA(c)mental pour la 4- cohA(c)rence ramenant la complexitA(c) A l''ordre O(n3). En utilisant la gA(c)nA(c)ralisation de la composition entre 4 noeuds A la composition entre k noeuds, nous avons proposA(c) un algorithme de k-cohA(c)rence avec une complexitA(c) temporelle en O(nk-1). Le passage des ProblA]mes de Satisfaction de Contraintes (CSP) aux ProblA]mes de Satisfaction de Contraintes DistribuA(c)s (DCSP) pose le problA]me du passage de l''individuel au collectif. Ce passage a fait l''objet de diverses extensions du cadre CSP A des DCSP. Dans ce cadre et A partir de l''algorithme Intelligent BackTracking DistribuA(c) (DIBT), nous avons proposA(c) une GA(c)nA(c)ralisation Optimale en envoi de messages (OGDIBT). DIBT n''A(c)tant pas complet. Dans ce mA(c)moire, une A(c)tude de la complA(c)tude d''OGDIBT est proposA(c)e et une version complA]te y est donnA(c)e.
Dans le cadre des TICSP (Problème de Satisfaction de Contraintes pour lalgèbre dIntervalles de Temps), nous avons proposé une amélioration de lalgorithme dAllen. A partir de la composition dAllen, nous avons proposé une composition entre 4 nœuds. Puis, sur la base de cette composition, nous avons développé un algorithme incrémental pour la 4- cohérence ramenant la complexité à lordre O(n3). En utilisant la généralisation de la composition entre 4 nœuds à la composition entre k nœuds, 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 lindividuel au collectif. Ce passage a fait lobjet de diverses extensions du cadre CSP à des DCSP. Dans ce cadre et à partir de lalgorithme 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 dOGDIBT est proposée et une version complète y est donnée.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
