Effektive usul
Mantiq, matematika va informatika fanlarida, ayniqsa metalogika va hisoblash nazariyasida
samarali usul - bu muayyan sinfdan har qanday intuitiv "samarali" vositalar bilan muammoni hal qilish tartibi. Samarali usul ba'zan
mexanik usul yoki tartib deb ham ataladi.
Ta'rif
Samarali usulning ta'rifi usulning o'zidan ko'proq narsani o'z ichiga oladi. Usulni samarali deb atash uchun uni muammolar sinfiga ]qarab ko'rib chiqish kerak. Shu sababli, bitta usul muammolarning bir sinfiga nisbatan samarali bo'lishi mumkin va boshqa sinfga nisbatan samarali bo'lmasligi mumkin.
Usul ushbu mezonlarga javob bersa, rasmiy ravishda muammolar sinfi uchun samarali deb ataladi:
Majburiy emas, shuningdek, metod o'z sinfidan tashqaridagi muammoga qo'llanilganda, u javob kabi hech qachon natijani qaytarmasligi talab qilinishi mumkin. Ushbu talabni qo'shish samarali usul mavjud bo'lgan sinflar to'plamini kamaytiradi.
Algoritmlar
Funtsiya qiymatlarini hisoblashning samarali usuli bu algoritmdir. Samarali usul mavjud bo'lgan funksiyalar ba'zan samarali hisoblangan deb ataladi.
Hisoblash funksiyalari
Samarali hisoblashning rasmiy tavsifini berish bo'yicha bir nechta mustaqil harakatlar taklif qilingan va ular turli xil ta'riflarga olib keldi (umumiy rekursiv funksiyalar, Tyuring mashinalari, λ-hisoblar ) keyinchalik ular ekvivalent ekanligi ko'rsatildi. Ushbu ta'riflar tomonidan qo'lga kiritilgan tushuncha rekursiv yoki samarali hisoblash sifatida tanilgan.
Cherkov-Tyuring tezisida aytilishicha, bu ikki tushuncha bir-biriga mos keladi: samarali hisoblab chiqiladigan har qanday son - nazariy funksiyada rekursiv hisoblanishi mumkin. Bu matematik bayonot emasligi sababli, uni matematik dalil bilan isbotlab bo'lmaydi.
Manbalar
uz.wikipedia.org