Yuqoridagi noaniq bayonotda ishlatiladigan kompyuter so'zi Deterministik Turing Machine (DTM) ga tegishli. Oddiy so'z bilan aytganda, bu faqat bitta keyingi bosqichga o'tishni tanlashi mumkin bo'lgan mashina. Dallanmagan mashina [3]. Har bir mavjud kompyuter shunday ishlaydi.
Polinom - ba'zi kuchlarga va ularning koeffitsientlariga ko'tarilgan o'zgaruvchilardan tashkil topgan ibora. Masalan, ax² + bx + c shaklidagi ikkinchi darajali ko'paytma.
Algoritm vaqt murakkabligi - kirishning uzunligi funktsiyasi sifatida bajarilishi uchun algoritm olgan vaqt. Katta O belgi yordamida umumiy ifodalanadi. Masalan, 2n o'lchamdagi barcha elementlarni birma-bir bosib chiqarish uchun algoritm yozsak, uning vaqt murakkabligi O (n) bo'ladi.
Yuqoridagi noaniq bayonotda ishlatiladigan kompyuter so'zi Deterministik Turing Machine (DTM) ga tegishli. Oddiy so'z bilan aytganda, bu faqat bitta keyingi bosqichga o'tishni tanlashi mumkin bo'lgan mashina. Dallanmagan mashina [3]. Har bir mavjud kompyuter shunday ishlaydi.
Polinom - ba'zi kuchlarga va ularning koeffitsientlariga ko'tarilgan o'zgaruvchilardan tashkil topgan ibora. Masalan, ax² + bx + c shaklidagi ikkinchi darajali ko'paytma.
Algoritm vaqt murakkabligi - kirishning uzunligi funktsiyasi sifatida bajarilishi uchun algoritm olgan vaqt. Katta O belgi yordamida umumiy ifodalanadi. Masalan, 2n o'lchamdagi barcha elementlarni birma-bir bosib chiqarish uchun algoritm yozsak, uning vaqt murakkabligi O (n) bo'ladi.
NPga alternativ ta'rif bu mumkin bo'lgan echim taqdim etilsa, DTM polinomik vaqt ichida uning to'g'riligini tekshirishga imkon beradigan qarorlar to'plamidir. Shuni ta'kidlash kerakki, barcha P muammolar NP ga ham tegishli, chunki agar muammo DTM tomonidan ko'p martali hal qilinsa, mumkin bo'lgan echimni tekshirish hal qilishdan osonroq bo'ladi. Shunday qilib, DTM ham ko'plik vaqt ichida ham tekshirishi mumkin edi. Shunday qilib, arzimas, P ⊆ NP i.e P NP ning pastki qismi.
NP-qiyin - agar X ∈ NP X-ga tushadigan bo'lsa, X muammosi kamida NPda hal qilinadi, masalan NP-ning har bir muammosini hal qilish qiyin (agar P! = NP bo'lsa, unda X P ga tegishli bo'lmaydi).