พบยานอวกาศ 1D ใน Conway’s Game of Life ความยาว 3.7 พันล้านเซลล์

 (conwaylife.com)
1 คะแนน โดย GN⁺ 2025-12-04 | 1 ความคิดเห็น | แชร์ทาง WhatsApp
  • เกมชีวิตของคอนเวย์ (Conway’s Game of Life) ฟอรัมรายงานการสร้างรูปแบบ ยานอวกาศ 1D (1D spaceship) ที่มีความยาวราว 3.7 พันล้านเซลล์ (3.7B)
  • รูปแบบนี้เคลื่อนไปด้วยความเร็ว 133,076,755,768 เจเนอเรชัน ต่อรอบ โดยกล่องขอบเขตเริ่มต้นมีขนาด 3707300605×1 เซลล์
  • นักพัฒนาได้ผสมผสานระบบการก่อสร้างสี่แบบ คือ ECCA1·ECCA2 แขนก่อสร้างแบบอัดแน่น (compressed construction arm), binary arm , fuse arm เพื่อสร้างกระบวนการ การทำสำเนาอัตโนมัติ การทำความสะอาด และการรีสตาร์ต
  • การจำลองถูกตรวจสอบในสภาพแวดล้อม Golly และ lifelib โดย apg(calcyman) ได้เพิ่มโค้ดยืนยันรอบสมบูรณ์ลงในรีโปซิทอรี
  • การค้นพบนี้ได้รับการยกย่องว่าเป็นกรณีตัวอย่างที่แสดงถึงความก้าวหน้าของเทคนิค slow salvo และ เครื่องมืออัตโนมัติสำหรับแพตเทิร์นขนาดยักษ์

รายงานการเสร็จสมบูรณ์ของยานอวกาศ 1D

  • Hippo.69 ประกาศว่าได้เสร็จรูปแบบ ยานอวกาศความเร็ว 2c/133076755768 ซึ่งเดินหน้า 2 เซลล์ต่อหนึ่งรอบ
    • ช่วงพิกัดแกน y อยู่ที่ประมาณ ±5,537,521,000 และค่าพิกัด x สูงสุดประมาณ 11,075,626,500
  • apg(calcyman) ยืนยันผ่านการจำลองทั้งหมดว่ารูปแบบทำงานปกติ และแก้ไขค่าความผิดพลาดของรอบ
  • เวอร์ชันที่เสร็จสมบูรณ์ถูกแชร์ผ่านไฟล์ .mc หลายไฟล์ (example.mc, example_42168M.mc, example_46000M.mc) ทำให้สามารถเล่นทีละขั้นใน Golly ได้

กระบวนการจำลองและดีบัก

  • ในการดีบักเบื้องต้นพบว่ามีปัญหา Cordership สร้าง glider ย้อนทางที่ก่อให้เกิดความเสียหายแบบ SoD (Stop of Destruction)
    • มีการแก้ไข “switch far seed” เพื่อคำนวณผลของ glider นี้เพิ่มเติม
  • การจำลองใช้การปรับแต่ง Hashlife ของ lifelib ช่วยให้รันข้ามไปได้หลายสิบล้านรอบได้อย่างรวดเร็ว
  • สคริปต์ Lua ที่อิงบน BigNum ใน Golly อัตโนมัติการกระโดดจำนวนรอบขนาดใหญ่ และบันทึกจุดตรวจสอบในเหตุการณ์สำคัญ เช่น การเริ่ม ecca2 และการมาถึงของ cordership

โครงสร้างและกลไกการทำงาน

  • ระบบทั้งหมดประกอบด้วยแขนก่อสร้างสี่ชุด
    • Fuse arm: สร้างและเริ่มต้นสัญญาณมิติหนึ่งจากการใช้งาน blinker
    • Binary arm: ตีความสัญญาณบิตจากการรวมของ glider สองตัวเพื่อสร้างโครงสร้าง
    • ECCA1 / ECCA2: แขนก่อสร้างความหนาแน่นสูงที่แปลคำสั่งอัดเพื่อทำความสะอาดรูปแบบและเตรียมรอบถัดไป
  • ในขั้นตอนสุดท้าย ECCA2 ยิง ฝูงยาน cordership (corderfleet) ออกไปเพื่อกำจัดรูปแบบที่เหลืออยู่ และสุดท้ายคืนกลับสู่ สถานะ 1 มิติ (y=0)
  • ทุกกระบวนการถูกออกแบบให้สมมาตรครบถ้วน โดยทั้งสองด้านทำงานเหมือนกันเมื่ออ้างอิงแกนกลาง (spine)

