Patersons qurtlari - Patersons worms - Wikipedia

Patersonning qurtlari oila uyali avtomatlar tomonidan 1971 yilda ishlab chiqilgan Mayk Paterson va Jon Xorton Konvey tarixdan oldingi ba'zi qurtlarning xatti-harakatlari va ovqatlanish tartiblarini modellashtirish. Modelda, qurt uchburchak panjaradagi chiziqlar bo'ylab oziq-ovqatni ifodalovchi nuqtalar o'rtasida harakatlanadi. Uning burilishlari qurt hozirda bo'lgan nuqtaga yaqin joylashgan, yeyilgan va yeyilmaydigan chiziqlar segmentlarining konfiguratsiyasi bilan belgilanadi. Oddiy qoidalar bilan boshqarilganiga qaramay, qurtlarning harakati juda murakkab bo'lishi mumkin va bitta variantning yakuniy taqdiri hali ham noma'lum.

1970-yillarning boshlarida qurtlarni Paterson, Konvey va Maykl Beeler o'rganishgan, ular 1973 yil iyun oyida Beeler tomonidan tasvirlangan,[1] va 1973 yil noyabrda taqdim etilgan Martin Gardner "Matematik o'yinlar" ustuni Ilmiy Amerika.[2]

Elektron san'at 1983 yilgi o'yin Qurtlarmi? Patersonning qurtlarini interaktiv ravishda amalga oshirishdir, har safar qurt o'zi uchun qoida bo'lmaydigan tarzda aylanishi kerak bo'lsa, u to'xtaydi va foydalanuvchiga ushbu qurt uchun ushbu qoidani belgilaydigan yo'nalishni tanlashga imkon beradi.

Tarix

Qoldiq izlari.

Patersonning qurtlari - bu tarixdan oldingi qurtlarning xatti-harakatlarini simulyatsiya qilishga urinishdir. Hovuzlar tubidagi cho'kindilar bilan oziqlangan bu jonivorlar u erlarda oziq-ovqat kam bo'lishi sababli sayohat qilishgan yo'llardan qochishgan, ammo oziq-ovqat yamoqlarda bo'lganligi sababli, qurtlarni oldingi yo'llar yaqinida bo'lish qiziqtirgan. Qurtlarning har xil turlari sayohat qilingan yo'llarga qanchalik yaqin turish, qachon burilish va burilish qanchalik keskin bo'lishiga oid turli xil tug'ma qoidalarga ega edi.[1] 1969 yilda Raup va Seilacher toshbo'ron qilingan qurtlar izlarini kompyuter simulyatsiyasini yaratdi va bu simulyatsiyalar Paterson va Konueyni oddiy tarmoqlarda idealizatsiya qilingan qurtlarni o'rganish uchun oddiy qoidalar to'plamini ishlab chiqishga ilhomlantirdi.[3]

Konveyning asl modeli ortogonal panjara ustidagi qurt edi, ammo u faqat uch xil turdagi qurtlarni ishlab chiqardi, ularning barchasi juda qiziq emas. Paterson uchburchak panjarada qurtlarni ko'rib chiqdi.[1] Patersonning qurtlari Beeler tomonidan a Massachusets texnologiya instituti AI Memo (#[1] ) va 1973 yil noyabrda taqdim etilgan Martin Gardner "Matematik o'yinlar" ustuni Ilmiy Amerika,[2] va keyinchalik qayta nashr etilgan Gardner 1986 yil.[4] Ushbu simulyatsiyalar bir vaqtning o'zida ishlab chiqilgan boshqa hujayralar avtomatlaridan yondoshish jihatidan farq qilar edi, ular hujayralarga va ular o'rtasidagi munosabatlarga yo'naltirilgan.[5] Bu kabi oddiy kompyuter modellari haqiqiy mavjudotlarning xatti-harakatlarini aniq tasvirlash uchun juda mavhum, ammo ular juda oddiy qoidalar ham o'zlarining izlariga o'xshash naqshlarni keltirib chiqarishi mumkinligini namoyish etadi.[6]

Qoidalar

Qurt cheksiz uchburchak panjaraning bir nuqtasidan boshlanadi. U har bir nuqtada uchrashadigan oltita panjara chizig'idan biri bo'ylab harakatlana boshlaydi[6] va u bir masofa birligini bosib o'tgach, yangi nuqtaga keladi. Shunda qurt o'tib ketgan va o'tkazilmagan katakchalarning taqsimlanishiga qarab qaror qiladi, u qaysi yo'nalishda harakat qiladi. Yo'nalishlar qurt nuqtai nazariga nisbatan. Agar chuvalchang bu aniq taqsimotga duch kelmagan bo'lsa, u hech qanday o'tqazilmagan panjara bo'ylab ketishi mumkin. Shu vaqtdan boshlab, agar u yana shu taqsimotga duch kelsa, xuddi shu tarzda harakatlanishi kerak. Agar o'tkazib yuborilmagan katakchalar mavjud bo'lmasa, qurt o'ladi va simulyatsiya tugaydi.[1]

