Számításelmélet 4
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
Időbonyolultsági osztályok Kérdés: van-e jogosultsági alapja az O-jelölésnek a fenti definícióban?
Lineáris felgyorsítás Következmény: a multiplikatív konstansok elhanyagolhatóak az időbonyolultságban.
Lineáris felgyorsítás
Lineáris felgyorsítás 1. fázis Kódolás:
Lineáris felgyorsítás 2. fázis T lépéseinek szimulálása
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.
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
Lineáris felgyorsítás 2. fázis T összes lépésének szimulálása:
Lineáris felgyorsítás Lépésszám összesen:
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