Reja: Algoritm tushunchasi

P va NP sinflarining tengligi muammosi.

Determetik Turing mashinasi aniqlanmagan bosqich Turing mashinasining alohida holati sifatida ko'rib chiqilishi mumkin va unda taxmin qilish bosqichi mavjud emas va tekshirish bosqichi DMT ga to'g'ri kelganligi sababli, NP klassi P sinfini o'z ichiga oladi, shuningdek ularni hal qilish uchun faqat o'lchovga eksperimental ravishda bog'liq bo'lgan algoritmlar ma'lum. kiritish (ya'ni katta kirish uchun samarasiz). Ushbu ikki sinfning tengligi masalasi nazariy informatika sohasidagi eng qiyin ochiq muammolardan biri hisoblanadi.

Bugungi kunga kelib, ushbu sinflarning (P = NP) mos kelishi va ularning mos kelmasligi to'g'risida nazariy dalillar mavjud emas. Gap shundaki, P klassi NP sinfining tegishli to'plami, ya'ni. NP \ P bo'sh emas.