Számításelmélet 7
NP osztály Gráfelméleti nyelvek, számelméleti problémák, egyenletek megoldásai, utazóügynök probléma stb. NP-be tartozás bizonyítéka: a nyelvet eldöntő nemdeterminisztikus polinom időkorlátos Turing-gép.
Tanú-tétel
Tanú-tétel
Tanú-tétel
Tanú-tétel
Tanú-tétel
Tanú-tétel
NP-beli nyelvek: 3 színnel színezhető gráfok
Közlekedési lámpák ac bc ec ad bd ed
NP-beli nyelvek: 3 színnel színezhető gráfok 3-színezés
NP-beli nyelvek: Hamilton-kört tartalmazó gráfok
NP-beli nyelvek: Hamilton-kört tartalmazó gráfok csúcsok permutációja
NP-beli nyelvek: Prímszámok nyelve
Komplementer nyelvosztály
NP-beli nyelvek: Prímszámok nyelve
Jól karakterizált nyelvek Prímszámok nyelve