Bornes inferieures non triviales pour des problemes naturels np-complets en theorie des graphes et des automates

par SOLOMAMPIONONA RANAIVOSON

Thèse de doctorat en Sciences appliquées

Sous la direction de Etienne Grandjean.

Soutenue en 1991

à Caen .

    mots clés mots clés


  • Résumé

    Nous montrons la np-completude lineaire de problemes de graphes et d'automates. Un probleme l est lineairement np-complet si tout probleme de np se reduit a l en temps lineaire sur une machine de turing deterministe (dtm). Il en resulte du theoreme de separation deterministe lineaire/non deterministe lineaire de paul, pippenger (1983), que l n'est pas resoluble en temps lineaire sur une dtm. Soient g=(v,e) un graphe oriente et v une partition de v. On appelle retrecissement de g par rapport a v, le graphe oriente g=(v,e) tel qu'un arc de g part d'une classe s (de v) vers une classe t ssi: un arc de g part d'un element s de s vers un element t de t. Voici deux problemes combinatoires que nous prouvons np-complets lineaire (ou d est un entier superieur a 2 fixe). Donnee: un entier k et un graphe acyclique g (resp. Un graphe acyclique g de degre exterieur d). Question: g admet-il un retrecissement g qui est acyclique et qui a au plus h arcs (resp. Qui est acyclique, de degre exterieur d et qui a au plus k sommets)? ces problemes sont dans p si d=1. Nous montrons aussi que le probleme de reduction d'un automate deterministe incomplet (i. E. Dont la fonction de transition n'est pas totalement definie) dont l'alphabet possede d symboles (d etant un entier fixe) est lineairement np-complet si d est superieur a 2, mais est dans p si d=1. Les preuves de ces resultats sont combinatoires et s'appuyent sur une caracterisation (grandjean 1988), de tout probleme de ntime (n) par le spectre generalise d'une formule du premier ordre d'une forme tres simplifiee


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 25 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université de Caen Normandie. Bibliothèque universitaire Sciences - STAPS.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.