Munozara

Yangi turdagi chorrahaga duch kelganda qaysi yo'nalishga o'girilishiga qarab qurtlarning xilma-xil turlari mavjud. Qurtlarning har xil navlarini sistematik ravishda har bir yo'nalishni raqamni belgilash va har safar yangi chorrahaga duch kelganida qilingan tanlovni ro'yxatlash orqali tasniflash mumkin.[7]

Olti yo'nalish quyidagicha raqamlangan:

PatersonWormDirections.png

Shunday qilib yo'nalish 0 qurt to'g'ridan-to'g'ri, yo'nalish bo'ylab sayohat qilishni davom etayotganligini ko'rsatadi 1 gijja 60 ° ga burilishini va shunga o'xshash tarzda boshqa yo'nalishlarga aylanishini ko'rsatadi. Qurt yo'nalishda yura olmaydi 3 chunki bu shunchaki bosib o'tgan panjara. Shunday qilib, {1,0,5,1} qoidasi bo'lgan qurt birinchi marta tanlov qilish uchun 1-yo'nalishda, keyingi safar 0-yo'nalishda tanlov qilish uchun va hokazolarni tanlashga qaror qiladi. Agar bitta bitta tarmoq mavjud bo'lsa, qurt uni olishdan boshqa chorasi yo'q va bu odatda aniq ko'rsatilmagan.

Patersonning qurti {qoida bilan { 2, 0, 0 }

Qoidalar to'plami boshlangan qurt 0 abadiy to'g'ri chiziqda davom etadi. Bu ahamiyatsiz hodisa, shuning uchun qurt faqat ochilmagan panjarali nuqta bilan to'qnashganda aylanishi kerakligi belgilab qo'yilgan. Bundan tashqari, nometall nusxadagi nometall nusxalardan qochish uchun qurtning birinchi burilishi o'ngga burilish bo'lishi kerak.[1] Uchinchi marta kelib chiqadigan bo'lsa, qurt o'ladi, chunki u erda ishlov berilmagan qirralar mavjud emas. Faqat kelib chiqishi qurt uchun o'limga olib kelishi mumkin.[8]

1296 qurt qoidalari kombinatsiyasi mavjud.[4] Buni quyidagi dalil bilan ko'rish mumkin:

  1. Agar chuvalchang yeyilgan segmentlardan tashqari tugunga duch kelsa, u hozirgina iste'mol qilganidan tashqari, u keskin burilish yoki yumshoq tomonga burilishi mumkin. Bu yuqoridagi rasmda ko'rsatilgan holat. Chap yoki o'ng tomonning dastlabki tanlovi bir-birini aks ettiradigan kombinatsiyalarni yaratganligi sababli, ular bir-biridan unchalik farq qilmaydi.
  2. Agar u bitta tugunni bitta yeyilgan segment bilan uchratsa, qolgan to'rttasi bo'ylab ketishi mumkin. Faqat qurtning kelib chiqishiga birinchi marta qaytishi bu xususiyatga ega.
  3. Ikkita yeyilgan segment uchun, yeyilgan segmentlarning joylashishi muhim ahamiyatga ega. Mavjud bo'lishi mumkin bo'lgan ikki segmentli kesishmalarning yagona turi bu birinchi qoida bo'yicha ishlab chiqarilgan bo'lib, ular uchun to'rtta yaqinlashish yo'nalishlari mavjud bo'lib, ularning har biri uchta uchish yo'nalishini tanlashni taklif qiladi. Bu qoidalarni tanlashda 81 xil alternativaga imkon beradi.
  4. Agar qurt kelib chiqishiga qaytsa, u uchta yeyilgan segmentga duch keladi va tarqalishidan qat'i nazar, qolgan ikkita yeyilmaydigan birini tanlashi kerak.
  5. To'rtta yeyilgan segment uchun faqat bitta yeyilmagan segment qoladi va uni qurt olib ketishi kerak.

Shuning uchun 2 × 4 × 81 × 2x1 = 1296 xil qoidalar kombinatsiyasi mavjud. Ularning aksariyati boshqalarning ko'zgu tasviridagi nusxalari, boshqalari esa o'zlarining qoidalaridagi barcha tanlovlarni amalga oshirishga majbur bo'lmasdan vafot etadilar va 411 ta alohida turni qoldiradilar (agar cheksiz tekis chiziqli chuvalchang kiritilgan bo'lsa, 412).[8] Ushbu turlarning 336 tasi o'ladi. 73 naqsh cheksiz xatti-harakatlarni namoyish etadi, ya'ni ular asl nusxasiga qaytmaydigan takrorlanadigan naqshga o'tishadi. Yana ikkitasi cheksiz deb ishoniladi va bittasi hal qilinmaydi. Qoidalarning o'n birida murakkab xatti-harakatlar mavjud. Ular ko'p milliardlab takrorlashlardan keyin ham o'lmaydi va aniq cheksiz naqshni qo'llamaydi. Ularning yakuniy taqdiri 2003 yilgacha noma'lum edi Benjamin Chaffin ularni hal qilishning yangi usullarini ishlab chiqdi. Ko'p soatlik kompyuter vaqtidan so'ng, o'n bitta qoidadan to'qqiztasi hal qilindi va qurtlarni {1,0,4,2,0,2,0} va {1,0,4,2,0,1,5 qoidalari qoldirdi. }.[7] Ulardan birinchisi hal qilindi Tomas Rokicki, kim 57 dan keyin to'xtashini aniqladi trillion (5.7×1013) vaqt chegaralari, faqat {1,0,4,2,0,1,5} hal qilinmagan. Rokickining so'zlariga ko'ra, qurt 5,2 × 10 dan keyin ham faol19 timesteps. U asosidagi algoritmdan foydalangan Bill Gosper "s Hashlife favqulodda tezlikda qurtlarni simulyatsiya qilish.[8] Ushbu xatti-harakatlar faqat 16 segmentdan iborat eng uzun yo'lga ega bo'lgan to'rtburchaklar panjara chuvalchangidan ancha murakkabroq.[6]

