Superpermutatsiya - Superpermutation

3 belgili superpermutatsiyada almashtirishlarning taqsimlanishi.

Yilda kombinatorial matematika, a superpermutatsiya kuni n belgilar bir mag'lubiyat har birini o'z ichiga olgan almashtirish ning n kabi belgilar pastki chiziq. Esa ahamiyatsiz superpermutatsiyalar shunchaki birga keltirilgan har bir almashtirishdan tuzilishi mumkin, superpermutatsiyalar ham qisqaroq bo'lishi mumkin (ahamiyatsiz holatlar bundan mustasno n = 1) chunki bir-birini qoplashga yo'l qo'yilgan. Masalan, holda n = 2, superpermutatsiya 1221 barcha mumkin bo'lgan almashtirishlarni o'z ichiga oladi (12 va 21), ammo qisqaroq 121 qatorda ikkala almashtirish ham mavjud.

$ 1 $ uchun ko'rsatilgan n ≤ 5, eng kichik superpermutatsiya n belgilar uzunligi 1 ga teng! + 2! +… + n! (ketma-ketlik A180632 ichida OEIS ). Birinchi to'rtta eng kichik superpermutatsiyalar 1, 3, 9 va 33 uzunliklarga ega bo'lib, 1, 121, 123121321 va 123412314231243121342132413214321 qatorlarini hosil qiladi. Ammo n = 5, uzunligi 153 ga teng bo'lgan bir nechta eng kichik superpermutatsiyalar mavjud. Bunday superpermutatsiyalarning biri quyida keltirilgan, shu uzunlikning ikkinchisini ipning ikkinchi yarmidagi to'rtlik va beshlikni almashtirish orqali olish mumkin (qalin 2):[1]

123451234152341253412354123145231425314235142315423124531243512431524312543121345213425134215342135421324513241532413524132541321453214352143251432154321

Holatlar uchun n > 5, eng kichik superpermutatsiya hali isbotlanmagan va ularni topish uchun namuna ham topilmagan, ammo ular uchun pastki va yuqori chegaralar topilgan.

Superpermutatsiyalarni topish

2 ta belgidan iborat superpermutatsiyadan 3 ta belgi bilan superpermutatsiyani yaratish diagrammasi.

Buyurtma superpermutatsiyasini yaratish uchun eng keng tarqalgan algoritmlardan biri rekursiv algoritmdir. Birinchidan, tartibning superpermutatsiyasi superpermutatsiyada qanday paydo bo'lganligi tartibida uning individual almashinishlariga bo'linadi. So'ngra ushbu almashtirishlarning har biri o'zlari bilan nusxasi yoniga joylashtiriladi nIkki nusxa o'rtasida th belgisi qo'shilgan. Nihoyat, har bir hosil bo'lgan struktura yonma-yon joylashtiriladi va barcha qo'shni bir xil belgilar birlashtiriladi.[2]

Masalan, 3-tartibli superpermutatsiya 2 ta belgidan iborat bo'lganidan yaratilishi mumkin; 121 superperutatsiyasidan boshlab va uni 12 va 21 permutatsiyalarga bo'linib, permutatsiyalar ko'chirilib 12312 va 21321 sifatida joylashtirildi. Ular 1231221321 ni yaratish uchun birlashtirilib, o'rtada bir xil qo'shni 2lar birlashtirilib, 123121321 ni hosil qildi. bu haqiqatan ham tartibning superpermutatsiyasi. Ushbu algoritm hamma uchun eng qisqa superpermutatsiyani keltirib chiqaradi n 5 dan kam yoki unga teng, lekin imkon qadar eng qisqa vaqtdan tobora uzoqroq bo'ladi n bundan tashqari oshirish.[2]

Superpermutatsiyalarni topishning yana bir usuli - a yaratishda yotadi grafik bu erda har bir almashtirish tepalik va har bir almashtirish bir chekka bilan bog'langan. Har bir chekkada vazn u bilan bog'liq; vazn bitta permutatsiyaning oxiriga qancha belgi qo'shilishi mumkinligi (boshidan bir xil sonli belgini tashlab) boshqa almashtirishga olib kelishi bilan hisoblab chiqiladi.[2] Masalan, 123 dan 312 gacha bo'lgan chekka 2 vaznga ega, chunki 123 + 12 = 12312 = 312. Har qanday giltoniya yo'li yaratilgan grafik orqali superpermutatsiya bo'ladi va eng kichik vaznga ega yo'lni topish muammosi sotuvchi muammosi. Uzunlikdan kichik bo'lgan superpermutatsiyaning birinchi misoli Robin Xyuston tomonidan ushbu usul bo'yicha kompyuter qidiruvi yordamida topilgan.[3]

Pastki va yuqori chegaralar

6 va undan ortiq belgilar uchun eng kichik superpermutatsiyani topish algoritmi hali hal qilinmagan. Biroq, bir nechta dalillar asta-sekin kuchlilarni qisqartirdi yuqori va pastki chegaralar vaqt o'tishi bilan muammoning.

Pastki chegaralar yoki Haruxi muammosi

