10
- rekursiv algoritmlarni oʻrganish va tahlil qilish;
- algoritmlar sifatini qiyosiy baholash mezonlarini ishlab chiqish.
1.1. Algoritm tushunchasini formallashtirish
1-ta‟rif. Algoritm - bu ma‘lum bir tilda berilgan, mumkin boʻlgan
dastlabki ma‘lumotlar sinfi uchun masalani
hal qilish uchun mumkin
boʻlgan elementar amallarning cheklangan ketma-ketligi.
Masalaning dastlabki ma‘lumotlarining toʻplami
D boʻlsin va
R -
mumkin boʻlgan natijalar toʻplami, shunda algoritm
𝐃 → 𝐑 koʻrinishida
tasvirlanadi. Bu tasvirlanish toʻliq boʻlmasligi mumkin.
Agar natija faqat ba‘zi
𝑑 ∈ 𝐷 uchun olingan boʻlsa, algoritm
qismiy
algoritm va agar barcha
𝑑 ∈ 𝐷 uchun toʻgʻri natija olsa
toʻliq algoritm
deyiladi.