Ikki xil turdagi qurtlar bir xil yo'lni yaratishi mumkin, ammo ular bir xil tartibda o'tishlari shart emas.[1] Eng keng tarqalgan yo'l ham qisqa: etti nuqta "radioaktivlik belgisi ".[4] Ushbu yo'lning bir misoli yuqoridagi animatsion rasmda ko'rsatilgan. Hammasi bo'lib 299 ta turli xil yo'llar mavjud va ularning 209 tasi faqat bitta tur tomonidan ishlab chiqarilgan.[1]

Shuningdek qarang

  • Band bo'lgan qunduz - Faqat cheklangan holatlar to'plamidan foydalangan holda, lentada eng ko'p 1 yozadigan to'xtovchi, ikkilik alifboli Turing mashinasi
  • Langton chumoli - Ikki o'lchovli Turing mashinasi paydo bo'ladigan xatti-harakatlar bilan
  • Turing mashinasi - mavhum mashinani belgilaydigan hisoblashning matematik modeli
  • Turmite - yo'nalish bilan bir qatorda hozirgi holatga va "lenta" ga ega bo'lgan Tyuring mashinasi, bu hujayralarning cheksiz ikki o'lchovli panjarasidan iborat.

Adabiyotlar

  1. ^ a b v d e f g Beeler, Maykl (1973 yil iyun). "Patersonning qurti". Massachusets texnologiya instituti. hdl:1721.1/6210. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  2. ^ a b Gardner, Martin (1973 yil noyabr). "Matematik o'yinlar: dasturlashtirilgan" qurtlar tomonidan yaratilgan hayoliy naqshlar'". Ilmiy Amerika. 229 (5): 116–123. doi:10.1038 / Scientificamerican1173-116. yopiq kirish
  3. ^ "Patersonning qurtlari". WolframMathworld. Olingan 2008-08-15.
  4. ^ a b v Gardner, Martin (1986), Tugilgan donutlar va boshqa matematik o'yin-kulgilar, V. H. Freeman, Bibcode:1986kdom.book ..... G, ISBN  978-0-7167-1799-7, JANOB  0857289
  5. ^ Parikka, Jussi (2007). Raqamli yuqumli kasalliklar: kompyuter viruslarining media arxeologiyasi. Nyu-York: Piter Lang nashriyoti. p. 234. ISBN  978-1-4331-0093-2.
  6. ^ a b v Xeys, Brayan (2003 yil sentyabr - oktyabr). "Optimal quyqani quyish vositasini qidirishda". Amerikalik olim. 95 (5): 392–396. doi:10.1511/2003.5.392. ochiq kirish
  7. ^ a b Pegg Jr., Ed (2003 yil 27 oktyabr). "Matematik o'yinlar: Patersonning qurtlari qayta ko'rib chiqildi". MAA Onlayn. Arxivlandi asl nusxasi 2004-03-23. Olingan 2008-08-15.
  8. ^ a b v Chaffin, Benjamin. "Patersonning qurtlari". Arxivlandi asl nusxasi 2011 yil 7-iyun kuni.

Tashqi havolalar