Yosh-Fibonachchi panjarasi - Young–Fibonacci lattice

Yosh-Fibonachchi grafigi, Hasse diagrammasi Yosh-Fibonachchi panjarasidan.

Yilda matematika, Yosh-Fibonachchi grafigi va Yosh-Fibonachchi panjarasinomi bilan nomlangan Alfred Yang va Leonardo Fibonachchi, 1 va 2 raqamlari ketma-ketligini o'z ichiga olgan ikkita bir-biriga yaqin tuzilmalar bo'lib, ushbu turdagi har qanday raqamli ketma-ketlikni berish mumkin daraja, uning raqamlari yig'indisi: masalan, 11212 martabasi 1 + 1 + 2 + 1 + 2 = 7. Qadimgi Hindistonda allaqachon ma'lum bo'lganidek, berilgan darajadagi ketma-ketliklar soni Fibonachchi raqami. Yosh-Fibonachchi panjarasi cheksizdir modulli panjara ushbu darajali tuzilishga mos keladigan elementlar sifatida ushbu raqamli ketma-ketliklarga ega. Young-Fibonacci grafigi bu panjaraning grafigi bo'lib, har bir sonli ketma-ketlik uchun tepalikka ega. Modulli panjaraning grafigi sifatida u modulli grafik.

Young-Fibonacci grafigi va Young-Fibonacci panjarasi dastlab ikkala maqolada o'rganilgan Fomin (1988) va Stenli (1988). Ular yaqin qarindoshlarning nomi bilan nomlangan Yoshning panjarasi va ularning elementlari Fibonachchi sonidan keyin istalgan darajadagi.

Berilgan darajaga ega raqamli ketma-ketliklar

Darajali raqamli tartib r yoki 2-raqamni darajaga ega ketma-ketlikka qo'shish orqali hosil bo'lishi mumkin r − 2yoki 1-raqamni darajaga ega ketma-ketlikka qo'shish orqali r − 1. Agar f(r) xaritalarni aks ettiruvchi funktsiya r shu darajadagi har xil raqamli ketma-ketliklar soniga, shuning uchun f qondiradi takrorlanish munosabati f(r) = f(r − 2) + f(r − 1) belgilaydigan Fibonachchi raqamlar, lekin boshlang'ich shartlari biroz boshqacha: f(0) = f(1) = 1 (bitta daraja-0 qator mavjud, the bo'sh satr, va bitta darajali 1 satr, bitta raqamdan iborat 1). Ushbu boshlang'ich shartlar ning qiymatlari ketma-ketligini keltirib chiqaradi f Fibonachchi raqamlaridan bitta pozitsiyaga o'tish kerak: f(r) = Fr + 1 qayerda Fmen belgisini bildiradi menFibonachchi raqami.

Qadimgi hind tadqiqotida prosody, Fibonachchi raqamlari berilgan umumiy uzunlikdagi qisqa va uzun bo'g'inlarning turli xil ketma-ketliklari sonini hisoblash uchun ishlatilgan; agar 1 raqami qisqa bo‘g‘inga, 2 raqami uzun bo‘g‘inga to‘g‘ri kelsa, raqamlar ketma-ketligining darajasi mos bo‘g‘inlar ketma-ketligining umumiy uzunligini o‘lchaydi. Ga qarang Fibonachchi raqami batafsil ma'lumot uchun maqola.

Raqamli ketma-ketliklarning grafikalari

Young-Fibonacci grafigi cheksizdir grafik, "1" va "2" raqamlarining har bir qatori uchun vertex bilan (shu jumladan bo'sh satr ). Ipning qo'shnilari s dan hosil bo'lgan iplar s quyidagi operatsiyalardan biri bilan:

  1. Ichiga "1" qo'ying s, chap tomonda joylashgan "1" dan oldin (yoki istalgan joyda) s agar u allaqachon "1" ni o'z ichiga olmaydi).
  2. Chapdagi "1" ni o'zgartiring s "2" ga
  3. Eng chapdagi "1" -ni olib tashlang s.
  4. Uning chap tomonida "1" bo'lmagan "2" ni "1" ga o'zgartiring.

Har bir operatsiyani teskari yo'naltirish mumkinligini tekshirish juda sodda: 1 va 3 operatsiyalar, xuddi 2 va 4 operatsiyalar kabi bir-biriga teskari. Shuning uchun olingan grafika deb hisoblanishi mumkin yo'naltirilmagan. Biroq, odatda a yo'naltirilgan asiklik grafik unda har bir chekka pastki darajadagi tepalikdan yuqori darajadagi tepalikka ulanadi.

Ikkalasi kabi Fomin (1988) va Stenli (1988) ushbu grafik quyidagi xususiyatlarga ega:

  • U bog'langan: har qanday bo'sh bo'lmagan mag'lubiyat biron bir operatsiya bilan o'z darajasini pasaytirishi mumkin, shuning uchun bo'sh satrga olib boriladigan operatsiyalar ketma-ketligi mavjud, bu esa orqaga qarab bo'sh satrdan har bir tepaga grafada yo'naltirilgan yo'lni beradi.
  • U martabali tuzilishga mos keladi: har bir yo'naltirilgan yo'l o'zining so'nggi nuqtalari darajalarining farqiga teng uzunlikka ega.
  • Har ikki alohida tugun uchun siz va v, tez tarqalgan oldingi salafiylarning soni siz va v ning tezkor vorislari soniga teng siz va v; bu raqam nol yoki bitta.
  • Har bir tepalikning tashqi darajasi bitta va uning darajasiga teng.

Fomin (1988) bu xususiyatlarga ega grafikni chaqiradi a Y-graf; Stenli (1988) ushbu xususiyatlarning zaif versiyasiga ega bo'lgan grafikni chaqiradi (unda har qanday juft tugunning umumiy o'tmishdoshlari va umumiy vorislari soni teng bo'lishi kerak, lekin bittadan katta bo'lishi mumkin) differentsial poset.

