Contribution au traitement des contraintes disjonctives et a l'etude de la complexite pratique des problemes np-complets

Disjunctive constraint processing and the practical complexity of np-complete problems

• Auteur / Autrice : ROMULUS-DAN VLASIE
• Direction : Paul Franchi-Zannettacci
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1996
• Etablissement(s) : Nice

Résumé

La premiere partie de la these est dediee au traitement de contraintes disjonctives. Nous proposons les problemes de selection (ps) comme une generalisation commune des problemes de satisfaction de contraintes sur les domaines finis (cspfd) et des problemes de satisfaction de contraintes disjonctives (pscd). Ce cadre nous permet d'operer un transfert des techniques de resolution des cspfds (intensivement etudies) vers les pscds (peu etudies). Une instanciation de cette approche est faite pour les disjonctions de contraintes de precedence, ce qui conduit a l'obtention d'algorithmes applicables a la resolution des problemes tels l'ordonnancement disjonctif, problemes de placement, coloriage de graphes, etc. Outre la mise en uvre et la validation experimentale, nous proposons aussi un modele statistique qualitatif pour l'analyse comparee des algorithmes developpes. Dans la deuxieme partie de la these nous levons l'hypothese de la distribution uniformement aleatoire, au benefice de la generation de donnees d'entree fortement structurees. Les resultats experimentaux ainsi obtenus trouvent une explication theorique dans le cadre du dernier chapitre, ou nous demontrons que pour certains problemes np-complets, leurs instances superpolynomiales sont presque toujours compressibles