Och ko’z algoritmlar

Och ko’z algoritmlarning amaliy tadbig’i.
Faraz qilaylik , S muammoga ochko'z algoritmni qo'llash orqali olingan yechim, O esa muammoning optimal yechimi bo'lsin. Agar S va O ikkalasi bir xil bo'lsa, bizning algoritmimiz sukut bo'yicha to'g'ri. Agar S va O bir- biridan farq qiladigan bo'lsa, muammo uchun turli xil mahalliy echimlarni yig'ishda biz xatoga yo'l qo'ydik va unchalik samarali bo'lmagan yechimni tanladik, natijada yechim sifatida O emas , S ga olib keldi . Ammo ochko'z algoritmlarning ta'rifiga ko'ra biz har doim mahalliy optimal echimni tanlaymiz. Demak, qarama-qarshilik bilan isbotlashdan foydalanib, ochko'z algoritm to'g'ri echimni beradi, deb aytish mumkin.
E’tiboringiz uchun rahmat!!!