12
Yu. A. Zuev
Ushbu sharh nafaqat tavsif berishga harakat qildi
pol funktsiyalarining asosiy koxmoinatorlik xususiyatlari, lekin umuman
tadqiqotda qo'llaniladigan usullarni qamrab olish, ularning qiymati ba'zan
chegaraviy mantiqdan tashqariga chiqadi. Faqat hisobga olinadi
klassik ikki xonali chegara funktsiyalari. Moslashuv algoritmlari va
ishonchlilikni oshirish masalalarida chegara funksiyalarining statistik xossalari
umumiy ko'rinishdagi ma'lumotlar hisobga olinmaydi. Bu savollar emas
kombinatorlik xossalari bilan bevosita bog'liq va chambarchas bog'liq
amaliy muammolar bilan alohida ko'rib chiqishga arziydi. Kimdan
chegara elementlaridagi sxemalar faqat ko'rib chiqiladi
pol-dizyunktiv sxemalar, ya'ni pol tasvirlari. Ba'zida dalillar
faqat belgilangan, lekin eng muhim hollarda, muallif havolalarni taqdim etishga intildi
atributi bilan birlamchi manbalarga.
So'rovning asosiy qismi § 2, buning uchun katta darajada
quyidagi taqdimot asos qilib olingan. Bu o'quvchi tomonidan taxmin qilinadi
mantiqiy funksiyalarning standart kursi va dn nazariyasi bilan tanishish. f., ichida
sifatini Nigmatullin kitobini tavsiya qilishimiz mumkin [36]. Yoniq
maxsus tushuntirishsiz butun okean bo'ylab quyidagilar qo'llaniladi: 1)
{0, 1} n toʻplamda maʼlum qisman tartiblanish: x = (xv ..., xn) ^ y =
T ^ 1 '• • -1 Yn) i = 1, 2, ..., ui 2) monoton mantiqiy tushunchasi
funktsiyalarga qarang. y = ^ ph (x) ^ ph (y); 3) pastki birlik va yuqori tushunchasi
monoton funksiyaning noli ph: a € = (0, 1} * pastki birlik deyiladi.
ph funktsiyasi, agar ps (a) - 1 va ph () = 0 bo'lsa, har qanday o'xshash aniqlovchi uchun
yuqori nol bo'linadi; pastki birliklarga mos keladigan birikmalar,
monoton funksiyaning oddiy implikantlari; 4) masofa
Hamming r (a, p) cho'qqilar orasidagi a, p e {0, \} n - son
ular o'rtasida mos kelmaydigan koordinatalar; 5) kubning i-qavati i birlikli cho'qqilar to'plamidir
koordinatalar; 6) loga = log2 &. Ba'zilarini ham aytamiz
xossa o'zgaruvchilarning deyarli barcha mantiqiy funktsiyalari uchun qanoatlantiriladi
yoki tipik mantiqiy funktsiya uchun, agar qaysi funktsiyalarning ulushi bo'lsa
u qanoatlansa, n ortishi bilan 1 ga intiladi.Qolgan zarur
tushuncha va ta’riflar yo‘l davomida kiritiladi.
Ozor muallif nuqtai nazaridan qiziqarlilar ro'yxati bilan yakunlanadi
e'tiborni jalb qilishni umid qiladigan ochiq masalalar
chegaraviy mantiq muammolariga kombinatoryal tahlil bo'yicha mutaxassislar. muallif
natijalarni bitta ko'rib chiqishda taqdim etilganda, o'z vaqtida ekanligini biladi
o'nlab yillar davomida ajratilgan, u noaniqliklardan qochishga zo'rg'a erishdi
yoki hatto xatolar, va xabar bergan har bir kishiga minnatdor bo'lardi yoki
unga o'z sharhlarini yuborganlar.
Do'stlaringiz bilan baham: |