Qisman tartib va ​​panjara tuzilishi

The o'tish davri yopilishi Young-Fibonacci grafigi a qisman buyurtma. Sifatida Stenli (1988) har qanday ikkita tepalikni ko'rsatadi x va y ushbu tartibda eng buyuk umumiy o'tmishdoshga ega (ularning uchrashmoq) va noyob noyob umumiy voris (ularning qo'shilish); Shunday qilib, bu buyurtma a panjara, Young-Fibonacci panjarasi deb nomlangan.

Uchrashuvni topish uchun x va y, birinchi navbatda ulardan birini tekshirib ko'rish mumkin x va y ikkinchisining salafidir. Ip x boshqa mag'lubiyatning o'tmishdoshi y "2" raqamlar soni qolganida aynan shu tartibda y, ning eng uzun tarqalgan qo'shimchasini olib tashlagandan so'ng x va y, kamida qolgan barcha raqamlar soniga teng x umumiy qo'shimchani olib tashlaganidan keyin. Agar x ning oldingisidir y ushbu sinovga ko'ra, ularning uchrashuvi xva shunga o'xshash bo'lsa y ning oldingisidir x unda ularning uchrashuvi y. Ikkinchi holda, agar bo'lmasa x na y ikkinchisining o'tmishdoshi, ammo ulardan biri yoki ikkalasi "1" raqamidan boshlanadi, agar ushbu dastlabki raqamlar olib tashlansa uchrashuv o'zgarmaydi. Va nihoyat, agar ikkalasi ham bo'lsa x va y "2" raqamidan boshlang, uchrashuvi x va y ushbu raqamni ikkalasidan olib tashlash, hosil bo'lgan qo'shimchalarning uchrashishini topish va "2" ni boshiga qaytarish orqali topish mumkin.

Umumiy merosxo'r x va y (eng kam tarqalgan voris bo'lmasa ham) uzunlikning uzunligiga teng bo'lgan "2" raqamli qatorni olish orqali topish mumkin. x va y. Eng kam umumiy voris - bu umumiy vorislar bo'lgan juda ko'p sonli satrlarning uchrashishi x va y va "2" larning oldingi qatorlari.

Sifatida Stenli (1988) Young-Fibonacci panjarasi bundan keyin kuzatiladi modulli. Fomin (1988) noto'g'ri deb da'vo qilmoqda tarqatuvchi; ammo {21,22,121,211,221} qatorlari tomonidan hosil qilingan subtitr, taqsimlovchi panjaralarda taqiqlangan olmos tagligini hosil qiladi.

Adabiyotlar

  • Fomin, S. V. (1988), "Umumlashtirilgan Robinzon-Shensted-Knut yozishmalari", Matematika fanlari jurnali, 41 (2): 979–991, doi:10.1007 / BF01247093. Dan tarjima qilingan Zapiski Nauchnyx Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR 155: 156–175, 1986.
  • Stenli, Richard P. (1988), "Differentsial posets", Amerika Matematik Jamiyati jurnali, 1 (4): 919–961, doi:10.2307/1990995, JSTOR  1990995.