TEMPS LINEAIRE ET PROBLEMES NP-COMPLETS / NADIA CREIGNOU ; SOUS LA DIRECTION DE ETIENNE GRANDJEAN

Date : 1993

Editeur / Publisher : [S.l.] : [s.n.] , 1993

Type : Livre / Book

Langue / Language : français / French

Creignou, Nadia (Auteur / author)

Grandjean, Étienne (Directeur de thèse / thesis advisor)

Université de Caen Normandie (1971-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : CETTE THESE EST CONSACREE A L'ETUDE DES LIENS ENTRE LE TEMPS LINEAIRE ET LES PROBLEMES NP-COMPLETS. NOUS ETUDIONS TOUT D'ABORD LES REDUCTIONS LINEAIRES ENTRE PROBLEMES NP-COMPLETS ET LES CLASSES D'EQUIVALENCE QU'ELLES INDUISENT. DE NOMBREUX PROBLEMES SONT MONTRES ETRE LINEAIREMENT EQUIVALENTS A LA SATISFAISABILITE. DANS CE CADRE UNE METHODE UNIFORME POUR PROUVER LA NP-COMPLETUDE EST DEVELOPPEE. ELLE EST CENTREE SUR UN PROBLEME CLE: LA 3-COLORABILITE. DEUX AUTRES CLASSES D'EQUIVALENCE SONT MISES EN EVIDENCE, L'UNE CONTENANT DOMINATING SET ET L'AUTRE MAX-2SAT. CETTE DERNIERE MET EN JEU DES PROBLEMES D'OPTIMISATION ET PERMET DE MONTRER QUE DIVERS PROBLEMES TELS MAX-SAT, MAX-2SAT, MIN-2SAT ET SIMPLE MAX-CUT SONT LINEAIREMENT EQUIVALENTS. NOUS PROPOSONS FINALEMENT DE NOUVEAUX PROBLEMES NLINEAR-COMPLETS, C'EST-A-DIRE COMPLETS POUR LE TEMPS LINEAIRE NON DETERMINISTE. NOUS OBTENONS AINSI UNE BORNE INFERIEURE NON TRIVIALE DE COMPLEXITE POUR CHACUN D'ENTRE EUX. CES PROBLEMES PORTENT SUR LES GRAPHES ORIENTES ET NON ORIENTES