Xatlar panjarasi - Posts lattice - Wikipedia

Yilda mantiq va universal algebra, Pochta panjarasi belgisini bildiradi panjara hammasidan klonlar tomonidan buyurtma qilingan ikki elementli to'plamda {0, 1} qo'shilish. Bu nomlangan Emil Post, 1941 yilda panjaraning to'liq tavsifini nashr etgan.^[1] Post panjarasining nisbiy soddaligi uch elementli (yoki kattaroq) to'plamdagi klonlar panjarasidan keskin farq qiladi. doimiylikning kardinalligi va murakkab ichki tuzilish. Postning zamonaviy ekspozitsiyasini Lau (2006) da topish mumkin.^[2]

Asosiy tushunchalar

A Mantiqiy funktsiya, yoki mantiqiy biriktiruvchi, bu n-ary operatsiya f: 2ⁿ → 2 kimdir uchun n ≥ 1, qayerda 2 {0, 1} ikki elementli to'plamni bildiradi. Mantiqiy funktsiyalar quyidagilardir proektsiyalar

{ displaystyle pi _ {k} ^ {n} (x_ {1}, nuqtalar, x_ {n}) = x_ {k},}

va berilgan m-ary funktsiyasi fva n-ary funktsiyalari g₁, ..., g_m, boshqasini qurishimiz mumkin n-ary funktsiyasi

{ displaystyle h (x_ {1}, dots, x_ {n}) = f (g_ {1} (x_ {1}, dots, x_ {n}), dots, g_ {m} (x_ { 1}, nuqta, x_ {n})),}

ularni chaqirdi tarkibi. Kompozitsiya ostida yopilgan va barcha proektsiyalarni o'z ichiga olgan funktsiyalar to'plamiga a deyiladi klonlash.

Ruxsat bering B biriktiruvchi vositalar to'plami bo'ling. A tomonidan belgilanadigan funktsiyalar formula foydalanish taklifiy o'zgaruvchilar va bog'laydiganlar B klon hosil qilish [B], albatta, bu o'z ichiga olgan eng kichik klondir B. Biz qo'ng'iroq qilamiz [B] klon hosil qilingan tomonidan B, va buni ayting B bo'ladi asos ning [B]. Masalan, [¬, ∧] barchasi mantiqiy funktsiyalar, [0, 1, ∧, ∨] esa monoton funktsiyalardir.

¬, N operatsiyalaridan foydalanamizp, (inkor ), ∧, Kpq, (birikma yoki uchrashmoq ), ∨, Apq, (ajratish yoki qo'shilish ), →, Cpq, (xulosa ), ↔, Epq, (ikki shartli ), +, Jpq (eksklyuziv disjunktsiya yoki Mantiq uzuk qo'shimcha ), ↛, Lpq,^[3] (soddalashtirmaslik ),?: (uchlik shartli operator ) va doimiy unary funktsiyalari 0 va 1. Bundan tashqari, bizga chegara funktsiyalari kerak

{ displaystyle mathrm {th} _ {k} ^ {n} (x_ {1}, dots, x_ {n}) = { begin {case} 1 & { text {if}} { bigl |} {i mid x_ {i} = 1 } { bigr |} geq k, 0 & { text {aks holda.}} end {case}}}

Masalan, th₁ⁿ barcha o'zgaruvchilarning katta disjunktsiyasidir x_menva th_nⁿ katta biriktiruvchidir. Bu alohida ahamiyatga ega ko'pchilik funktsiyasi

{ displaystyle mathrm {maj} = mathrm {th} _ {2} ^ {3} = (x land y) lor (x land z) lor (y land z).}

