• Aucun résultat trouvé

Mod `eles de calcul et complexit ´es en temps et espace

N/A
N/A
Protected

Academic year: 2022

Partager "Mod `eles de calcul et complexit ´es en temps et espace"

Copied!
2
0
0

Texte intégral

(1)

Universit´e Toulouse III Ann´ee 2019-2020

TD Calculabilit´e et complexit´e Feuille n1

Mod `eles de calcul et complexit ´es en temps et espace

Exercice 1 [D´ecrire un probl`eme de d´ecision]. D´ecrivez les probl`emes suivants formellement sous forme d’un probl`eme de d´ecision. Pr´esicez l’ensembleLdes instances et la question `a laquelle il faut r´epondre.

1. PRIME: Savoir si un entier est premier 2. BIP: Savoir si un graphe est biparti.

3. TAU: Connaissant une formule bool´eenne d´eterminer si elle est toujours vraie.

4. HAM: Existence d’un chemin hamiltonien.

Exercice 2 [Exemples de calculs]. Pour les probl`emes suivants, donner une description d’une ma- chine de Turing qui le resolve et donner la complexit´e en temps et en espace.

1. Tester si un entier ´ecris en binaire est un multiple de 2.

2. Tester si un entier ´ecris en binaire est une puissance de 2.

3. Tester si le mot en entr´ee est dans le langage{0n1n :n∈N}; 4. Tester si le mot en entr´ee est un palindrome.

Exercice 3 [R´eduction de l’alphabet]. Consid´erons une machine de TuringM= (Q,q0,qa,qr,A, #,δ). Montrer qu’il existe une machine de Turing M0 d’alphabet d’entr´ee B = {0, 1}et une fonction de codageϕ:A → Btelle que :

— Macceptex∈ Asi et seulement siM0accepteϕ(x)∈ B;

— M(x)s’arrˆete en tempstalorsM0(ϕ(x))s’arrˆete en temps au plus 6tlog(|A|);

— M(x)utilise un espacesalorsM0(ϕ(x))utilise un espace au plus 2slog(|A|).

Exercice 4 [Machine `a plusieurs rubans]. Montrer qu’une machine de Turing `a k > 1 rubans de travail fonctionnant en temps t peut ˆetre simul´ee par une machine de Turing `a un seul ruban de travail fonctionnant en tempsO(t2). D’o `u vient la perte de temps ?

Exercice 5 [Acc´el´eration]. Consid´erons une machine de TuringMqui s’arrˆete sur l’entr´eexau bout det ´etapes de calcul en utilisantscases m´emoires.

1. Montrer qu’il existe une constanteγMd´ependante de la machine de Turing telle que :

s≤ t≤γMs

2. Etant donn´e un entier entierc≥1. Montrer qu’il existe une machine de TuringM0qui accepte les mˆeme entr´ees que M et telle que si M s’arrˆete sur l’entr´ee x en utilisant s+|x| cases m´emoires alorsM0s’arrˆete sur la mˆeme entr´ee en(1+ 1c)|x|+ sc ´etapes au plus.

3. Etant donn´e un entier entierc≥1. Montrer qu’il existe une machine de TuringM0qui accepte les mˆeme entr´ees queMet telle que siMs’arrˆete sur l’entr´eexent ´etapes alorsM0s’arrˆete sur la mˆeme entr´ee en(1+ 1c)|x|+ tc ´etapes au plus.

(2)

Exercice 6 [Machine Universelle]. Montrer qu’il existe une machine de Turing universelle U sur l’alphabet{0, 1}sur qui prend en argument le codehMide la machine de TuringMet le codehxi d’une entr´eexdeMen binaire telle que :

— M(x)s’arrˆete si et seulement siU(hMi,hxi)s’arrˆete ;

— U(hMi,hxi)est un codage deM(x);

— si M(x) s’arrˆete en temps t et espace s alors U(hMi,hxi) s’arrˆete en temps inf´erieur `a αM(1+st)et utilise un espace inf´erieur `aαM(s+1).

αMest une constante d´ependant de la machineMsimul´ee.

Comment am´eliorer cette construction pour gagner en vitesse et espace de calcul ? Il est possible d’am´eliorer la construction pour queUutilise au plus un tempsαM(1+tlog(t))et un espaceαM(s+ log(t)).

Références

Documents relatifs

En effet dans la preuve du th´ eor` eme la fonction T est d´ efinie par un sch´ ema µ-total sur une fonction r´ ecursive primitive, et g est ensuite obtenue en composant T avec

Si nous supposons espace et temps individualisés d'une manière quel- conque, à un point substantiel en repos correspond comme ligne de l'univers une parallèle à l'axe des t, à un

Par dichotomie successive, on voit que si l’on sait r ´esoudre ce probl `eme en Υ(log(n)) op ´erations ´el ´ementaires , on sait trouver un diviseur de n en temps polyn ˆomial.

En 2002, Agrawzl, Kayal et Saxena ont trouv´e un algorithme qui d´ecide la primalit´e d’un entier naturel en temps polynomial autrement dit Prime ∈ P.. Le but de cet exercice est

[r]

Qu’il s’agisse des images géographiques et urbaines globales (cartographie, aménagement), des images bidimensionnelles (peintures murales, graffitis, panneaux

Dans cette représentation, si le vide est physique, il est nécessairement matière : où l'on retrouve l'intuition profonde de Descartes, non plus formulée en termes ontologiques,

Hurtderivative work: Roberto Segnali all'Indiano — Milky_Way_2005.jpg, Domaine public, https://commons.wikimedia.org/w/index.php?curid=10765485.. Voisinage galactique original