Algoritmlar sifatini baholashning asosiy mezonlari

Ushbu kitob "Algoritmlar nazariyasi" fanidan kurs ishi bo'lib, algoritmlarni yaratish, tahlil qilish va baholashga bag'ishlangan. Kitobda algoritmlarning asosiy tushunchalari, xossalari, yaratish usullari, sifatini baholash mezonlari, to'g'riligini tekshirish, murakkabligini tahlil qilish, dasturlash va hujjatlashtirish kabi masalalar ko'rib chiqilgan. Kitob talabalar va algoritmlar nazariyasi bilan qiziquvchilar uchun mo'ljallangan bo'lib, amaliy misollar va masalalar yechimlari bilan boyitilgan.

Asosiy mavzular

Algoritm tushunchasi: Algoritmning ta'rifi, xossalari (diskretlilik, ommaviylik, tushunarlilik, aniqlilik) va algoritm yaratish bosqichlari (masalani qo'yish, modelni yaratish, algoritmni ishlab chiqish, to'g'riligini tekshirish, amalga oshirish, murakkabligini tahlil qilish, dasturni tekshirish, hujjatlashtirish).
Algoritmlarni ishlab chiqish usullari: Algoritmlarni konstruksiyalash, ekvivalent qayta ishlash, toraytiruvchi o'zgartirishlar, formal usulni matematikaga bog'liq bo'lmagan muammoga qo'llash.
Algoritm sifatini baholash mezonlari: Algoritm to'g'riligini tekshirish (testlardan o'tkazish), amalga oshirish, murakkabligini tahlil qilish (vaqt va xotira sarfini baholash), dasturni tekshirish va hujjatlashtirish.
Algoritm murakkabligi: Vaqt murakkabligi va xotira murakkabligi tushunchalari. Asimptotik baholash (katta O belgisi). Polinomial va eksponensial algoritmlar.