Ning elementlarini belgilaymiz 2ⁿ (ya'ni haqiqat topshiriqlari) vektor sifatida: a = (a₁, ..., a_n). To'plam 2ⁿ tabiiyga ega mahsulot Mantiqiy algebra tuzilishi. Ya'ni buyurtma berish, uchrashish, qo'shilish va boshqa operatsiyalar n-ariy haqiqat topshiriqlari aniq yo'nalishda aniqlanadi:

{ displaystyle (a_ {1}, dots, a_ {n}) leq (b_ {1}, dots, b_ {n}) iff a_ {i} leq b_ {i} { text {for }} i = 1, nuqta, n,}

{ displaystyle (a_ {1}, dots, a_ {n}) land (b_ {1}, dots, b_ {n}) = (a_ {1} land b_ {1}, dots, a_ {n} land b_ {n}).}

Klonlarning nomlanishi

Kesishma o'zboshimchalik bilan klonlarning soni yana klondir. Klonlarning kesishishini oddiy bilan belgilash qulay yonma-yon joylashish, ya'ni klon C₁ ∩ C₂ ∩ ... ∩ C_k bilan belgilanadi C₁C₂...C_k. Quyida ba'zi bir maxsus klonlar keltirilgan:

M - bu to'plam monoton funktsiyalari: f(a) ≤ f(b) har bir kishi uchun a ≤ b.
D. ning to'plami o'z-o'zini dual funktsiyalari: ¬f(a) = f(¬a).
A ning to'plami afine funktsiyalar: qoniqtiradigan funktsiyalar

{ displaystyle { begin {aligned} & f (a_ {1}, dots, a_ {i-1}, c, a_ {i + 1}, dots, a_ {n}) = f (a_ {1}) , dots, d, a_ {i + 1}, dots) Rightarrow & f (b_ {1}, dots, c, b_ {i + 1}, dots) = f (b_ {1}, dots, d, b_ {i + 1}, dots) end {hizalangan}}}

har bir kishi uchun men ≤ n, a, b ∈ 2ⁿva v, d ∈ 2. Teng ravishda, funktsiyalar sifatida ifodalanadi f(x₁, ..., x_n) = a₀ + a₁x₁ + ... + a_nx_n kimdir uchun a₀, a.

U ning to'plami mohiyatan unary funktsiyalari, ya'ni ko'pi bilan bitta o'zgaruvchiga bog'liq funktsiyalar: mavjud men = 1, ..., n shu kabi f(a) = f(b) har doim a_men = b_men.
Λ - bu to'plam birlashtiruvchi funktsiyalari: f(a ∧ b) = f(a) ∧ f(b). Λ klon biriktiruvchilardan iborat ${ displaystyle f (x_ {1}, dots, x_ {n}) = bigwedge _ {i in I} x_ {i}}$ barcha pastki to'plamlar uchun Men {1, ..., n} (shu jumladan, bo'sh birikma, ya'ni doimiy 1) va doimiy 0.
V - bu to'plam ajratuvchi funktsiyalari: f(a ∨ b) = f(a) ∨ f(b). Teng ravishda, V ayiruvlardan iborat ${ displaystyle f (x_ {1}, dots, x_ {n}) = bigvee _ {i in I} x_ {i}}$ barcha pastki to'plamlar uchun Men {1, ..., n} (shu jumladan, bo'sh disjunktsiya 0) va doimiy 1.
Har qanday kishi uchun k ≥ 1, T₀^k funktsiyalar to'plamidir f shu kabi

{ displaystyle mathbf {a} ^ {1} land cdots land mathbf {a} ^ {k} = mathbf {0} Rightarrow f ( mathbf {a} ^ {1})) land cdots land f ( mathbf {a} ^ {k}) = 0.}

Bundan tashqari,

{ displaystyle mathrm {T} _ {0} ^ { infty} = bigcap _ {k = 1} ^ { infty} mathrm {T} _ {0} ^ {k}}

- bu yuqorida o'zgaruvchi bilan chegaralangan funktsiyalar to'plami: mavjud men = 1, ..., n shu kabi f(a) ≤ a_men Barcha uchun a.

Maxsus holat sifatida P₀ = T₀¹ ning to'plami 0-saqlash funktsiyalari: f(0) = 0. Bundan tashqari, ⊤ ni ko'rib chiqish mumkin T₀⁰ bo'sh uchrashuvni hisobga olganda.

Har qanday kishi uchun k ≥ 1, T₁^k funktsiyalar to'plamidir f shu kabi

{ displaystyle mathbf {a} ^ {1} lor cdots lor mathbf {a} ^ {k} = mathbf {1} Rightarrow f ( mathbf {a} ^ {1})) lor cdots lor f ( mathbf {a} ^ {k}) = 1,}

va

{ displaystyle mathrm {T} _ {1} ^ { infty} = bigcap _ {k = 1} ^ { infty} mathrm {T} _ {1} ^ {k}}

- bu quyida o'zgaruvchi bilan chegaralangan funktsiyalar to'plami: mavjud men = 1, ..., n shu kabi f(a) ≥ a_men Barcha uchun a.

Maxsus ish P₁ = T₁¹ iborat 1-saqlash funktsiyalari: f(1) = 1. Bundan tashqari, ⊤ ni ko'rib chiqish mumkin T₁⁰ bo'sh qo'shilishni hisobga olganda.