การพัฒนาและความร่วมมือ

  • โครงการเสร็จสมบูรณ์ผ่านความร่วมมือระหว่าง calcyman(apg) และ Hippo.69
    • calcyman ออกแบบครึ่งแรกช่วงต้น (โครงสร้างแขนและโค้ดฐาน)
    • Hippo.69 ทำงานด้านการล้างซิงโครไนซ์และดีบักที่เหลืออยู่ต่อเนื่องอีกหลายปี
  • ผู้ใช้ในฟอรัมเสนอชื่อว่า “Arrow 1” หรือ “** Unidimensional Spaceship 1**”
  • สมาชิกชุมชนเช่น hth3, I6_I6 ได้ลองจำลองใน Golly และฝากข้อความแสดงความยินดีไว้

ความสำคัญทางเทคนิค

  • ยานอวกาศนี้เป็นรูปแบบการทำสำเนาอัตโนรรมติขนาดใหญ่ตัวแรกที่เคลื่อนไหวในรูปแบบ 1 มิติ และยืนยันระดับความซับซ้อนด้านคณิตศาสตร์คำนวณใหม่ในเกมชีวิต
  • เทคโนโลยีล่าสุดอย่าง การอัตโนมัติแบบ slow salvo, เครื่องถอดรหัสอัด ECCA และการควบคุม Cordership ถูกนำมาใช้ครบชุด
  • นักวิจัยกำลังวางแผนการปรับปรุงต่อไปเพื่อย่อขนาดและเพิ่มความเร็ว และกำลังพิจารณาตีพิมพ์เอกสารที่เกี่ยวข้อง

บทความที่เกี่ยวข้อง

