5-mavzu: Algoritmik yechilmaydigan muammolar. Mayxil teoremasi. Algoritmik darjalar

Aytaylik, siz tekislikni kvadrat rangli plitkalar bilan qoplashni xohlaysiz. Plitkalar cheklangan sonli turlardan tanlanadi va har bir tur uchun cheksiz miqdordagi plitkalar bo'lishi mumkin. Siz amal qilmoqchi bo'lgan qoida - qo'shni plitkalarning bir xil rangdagi ulashgan qirralari bor. Plitkalarni burish yoki aks ettirish mumkin emas. Butun samolyotni qoplash mumkinmi? Quyida plitkalar to'plamining namunasi va plitkaning boshlanishi keltirilgan.

Biz butun samolyotni plitka bilan qoplashingiz mumkinligiga ishonchingiz komil emas. Bir nechta Python dasturlarini yozganingizdan so'ng va muammolarni hal qilish qobiliyatingizga ishonchingiz komil bo'lsa, siz samolyotni plitka qo'yish mumkinligini hal qiladigan dastur yozishingiz kerakmi deb o'ylaysiz. Agar iloji bo'lsa, dastur buni qanday qilish bo'yicha tavsiyalar ishlab chiqishi kerak. Plitalar to'plamini kirish sifatida qabul qiladigan va bu plitkalarni butun tekislikni plitka qo'yish uchun ishlatish mumkinligini aniqlaydigan Python dasturi yo'q. Bunday dastur mavjud emasligi matematik jihatdan isbotlangan. Vangning kafel muammosi hal etilmaydigan muammo deb ataladi.

E’tiboringiz uchun rahmat!