Algoritmlarni loyihash
Download 297,11 Kb.
|
Algaretimdan 3 mustaqil ishi
- Bu sahifa navigatsiya:
- P va NP muammosi
- Tegishli atamalar va tariflar
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI QARSHI FILIALI TT VA KT FAKULTETI RI-11-21-GURUH TALABASINING “ ALGORITMLARNI LOYIHASH” FANIDAN TAYYORLAGAN 2-MUSTAQIL ISHI Bajardi: G’oyimov Abbos . Qabul qildi: Abdullayev R. QARSHI-2023 Mavzu: P va NP sinflar, NP- to‘liq masalalar tushunchasi. Reja:
P va NP muammosi Har bir informatika talabasi P va NP muammolari haqida eshitishi kerak. Aytish mumkinki, bu kompyuter fanidagi eng mashhur echimsiz muammo. Clay Matematika Instituti tomonidan tanlangan 7 ming yillik mukofot muammosidan biri, birinchi to'g'ri echim uchun 1 million dollar mukofotni olib yurish va hozir ham ochiq. P = NP muammosini isbotlash yoki echish informatika, matematika, kriptografiya, AI, multimedia ishlov berish, iqtisodiyot va boshqa sohalarda chuqur ta'sir ko'rsatishi mumkin. Ushbu muammo noaniq tarzda aytilishi mumkin "Kompyuter tomonidan tezda tekshirilishi mumkin bo'lgan har qanday muammoni kompyuter ham tezda hal qiladimi?". Garchi bu masalaning mavjudligi 1950-yillarda Jon Nesh va Kurt Godel tomonidan muhokama qilingan bo'lsa-da, ushbu muammoni 1971 yilda Stefan Kuk o'zining mashhur "Teoremalarni tayyorlash protseduralarining murakkabligi" nomli maqolasida rasmiy ravishda kiritgan. Rasmiy bayonotga va muammoni tushuntirishga sho'ng'ishdan oldin, avval mavzu bilan bog'liq ba'zi ta'riflarni ko'rib chiqamiz. Tegishli atamalar va ta'riflar: -
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. Bugungi kunda mavjud bo'lgan barcha kompyuterlar DTM va NTM fikrlash tajribalarida ishlatiladigan sof nazariy kompyuter ekanligini bilish ham muhimdir. Professor Erik Demain aytganidek [1]. "Demak, bu (NTM) ancha kuchli model. Albatta, bunday ishlaydigan kompyuterlar yo'q, afsuski, men ko'proq qiziqayapman ”. Download 297,11 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2025
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling