คำถามติดแท็ก cellular-automata

3
หน่วยประมวลผลแบบขนานขนาดใหญ่ในปัจจุบันสามารถเรียกใช้ออโตมาตาเซลลูลาร์ได้อย่างมีประสิทธิภาพหรือไม่?
ฉันสงสัยว่าหน่วยการคำนวณแบบขนานขนาดใหญ่ที่มีอยู่ในการ์ดกราฟิกในปัจจุบัน (ตัวอย่างที่ตั้งโปรแกรมได้ในOpenCLเป็นต้น) ดีพอที่จะจำลองออโตเซล 1D เซลลูลาร์ (หรืออาจเป็นออโตเซล 2D)? หากเราเลือกกริดที่ จำกัด ใด ๆ ที่จะพอดีกับหน่วยความจำของชิปเราสามารถคาดหวังการเปลี่ยนแปลงของออโตเมติกเซลลูลาร์ที่กำหนดบนกริดนี้เพื่อคำนวณได้ในเวลาคงที่ (เสมือน) หรือไม่? ฉันคิดว่าออโตมาร์เซลลูลาร์ 2D จะต้องใช้แบนด์วิดท์มากขึ้นสำหรับการสื่อสารระหว่างส่วนต่าง ๆ ของชิปมากกว่าออโตมาตา 1D ฉันสนใจคำถามเดียวกันในกรณีของการเขียนโปรแกรม FPGA หรือชิปที่กำหนดเอง

2
กฎ 110 ทัวริงสมบูรณ์อย่างไร
ฉันได้อ่านหน้าวิกิพีเดียสำหรับกฎ 110ในออโตมาตาเซลลูลาร์แล้วและฉันรู้ว่ามันทำงานได้อย่างไร (ชุดของกฎตัดสินใจที่จะวาด 1 หรือ 0 ถัดไป) ฉันเพิ่งอ่านว่าทัวริงสมบูรณ์ แต่ฉันไม่สามารถเข้าใจได้ว่าคุณจะ 'โปรแกรม' ใน 'กฎ 110' อย่างไร

1
กำแพงเซลล์ในเกมแห่งชีวิตของ Conway?
มีโครงสร้างที่แข็งแกร่งในเกมแห่งชีวิตของ Conwayหรือไม่? ยกตัวอย่างเช่นเคยมีใครสร้างยานอวกาศที่มีเกราะที่ดูดซับออสซิลเลเตอร์ขนาดเล็กและเครื่องร่อนที่มันชนกันอยู่หรือไม่?

2
แรงน่าดึงดูด 1 / r โดยหุ่นยนต์อัตโนมัติ
มีหุ่นยนต์เซลลูลาร์ (ใน 2D) ที่จำลองแรงระหว่างอนุภาคหรือไม่?1/r1/r1/r โดยเฉพาะอย่างยิ่งฉันต้องการทราบว่าเป็นไปได้หรือไม่ที่มีกฎการอัปเดตในท้องถิ่นอย่างเคร่งครัดเพื่อให้มีวัตถุสองชิ้น (กำหนดไว้ในแบบจำลอง) ดึงดูดกันและกันด้วยแรง1/r1/r1/rโดยที่rrrคือระยะทางที่แยกวัตถุ โดยเฉพาะอย่างยิ่งสิ่งนี้จะทำให้เกิดการเร่งความเร็วของวัตถุ (อนุภาค) เมื่อพวกเขาเข้าใกล้กันมากขึ้น โดยทั่วไปสามารถจำลองแรงดึงดูดระยะยาวระหว่างวัตถุ (blobs) ในการตั้งค่าหุ่นยนต์อัตโนมัติด้วยกฎท้องถิ่นอย่างเคร่งครัดได้หรือไม่?

1
ปัญหาการหยุดชะงักสามารถตัดสินใจได้สำหรับสัญลักษณ์ 3 มิติ
ฉันพยายามที่จะคิดออกว่าปัญหาการหยุดพักสามารถตัดสินใจได้สำหรับสัญลักษณ์สามมิติแบบเซลลูลาร์ออโตมาตา นิยาม Let หมายถึงการกำหนดค่าของระบบในเวลาที่ขั้นตอนที่ฉัน เป็นทางการมากขึ้นf : A ∗ × N → A ∗โดยที่Aคือตัวอักษรf(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA คำนิยาม หุ่นยนต์มือถือได้หยุดในการกำหนดค่าถ้า∀ k ∈ Nเรามีฉ( W , ฉัน) = F ( W , ฉัน+ k )f(w,i)f(w,i)f(w,i)∀k∈N∀k∈N\forall k\in \mathbb{N}f(w,i)=f(w,i+k)f(w,i)=f(w,i+k)f(w,i)=f(w,i+k) ปัญหาการหยุดสำหรับหุ่นยนต์เซลลูล่าร์ที่กำหนดมีดังต่อไปนี้: การป้อนข้อมูล:คำ จำกัดคำถาม:จะเป็นหุ่นยนต์หยุดชะงักในบางรัฐs ?www sss ประถมศึกษาเซลล์ออโต (มี 2 สัญลักษณ์) ที่กำหนดไว้ที่นี่ ฉันมุ่งเน้นออโตมาตะประเภทเดียวกันยกเว้นว่าฉันสนใจในกรณีของ CA ที่มี 3 สัญลักษณ์แทนเพียง 2 …

1
อิทธิพลของมิติออโตมาตาเซลลูลาร์ต่อคลาสความซับซ้อน
ลองมาเป็นตัวอย่างการลด 3d → 2d: ค่าใช้จ่ายในการจำลองหุ่นยนต์เซลลูลาร์ 3d โดยหุ่นยนต์เซลลูล่าร์ 2d คืออะไร? นี่เป็นคำถามที่เจาะจงมากขึ้น: อัลกอริธึมชนิดใดที่ความซับซ้อนของเวลาจะเปลี่ยนไป อะไรคือความคิดพื้นฐานสำหรับการเข้ารหัส ตาราง 3 มิติมีประสิทธิภาพอย่างไร (หรือไม่มีประสิทธิภาพ ... ) ที่แมปกับตาราง 2d (ความท้าทายดูเหมือนว่าจะบรรลุการสื่อสารระหว่างสองเซลล์ที่เดิมเพื่อนบ้านในตาราง 3 มิติ แต่ไม่ใช่เพื่อนบ้านอีกต่อไปในตาราง 2d) โดยเฉพาะอย่างยิ่งฉันสนใจในความซับซ้อนที่ซับซ้อนสำหรับอัลกอริธึมซับซ้อนแบบเอกซ์โปเนนเชียล หมายเหตุ: ฉันไม่สนใจคลาสที่มีความซับซ้อนต่ำซึ่งวิธี I / O ที่เลือกมีอิทธิพลต่อความซับซ้อน (อาจจะดีที่สุดคือการสมมติว่าวิธี I / O ไม่มีมิติ: ทำแบบโลคอลในเซลล์หนึ่งโดยเฉพาะในช่วงเวลาที่แปรผัน) บริบทบางอย่าง: ฉันสนใจในการเขียนกราฟท้องถิ่นแบบขนาน แต่กราฟเหล่านั้นอยู่ใกล้กับกริด 3 มิติ (หรืออาจωd…) กริดมากกว่า 2d กริดฉันต้องการรู้ว่าสิ่งที่คาดหวังจากการนำฮาร์ดแวร์ไปใช้ใน 2 มิติ ชิปซิลิคอน
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.