2011 yil sentyabr oyida Science & Math bo'yicha anonim plakat ("/ sci /") taxta ning 4chan eng kichik superpermutatsiya yoqilganligini isbotladi n belgilar (n ≥ 2) kamida uzunlikka ega n! + (n−1)! + (n−2)! + n − 3.[4] Yaponlarga nisbatan Anime seriyali Haruhi Suzumiyaning melankoliyasi, muammo "Haruhi muammosi" deb rasm panelida namoyish etildi: agar siz serialning birinchi mavsumining 14 qismini har qanday tartibda tomosha qilishni istasangiz, siz tomosha qilishingiz kerak bo'lgan eng qisqa epizodlar qatori qanday bo'ladi?[5] Ushbu pastki chegaraning isboti 2018 yil oktyabr oyida matematik va kompyuter olimi Robin Xyuston tvitterda yozganidan so'ng jamoatchilik manfaatiga sabab bo'ldi.[4] 2018 yil 25-oktabrda Robin Xyuston, Jey Pantone va Vins Vatter ushbu dalilning takomillashtirilgan versiyasini Butun sonlar ketma-ketligining on-layn ensiklopediyasi (OEIS).[5][6] "Haruhi muammosi" uchun (14 ta belgi uchun), pastki chegara hozirda kamida 93,884,313,611, yuqori chegara esa eng ko'pi 93,924,230,411.[4]

Yuqori chegaralar

2018 yil 20 oktyabrda Aaron Uilyams tomonidan qurilishni qurish uchun moslashtirish orqali Gemilton yo'llari orqali Keyli grafigi ning nosimmetrik guruh,[7] Greg Egan uzunlikning superpermutatsiyasini ishlab chiqarish algoritmini ishlab chiqdi n! + (n−1)! + (n−2)! + (n−3)! + n − 3.[2] 2018 yilgacha ular ma'lum bo'lgan eng kichik superpermutatsiyalar edi n ≥ 7. Ammo, 2019 yil 1 fevralda Bogdan Koanda 5907 uzunlikdagi n = 7 uchun superpermutatsiya topganligini e'lon qildi yoki (n! + (n−1)! + (n−2)! + (n−3)! + n - 3) - 1, bu yangi rekord bo'ldi.[2] Robin Xyuston tomonidan ishlab chiqilgan g'oyalardan foydalangan holda 2019 yil 27 fevralda Egan superpermutatsiyani yaratdi n = 5906 uzunlikdagi 7.[2] Shu kabi qisqa superpermutatsiyalar qiymatlari uchun ham mavjudmi n > 7 ochiq savol bo'lib qolmoqda. Hozirgi eng yaxshi pastki chegara (yuqoridagi bo'limga qarang) n = 7 hali ham 5884.

Shuningdek qarang

Qo'shimcha o'qish

  • Ashlock, Daniel A.; Tillotson, Jenett (1993), "Kichik superpermutatsiyalar va minimal in'ektsion superstringsning qurilishi", Kongress Numerantium, 93: 91–98, Zbl  0801.05004
  • Anonim 4chan afishasi; Xyuston, Robin; Pantone, Jey; Vatter, Vins (25.10.2018). "Eng qisqa namunaning uzunligining pastki chegarasi" (PDF). Butun sonlar ketma-ketligining on-layn ensiklopediyasi.

Adabiyotlar

  1. ^ Johnston, Nataniel (2013 yil 28-iyul). "Minimal superpermutatsiyalarning o'ziga xosligi". Diskret matematika. 313 (14): 1553–1557. arXiv:1303.4150. Bibcode:2013arXiv1303.4150J. doi:10.1016 / j.disc.2013.03.024. Zbl  1368.05004. Olingan 16 mart, 2014.
  2. ^ a b v d e f Egan, Greg (20 oktyabr 2018). "Superpermutations". gregegan.net. Olingan 15 yanvar 2020.
  3. ^ Xyuston, Robin (2014 yil 21-avgust), "Minimal superpermutatsiya muammosini hal qilish", arXiv:1408.5108 [matematik CO ]
  4. ^ a b v Griggs, Meri Bet. "Anonim 4chan posti 25 yoshli matematik sirni hal qilishga yordam berishi mumkin". The Verge.
  5. ^ a b Klarreyx, Erika (2018 yil 5-noyabr). "Ilmiy-fantastika bo'yicha yozuvchi Greg Egan va noma'lum matematik Viz" Permutatsiya bo'yicha oldingi muammo ". Quanta jurnali. Olingan 21 iyun, 2020.
  6. ^ Anonim 4chan plakati; Xyuston, Robin; Pantone, Jey; Vatter, Vins (25.10.2018). "Eng qisqa namunaning uzunligining pastki chegarasi" (PDF). OEIS. Olingan 27 oktyabr 2018.
  7. ^ Aaron, Uilyams. "Keyl Digrafining nosimmetrik guruhdagi gamiltonikligi D = (1 2 ... n) va D = (1 2) tomonidan hosil qilingan". arXiv:1307.2549v3.

Tashqi havolalar