Barcha funktsiyalarning eng katta kloni ⊤ bilan belgilanadi, eng kichik klon (u faqat proektsiyalardan iborat) ⊥ bilan belgilanadi va P = P₀P₁ ning klonidir doimiy saqlovchi funktsiyalari.

Panjaraning tavsifi

Barcha klonlarning to'plami a yopish tizimi, demak u a hosil qiladi to'liq panjara. Panjara nihoyatda cheksiz va uning barcha a'zolari yakuniy ravishda yaratilgan. Barcha klonlar quyidagi jadvalda keltirilgan.

Hasse diagrammasi Postning panjarasi

Panjaraning markaziy qismi

klonlash	uning asoslaridan biri
⊤	∨, ¬
P₀	∨, +
P₁	∧, →
P	x ? y : z
T₀^k, k ≥ 2	th_k^k+1, ↛
T₀^∞	↛
PT₀^k, k ≥ 2	th_k^k+1, x ∧ (y → z)
PT₀^∞	x ∧ (y → z)
T₁^k, k ≥ 2	th₂^k+1, →
T₁^∞	→
PT₁^k, k ≥ 2	th₂^k+1, x ∨ (y + z)
PT₁^∞	x ∨ (y + z)
M	∧, ∨, 0, 1
Deputat₀	∧, ∨, 0
Deputat₁	∧, ∨, 1
Deputat	∧, ∨
MT₀^k, k ≥ 2	th_k^k+1, 0
MT₀^∞	x ∧ (y ∨ z), 0
MPT₀^k, k ≥ 2	th_k^k+1 uchun k ≥ 3, maj, x ∧ (y ∨ z) uchun k = 2
MPT₀^∞	x ∧ (y ∨ z)
MT₁^k, k ≥ 2	th₂^k+1, 1
MT₁^∞	x ∨ (y ∧ z), 1
MPT₁^k, k ≥ 2	th₂^k+1 uchun k ≥ 3, maj, x ∨ (y ∧ z) uchun k = 2
MPT₁^∞	x ∨ (y ∧ z)
Λ	∧, 0, 1
.P₀	∧, 0
.P₁	∧, 1
.P	∧
V	∨, 0, 1
VP₀	∨, 0
VP₁	∨, 1
VP	∨
D.	maj, ¬
DP	maj, x + y + z
DM	maj
A	↔, 0
Mil	¬, x + y + z
AP₀	+
AP₁	↔
AP	x + y + z
U	¬, 0
UD	¬
UM	0, 1
YUQARILADI₀	0
YUQARILADI₁	1
⊥

Sakkizta cheksiz oilalarning aslida a'zolari ham bor k = 1, ammo ular jadvalda alohida ko'rinadi: T₀¹ = P₀, T₁¹ = P₁, PT₀¹ = PT₁¹ = P, MT₀¹ = MP₀, MT₁¹ = MP₁, MPT₀¹ = MPT₁¹ = MP.

Panjara har bir klonni xaritalaydigan tabiiy simmetriyaga ega C uning ikkita kloniga C^d = {f^d | f ∈ C}, qaerda f^d(x₁, ..., x_n) = ¬f(¬x₁, ..., ¬x_n) bo'ladi de Morgan dual mantiqiy funktsiya f. Masalan, Λ^d = V, (T₀^k)^d = T₁^kva M^d = M..

Ilovalar

Post tomonidan berilgan mantiq klonlarining to'liq tasnifi mantiqiy funktsiyalar sinflari haqidagi turli savollarni echishga yordam beradi. Masalan:

Panjarani tekshirish shuni ko'rsatadiki, maksimal klonlar ⊤ dan farq qiladi (ko'pincha shunday deyiladi) Pochta darslari) M, D, A, P₀, P₁va $ phi $ ning har bir tegishli subkloni ulardan birida joylashgan. To'plam sifatida B biriktiruvchi funktsional jihatdan to'liq agar u gener hosil qilsa, biz quyidagi tavsifni olamiz: B funktsional jihatdan to'liq, agar u beshta Post sinflaridan biriga kiritilmagan bo'lsa.
The qoniqish muammosi mantiqiy formulalar uchun To'liq emas tomonidan Kuk teoremasi. Muammoning cheklangan versiyasini ko'rib chiqing: sobit cheklangan to'plam uchun B biriktiruvchi vositalar, ruxsat bering B-SAT berilganligini tekshirishning algoritmik muammosi B-formula qoniqarli. Lyuis^[4] buni ko'rsatish uchun Postning panjarasining tavsifidan foydalangan BS funktsiyasini yaratish mumkin bo'lsa, SAT NP bilan yakunlanadi B (ya'ni, [B] ⊇ T₀^∞) va boshqa barcha holatlarda B-SAT polinom-vaqt hal qiluvchi.