1 ความคิดเห็น

 
GN⁺ 2025-12-04
ความคิดเห็นจาก Hacker News

  • ตอนแรกก็เริ่มอ่านแบบ “โอ้ น่าสนใจนี่” แต่ไม่คิดเลยว่าจะมีศัพท์เฉพาะของชุมชน Game of Lifeเยอะขนาดนี้
    มีคำอย่าง ECCA1, gpse90 โผล่มาไม่หยุด จนรู้สึกว่าสุดท้ายคงต้องไปอ่านวิกิอยู่หลายชั่วโมง

    • หนังสือฟรี Conway’s Game of Life: Mathematics and Construction เหมาะเป็นหนังสือเริ่มต้น
    • ฉันแวะเข้าไปดูฟอรัมปีละครั้งประมาณนั้น และก็น่าทึ่งทุกทีที่เห็นว่ามีคนจำนวนมากทุ่มทั้งเวลาและสมองให้กับเรื่องนี้มหาศาล
    • จริง ๆ แล้วนี่ไม่ใช่ “ศัพท์ของ Game of Life” เท่าไร แต่เป็นศัพท์คณิตศาสตร์ในสาย cellular automata มากกว่า

  • น่าทึ่งที่มันเริ่มจากเส้นเรียบง่าย แล้วระเบิดกลายเป็นโครงสร้าง 2D ซับซ้อนขนาดมหึมา ก่อนจะผ่านไปนับไม่ถ้วนหลาย generation แล้วกลับมาเป็นเส้นยาว 3.7B เซลล์อีกครั้ง
    อยากให้มีใครสักคนช่วยวิเคราะห์หน่วยนามธรรมที่อยู่ข้างในนี้

    • ถ้าดูโพสต์ในฟอรัมนี้ จริง ๆ แล้วมันเป็นโครงสร้างแบบเบาบางที่มีเซลล์มีชีวิตน้อยกว่า 1/100 ของความยาวเส้นเสียอีก (Unidimensional spaceship 1)
    • คำอธิบายนี้ช่วยให้เข้าใจมากขึ้น ตอนแรกฉันนึกว่าเป็น glider ของ cellular automata แบบ 1 มิติ

  • การอ่านคำอธิบายยาว ๆ ในฟอรัม GoL ให้ความรู้สึกเหมือนคู่ชีวิตของฉันตอนต้องมานั่งฟังประชุมงานใน Zoomของฉันเลย การพรั่งพรูของศัพท์เฉพาะนี่สุดยอดจริง ๆ

    • พอนึกถึงอารมณ์นั้นก็ทำให้นึกถึงวิดีโอนี้
    • ฉันว่ามันเป็นอุปมาที่ตลกกว่าจำนวน karma ที่คอมเมนต์นี้ได้รับอีก
    • มีแค่ข้อแตกต่างเดียวคือ ถึงฉันจะไม่เข้าใจก็ยังรู้สึกสนุกอยู่ดี ส่วนคู่ชีวิตของฉันสนใจแค่อารมณ์ของฉันเท่านั้น — ประมาณว่า “อ๋อ งั้นสถาปัตยกรรม RISC นั้นไม่เป็นไปตาม ADA-1056 สินะ? ว้าว เยี่ยมมากที่รัก!”

  • “พระเจ้า นี่มัน Quine ชัด ๆ!”
    เมื่อเอาลำดับเชิงเส้นของบิตไปตีความเป็นบอร์ด Game of Life มันคือโครงสร้างที่คัดลอกตัวเองโดยเลื่อนไปทางขวาสองพิกเซล
    มันยากกว่าการทำซ้ำแบบธรรมดา แต่การมองว่ามันเป็นตัวจำลองตัวเองแบบเทปที่พิมพ์โค้ดของตัวเองเลื่อนไป 2 พิกเซลนั้นงดงามมาก

    • จริง ๆ แล้วโครงสร้างแบบนี้เรียกว่า “spaceship” มันเป็นหนึ่งใน spaceship 2 ตัวที่ถูกค้นพบในวันเดียวกัน แต่1D spaceship เพิ่งมีครั้งนี้เป็นครั้งแรก
    • ที่จริงการเคลื่อนที่ยังง่ายกว่าการจำลองตัวเองเสียอีก เพราะจนถึงตอนนี้ก็ยังไม่พบ replicator ที่แท้จริง แม้จะมี spaceship อยู่หลายล้านแบบแล้วก็ตาม

  • มีคนบอกว่า “ช่วงเริ่มต้นมันช้า ให้ข้ามไปที่ generation 42168M เลย” แล้วมันก็ทำให้นึกถึงภาพสิ่งมีชีวิตที่มองจักรวาลเป็นของเล่นแล้วพูดว่า “รอไปสัก 13.8B ปีแล้วจะเริ่มสนุกเอง”

    • ในเชิงปรัชญา ความจริงอาจเป็นเพียงการจำลอง GoLที่ซับซ้อนก็ได้ ถ้าเราอยู่ในระบบจำลอง เราจะรับรู้มันได้ไหมนะ

  • มีคำถามเปิดที่น่าสนใจอยู่สองข้อใน Game of Life

    1. พฤติกรรมจากสถานะตั้งต้นแบบสุ่มจะเป็นอย่างไร? เพราะมัน Turing-complete จึงอาจเกิดสิ่งมีชีวิตทรงปัญญาขึ้นมาได้ จะเป็นความโกลาหลที่ครอบงำ หรือจะมีปัญญาเกิดขึ้น? (การอภิปรายที่เกี่ยวข้อง)
    2. จะมีโครงสร้างแบบsuperstableที่คงอยู่ได้แม้มีการรบกวนจากภายนอกทุกแบบหรือไม่? (คำถามที่เกี่ยวข้อง)
    • คำถามแรกถูกพูดถึงในหนังสือ The Recursive Universe (1984) ของ William Poundstone หนังสือเล่มนั้นนิยามชีวิตผ่านเครื่องจักรจำลองตัวเอง และต่อมา Gemini ที่ Andrew J. Wade สร้างในปี 2010 ก็เป็นกรณีสำเร็จครั้งแรกที่เข้ากับนิยามนั้น
      โอกาสที่ชีวิตจะเกิดจากสถานะตั้งต้นแบบสุ่มนั้นแทบเป็นศูนย์ แต่ชีวิตก็มีศักยภาพที่จะวิวัฒน์ได้
    • แม้มันจะ Turing-complete แต่การคำนวณจริงทำได้ยาก และแพตเทิร์นก็มักเอนเอียงไปทางความโกลาหลหรือการดับสูญ การจะย้ายข้อมูลต้องใช้โครงสร้างซับซ้อนอย่าง spaceship แทน ขณะที่ตัวแปรอย่าง Lenia หรือ Neural CA มีเสถียรภาพมากกว่า
    • การจัดวางแบบสุ่มจะเต็มไปด้วย noise สม่ำเสมอที่ความหนาแน่น 50% ทำให้แทบไม่เกิดโครงสร้างน่าสนใจ ต้องเริ่มจากscale-free noiseจึงจะมีโครงสร้างระดับกว้างเกิดขึ้น
    • ความเป็น Turing-complete ไม่ได้รับประกันว่าจะเกิดปัญญา แต่ถ้าเป็นระนาบอนันต์ สุดท้ายอาจมีสิ่งมีชีวิตทรงปัญญาเพียงหนึ่งเดียวเกิดขึ้นและเติมเต็มทั้งระบบก็ได้ แต่ถ้ามีหลายตัวเกิดขึ้นก็อาจแข่งขันกันจนสูญพันธุ์
    • ถ้าคอยเพิ่มจุดแบบสุ่มลงบนระนาบอนันต์ต่อไปเรื่อย ๆ สุดท้ายก็จะเกิดสิ่งมีชีวิตทรงปัญญาที่เปลี่ยนพลังงานเอนโทรปีต่ำให้เป็นเอนโทรปีสูงขึ้นมา

  • ฉันเคยทำงานทดลอง glider แบบเคลื่อนที่ต่อเนื่อง ไว้อันหนึ่ง — glider.gif

    • สวยจริง ๆ เหมือนงานศิลปะที่ถ่ายทอดกฎพื้นฐานออกมาให้มองเห็นได้

  • ฉันสงสัยว่ามีภาพแสดง glider ไหม อยากเห็นมันโดยใช้แกนเวลาเป็นอีกหนึ่งมิติ

    • เท่าที่ฉันเข้าใจ นี่ก็แค่เริ่มจากเส้นเซลล์ขนาด 1x3.7B บน GoL แบบ 2D
    • ถ้าจะรัน Golly คือซอฟต์แวร์ที่ดีที่สุด มันจำลองได้เร็วเพราะอาศัยอัลกอริทึม HashLife
    • หลังจากก้าวแรกไปแล้วมันก็ไม่ใช่ 1D อีกต่อไป ดังนั้นภาพแบบนั้นจึงเป็นไปไม่ได้

  • มันเป็นโครงสร้างที่อยู่ในกรอบสูง 1 เซลล์ได้เฉพาะบางช่วงเท่านั้น

    • ฉันไม่ใช่ GoLtician แต่ในกฎมาตรฐานแล้ว ดูเหมือนว่าโครงสร้างแบบนั้นจะเป็นไปไม่ได้ถ้าไม่นิ่งหรือไม่ก็ดับสูญ
      ถึงอย่างนั้นความหลงใหลและความใส่ใจที่อัดแน่นอยู่ในเธรดนี้ก็น่าประทับใจมาก

  • เมื่อปี 1995 ฉันเคยได้รับอีเมลจากคนชื่อ John Conway ตอนนั้นก็แค่เพราะข้อความที่ฉันเขียนในกลุ่มข่าวคณิตศาสตร์ แต่กว่าจะมารู้ทีหลังก็พบว่าเขาคือ Conway คนนั้นเอง
    ตอนนี้พอมองโลก GoL อันน่าทึ่งนี้ ก็อดคิดไม่ได้ว่ามนุษยชาติควรนำศักยภาพด้านความสร้างสรรค์แบบนี้ไปใช้กับอะไร