Dark Integers: การคำนวณวัตถุประสงค์ทั่วไปบนเราเตอร์อินเทอร์เน็ต

Greg Egan ในนิยายของเขา "Dark Integers" (เรื่องราวเกี่ยวกับสองจักรวาลที่มีคณิตศาสตร์สองตัวที่สื่อสารกันโดยใช้วิธีการพิสูจน์ทฤษฎีบทเกี่ยวกับความไม่สอดคล้องกันทางคณิตศาสตร์) อ้างว่ามันเป็นไปได้ที่จะสร้างคอมพิวเตอร์เอนกประสงค์ ของการสลับแพ็กเก็ต (และการตรวจสอบการแก้ไขเพื่อความแม่นยำ)

เป็นไปได้ในหลักการหรือไม่

ปรับปรุง

หากต้องการทำให้คำถามแม่นยำยิ่งขึ้น:

อะไรคือคุณสมบัติขั้นต่ำสุดที่เครือข่ายเราเตอร์จะต้องมีเพื่อให้สามารถสร้างคอมพิวเตอร์ที่ใช้งานทั่วไปได้

computability universal-computation

— Vag
แหล่งที่มา

คำถามดูไม่ชัดเจน หากเป็นเช่นนั้นจะไม่สามารถเข้าใจได้สำหรับผู้ที่ไม่ได้อ่านหนังสือดังกล่าว

— Tsuyoshi Ito

บางทีคำถามจะได้รับการกำหนดที่ดีขึ้นถ้าฉันทำมันอย่างเป็นทางการ แต่การทำอย่างถูกต้องฉันจะต้องตอบมากกว่าครึ่งทาง

— Vag

มันจะเป็นการดีกว่าถ้าจะเพิ่ม "ดังนั้นคำถาม: มีเพียงเครือข่ายของ IP packet switching เครื่องจักรมันเป็นไปได้ที่จะสร้างบนคอมพิวเตอร์วัตถุประสงค์ทั่วไปหรือไม่หรือฉันต้องไปไกลกว่าและสมมติ a) มี shot shot เดียว ผู้ริเริ่มหรือหรือ b) มีแหล่งแพ็กเก็ตคงที่ที่สามารถควบคุมได้หรือไม่ " ?

— Vag

ผู้เขียนไม่ได้เจาะลึกรายละเอียดมากนักเขาเขียนอะไรบางอย่างที่ฉันพูด - แค่คอมพิวเตอร์บนเราเตอร์โดยไม่มีรายละเอียด

— Vag

ไม่แน่ใจว่าทำไมถึงเป็นหัวข้อนอก มันออกจะเล็กน้อยไปหน่อยและคลุมเครือเล็กน้อย แต่มันเป็นคำถามที่น่าสนใจเกี่ยวกับการคำนวณแบบสากล

— Suresh Venkat

คำตอบ:

สิ่งนี้มีประโยชน์:

คอมพิวเตอร์กาฝากเป็นตัวอย่างของเทคโนโลยีที่มีศักยภาพที่สามารถดูได้พร้อมกันว่าเป็นภัยคุกคามหรือการเพิ่มสุขภาพให้กับจักรวาลออนไลน์ บนอินเทอร์เน็ตการสื่อสารที่เชื่อถือได้นั้นรับประกันโดยชุดโปรโตคอลมาตรฐานที่คอมพิวเตอร์ทุกเครื่องใช้ โปรโตคอลเหล่านี้สามารถใช้ประโยชน์ในการคำนวณที่มีโครงสร้างพื้นฐานการสื่อสารเปลี่ยนอินเทอร์เน็ตเข้ากับคอมพิวเตอร์ที่กระจายอยู่ในเซิร์ฟเวอร์โดยไม่เจตนาดำเนินการคำนวณในนามของโหนดระยะไกล ในรุ่นนี้เครื่องหนึ่งบังคับให้คอมพิวเตอร์เป้าหมายเพื่อแก้ปัญหาการคำนวณที่ซับซ้อนเพียงแค่ทำให้พวกเขามีส่วนร่วมในการสื่อสารมาตรฐาน

ในเว็บไซต์คอมพิวเตอร์กาฝากคุณสามารถมีรายละเอียดข้อมูลเกี่ยวกับวิธีการที่คุณสามารถแก้ปัญหา 3 SAT โดยใช้การตรวจสอบของแพ็กเก็ตของ

ลิงค์ที่มีประโยชน์อื่น ๆ :

รายงานการสัมมนาเรื่องการคำนวณปรสิตโดย KKMaharana
บทความจากธรรมชาติเกี่ยวกับการใช้กาฝาก (สิงหาคม 2544)

— Marzio De Biasi
แหล่งที่มา

วิธีการหนึ่งในการใช้เราเตอร์อินเทอร์เน็ต ฯลฯ ในขณะที่คอมพิวเตอร์ได้รับการตีพิมพ์ใน จดหมายใน Nature โดย Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong และ Jay B. Brockman พวกเขาเรียกว่าความคิดที่เหมือนกาฝากคอมพิวเตอร์ ความคิดของพวกเขาคือการใช้การตรวจสอบที่ดำเนินการในโปรโตคอล TCP เพื่อทำการคำนวณและแก้ปัญหา NP-complete แบบออฟไลน์แม้ว่าจะออนไลน์ งานที่ได้รับการขยายที่นี่กับเครื่องเสมือนทำงานอย่างเต็มที่ มีเอกสารมากมาย (เป็นภาษาเยอรมัน) และแม้กระทั่งรหัสต้นฉบับที่ให้ไว้

หนังสือSilence on the Wireเป็นคำอธิบายถึงวิธีการขยายความคิดนี้เพื่อใช้แพ็กเก็ตที่ลอยอยู่รอบ ๆ อินเทอร์เน็ตเป็น RAM โดยการส่งแพ็คเก็ตที่มีรูปแบบไม่ดีซึ่งมีข้อมูลซึ่งจะได้รับการตีกลับในภายหลัง จำนวน RAM เท่ากับจำนวนแพ็คเก็ตที่ส่งออกคูณด้วยขนาดของแพ็คเก็ต

— เดฟคลาร์ก
แหล่งที่มา

แรมเป็นสิ่งที่ดี แต่แล้ว ALU ล่ะ วิธีการพูดการคำนวณแบบผสมประกอบด้วยการคำนวณสองแบบและแบบที่สามโดยใช้ผลลัพธ์ของทั้งสองนี้

— Vag

@Vag: ฉันได้ปรับปรุงคำตอบของฉันพร้อมลิงก์ที่อธิบายถึงสิ่งที่สามารถทำได้

— Dave Clarke

เย็น! ขอโทษฉันไม่สามารถตอบสองคำตอบพร้อมกันได้!

— Vag