Az előadás letöltése folymat van. Kérjük, várjon

Az előadás letöltése folymat van. Kérjük, várjon

Számításelmélet 4.

Hasonló előadás


Az előadások a következő témára: "Számításelmélet 4."— Előadás másolata:

1 Számításelmélet 4

2 Időbonyolultsági osztályok
A rekurzív nyelvek (R) további osztályozása A nyelveket eldöntő Turing-gépek időkorlátja alapján A többszalagos Turing-gépet vesszük alapul

3 Időbonyolultsági osztályok
Kérdés: van-e jogosultsági alapja az O-jelölésnek a fenti definícióban?

4 Lineáris felgyorsítás
Következmény: a multiplikatív konstansok elhanyagolhatóak az időbonyolultságban.

5 Lineáris felgyorsítás

6 Lineáris felgyorsítás 1. fázis
Kódolás:

7 Lineáris felgyorsítás 2. fázis
T lépéseinek szimulálása

8 Lineáris felgyorsítás 2. fázis
T m lépésének szimulálása: 6 lépésben 4 lépésben a szomszédos cellák bejárása: 1 lépés balra 2 lépés jobbra Eközben a 3m betűt az állapotban letároljuk.

9 Lineáris felgyorsítás 2. fázis
T m lépésének szimulálása: 6 lépésben Max. 2 lépésben a T m lépésének hatását érvényesítjük: az aktuális és a bal/jobb szomszéd cellán

10 Lineáris felgyorsítás 2. fázis
T összes lépésének szimulálása:

11 Lineáris felgyorsítás
Lépésszám összesen:

12 P osztály Polinomiális időkorlátos Turing-géppel eldönthető nyelvek osztálya A lineáris felgyorsítás tétele és a többszalagos gépek szimulációs tétele indukálja


Letölteni ppt "Számításelmélet 4."

Hasonló előadás


Google Hirdetések