Muhammad Al-Xoramiy nomidagi Toshkent Axborot Texnalogiyalari Unversisteti

Algoritmning determinatsiyalanuvchanligi (aniqlanuvchanligi). Boshlang‘ich holatdan farq qiluvchi boshqa holatda aniqlangan miqdorlar sistemasi ilgarigi holatlarda hosil qilingan miqdorlar sistemasi orqali bir qiymatli aniqlanadi.
Algoritm qadamlarining elem entarligi. Ilgarigi miqdorlar siste
masidan keyingisini hosil qilish qonuni sodda qadamlardan iborat bolishi kerak.
Algoritmning ommavivligi. Boshlang‘ich miqdorlar sistemasini ayrim potensial cheksiz to‘plamdan tanlash mumkin.
Algoritmning natijaviyligi. Miqdorlarni topish jarayoni chekli bolishi va natijani (masalaning yechimini) berishi kerak. Matematik amallar asosiy rolni o‘ynaydigan algoritmlar sonli algoritmlar deb yuritiladi. Bundan tashqari, mantiqiy algoritm lar ham mavjud. Mantiqiy algoritmlardan biri quyidagi misoldagi o‘yinda ifodalangan.
Ikki kishi (boshlovchi va uning raqibi) ishtirok etayot-gan o'yinda har bir o‘yinchi navbat bilan 15 ta predmetdan yo bitta, yo ikkita, yoki uchla predmetni oladi. Kim oxirgi predmetni olsa, o‘sha kishio‘yinda g‘olib hisoblanadi. Boshlovchi o‘yinda g‘alaba qozonishi uchun bu o‘yinda qanday strategiyani qo‘llash kerakligini aniqlaymiz. Boshlovchiga bu o‘yinda yutuq ta’minlaydigan strategiyani mantiqiy algoritm sifatida 1-jadval shaklida ifodalash mumkin.
Haqiqatan ham, boshlovchi bunday strategiya natijasida 3 + (4-n) + (4 - m ) + (4 - p ) = 15 - (n + m + p ) predmet, raqib esa n + m + p predmet oladi, ya’ni ikkalasi birgalikda 15ta predmet olishadi. Oxirgi predmetni albatta boshlovchi olganligi tufayli, u o‘yinda yutuqqa erishadi.

Yurishraqami	Boshlovchining yurishidaolingan predmetlar soni	Raqibning yurishida olinganpredmetlar soni