Variantlar

Post dastlab klonlarning zamonaviy ta'rifi bilan emas, balki shunday deb nomlangan bilan ishlagan takroriy tizimlar, bu almashtirish bilan yopilgan operatsiyalar to'plamidir

{ displaystyle h (x_ {1}, dots, x_ {n + m-1}) = f (x_ {1}, dots, x_ {n-1}, g (x_ {n}, dots, x_ {n + m-1})),}

shuningdek o'zgaruvchilarni almashtirish va identifikatsiyalash. Asosiy farq shundaki, takroriy tizimlar barcha proektsiyalarni o'z ichiga olmaydi. Har bir klon takrorlanadigan tizim bo'lib, klon bo'lmagan 20 ta bo'sh bo'lmagan takrorlanadigan tizim mavjud. (Shuningdek, Post bo'sh iterativ tizimni tasnifdan chiqarib tashladi, shuning uchun uning diagrammasi hech qanday elementga ega emas va panjara bo'la olmaydi.) Boshqa alternativa sifatida ba'zi mualliflar a tushunchasi bilan ishlashadi yopiq sinf, bu qo'pol o'zgaruvchilarni kiritishda yopilgan iterativ tizim. Klon bo'lmagan to'rtta yopiq sinf mavjud: bo'sh to'plam, doimiy 0 funktsiyalar to'plami, doimiy 1 funktsiyalar to'plami va barcha doimiy funktsiyalar to'plami.

Faqatgina kompozitsiya mos keladigan unary doimiy funktsiyasidan nullar funktsiyasini yaratishga imkon bermaydi, shuning uchun nullar funktsiyalari Postning tasnifidagi klonlardan chiqarilishining texnik sababi. Agar cheklovni olib tashlasak, biz ko'proq klonlarni olamiz. Ya'ni, har bir klon C kamida bitta doimiy funktsiyani o'z ichiga olgan Postning panjarasida kamroq cheklangan ta'rif ostida ikkita klonga to'g'ri keladi: Cva C unary versiyalari joylashgan barcha nullary funktsiyalar bilan birgalikda C.

Adabiyotlar

^ E. L. Post, Matematik mantiqning ikki qiymatli takrorlanadigan tizimlari, Matematik tadqiqotlar yilnomalari, yo'q. 5, Princeton University Press, Princeton 1941, 122 bet.
^ D. Lau, Cheklangan to'plamlardagi funktsiya algebralari: Ko'p qiymatli mantiq va klon nazariyasi bo'yicha asosiy dars, Springer, Nyu-York, 2006, 668 bet. ISBN 978-3-540-36022-3
^ Yozef Mariya Bochenskiy (1959), rev., Albert Menne, ed. va trans., Otto Bird, Precis of Matematik mantiq, Nyu-York: Gordon va buzilish, II qism, "Jumlalar mantiqi", sek. 3.23, "" Np, '"3.32 sek.," 16 dyadik haqiqat funktsiyalari ", 10-11 betlar.
^ H. R. Lyuis, Propozitsion hisob-kitoblar uchun to'yinganlik muammolari, Matematik tizimlar nazariyasi 13 (1979), 45-53 betlar.

[1] E. L. Post, Matematik mantiqning ikki qiymatli takrorlanadigan tizimlari, Matematik tadqiqotlar yilnomalari, yo'q. 5, Princeton University Press, Princeton 1941, 122 bet.

[2] D. Lau, Cheklangan to'plamlardagi funktsiya algebralari: Ko'p qiymatli mantiq va klon nazariyasi bo'yicha asosiy dars, Springer, Nyu-York, 2006, 668 bet. ISBN 978-3-540-36022-3

[3] Yozef Mariya Bochenskiy (1959), rev., Albert Menne, ed. va trans., Otto Bird, Precis of Matematik mantiq, Nyu-York: Gordon va buzilish, II qism, "Jumlalar mantiqi", sek. 3.23, "" Np, '"3.32 sek.," 16 dyadik haqiqat funktsiyalari ", 10-11 betlar.

[4] H. R. Lyuis, Propozitsion hisob-kitoblar uchun to'yinganlik muammolari, Matematik tizimlar nazariyasi 13 (1979), 45-53 betlar.

[1]

[2]

[3]

[4]