thesis

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

Defense date:

Jan. 1, 1996

Edit

Institution:

Nice

Disciplines:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

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