คำถามติดแท็ก fault-tolerance

4
เกมแห่งชีวิตของ Conway ที่มีเสียงดังสนับสนุนการคำนวณสากลหรือไม่?
การอ้างถึงวิกิพีเดีย "[เกมชีวิตของคอนเวย์] มีพลังของเครื่องจักรทัวริงสากล: นั่นคืออะไรก็ตามที่สามารถคำนวณขั้นตอนวิธีสามารถคำนวณได้ภายในเกมแห่งชีวิตของคอนเวย์" ผลลัพธ์ดังกล่าวขยายไปสู่ ​​Game of Life รุ่นที่มีเสียงดังหรือไม่? รุ่นที่ง่ายที่สุดคือว่าหลังจากที่ทุกรอบทุกเซลล์ตายอยู่กับความน่าจะเป็นขนาดเล็กและทุกเซลล์ที่ตายแล้วจะกลายเป็นชีวิตที่มีความน่าจะเป็นขนาดเล็ก (อิสระ)sเสื้อttsss ความเป็นไปได้อีกอย่างหนึ่งคือการพิจารณาตัวแปรที่น่าจะเป็นดังต่อไปนี้ของกฎของเกมเอง เซลล์ที่มีชีวิตที่มีน้อยกว่าสองตายเพื่อนบ้านอยู่กับความน่าจะเป็น1-T1 - t1−t1-t เซลล์สดใด ๆ ที่มีเพื่อนบ้านสองหรือสามคนอาศัยอยู่โดยมีความน่าจะเป็นในรุ่นต่อไป1 - t1−t1-t เซลล์ที่มีชีวิตที่มีมากกว่าสามตายเพื่อนบ้านอยู่กับความน่าจะเป็น1-T1 - t1−t1-t เซลล์ที่ตายแล้วใด ๆ ที่ตรงกับสามเพื่อนบ้านอยู่จะกลายเป็นเซลล์ที่มีชีวิตที่มีความน่าจะเป็น1-T1 - t1−t1-t คำถาม: เกมแห่งชีวิตที่มีเสียงดังเหล่านี้ยังคงสนับสนุนการคำนวณสากลหรือไม่? หากไม่สามารถพูดได้เกี่ยวกับ "พลังการคำนวณ" ของพวกเขา ข้อมูลที่เกี่ยวข้องกับพลังการคำนวณของออโตมาตาเซลลูล่าร์และออโตมาตาเซลลูล่าร์ที่มีเสียงดังจะได้รับการชื่นชมเช่นกัน (คำถามนี้พัฒนาจากคำถามนี้ใน MathOverflow คำตอบของ Vincent Beffaraใน MO ให้การอ้างอิงที่น่าสนใจสำหรับผลลัพธ์ที่เกี่ยวข้องในด้านการคำนวณของออโตมาติกเซลลูล่าร์ที่มีเสียงดัง)

2
ขอบเขตล่างที่ดีที่สุดสำหรับเกณฑ์การยอมรับความผิดในการคำนวณควอนตัมคืออะไร
เป็นที่ยอมรับกันดีว่ามีจุดรบกวนเสียงสำหรับการคำนวณควอนตัมเช่นนี้ต่ำกว่าขีด จำกัด การคำนวณสามารถถูกเข้ารหัสในลักษณะที่ให้ผลที่ถูกต้องกับความน่าจะเป็นที่ถูก จำกัด ขอบเขต เกณฑ์นี้ขึ้นอยู่กับการเข้ารหัสที่ใช้และลักษณะที่แท้จริงของเสียงรบกวนและเป็นกรณีที่ผลลัพธ์จากการจำลองมักให้เกณฑ์สูงกว่าสิ่งที่สามารถพิสูจน์ได้สำหรับแบบจำลองเสียงรบกวน ดังนั้นคำถามของฉันคือขอบเขตต่ำสุดที่พิสูจน์ให้เห็นว่าเป็นสัญญาณสุ่มแบบสุ่ม? รูปแบบเสียงฉันกำลังหมายถึงการเป็นหนึ่งในการจัดการกับquant-PH / 0504218ที่ Aliferis, Gottesman และ Preskill พิสูจน์ขอบเขตล่าง5} อย่างไรก็ตามโปรดทราบว่าฉันไม่สนใจว่าจะใช้การเข้ารหัสประเภทใดและไม่จำเป็นต้อง จำกัด รหัสที่พิจารณาในบทความนั้น ค่าสูงสุดที่ฉันทราบคือคูณเนื่องจาก Aliferis and Cross ( quant-ph / 0610063 ) ค่านี้ได้รับการปรับปรุงให้ดีขึ้นตั้งแต่นั้นมาหรือไม่? 1.94 × 10 - 42.73 × 10- 52.73×10−52.73 \times 10^{-5}1.94 × 10- 41.94×10−41.94 \times 10^{-4}

1
อะไรคือข้อได้เปรียบของการออกแบบอัลกอริธึมแบบกระจายที่กำหนดขึ้นได้?
อัลกอริธึมแบบกระจายที่ยืดหยุ่นต่อความล้มเหลวสามารถกำหนดได้หรือน่าจะเป็น ยกตัวอย่างเช่นปัญหาฉันทามติ Paxos เป็นตัวกำหนดในแง่ที่ทำให้สมมติฐานมันทำงานได้เสมอ ใน constrast การลงมติแบบสุ่มทำงานร่วมกับความน่าจะเป็นที่กำหนด อะไรคือข้อได้เปรียบของการออกแบบและใช้อัลกอริธึมที่กำหนดขึ้นได้? สมมติฐานที่อัลกอริธึมกำหนดขึ้นอยู่กับความน่าจะเป็นของการถือครองในความเป็นจริง (สิ่งที่เรียกว่าการครอบคลุมสมมติฐานของพวกเขา) ดังนั้นจึงมีความเป็นไปได้เสมอที่อัลกอริทึมที่กำหนดขึ้นจะไม่ทำงานในความเป็นจริง
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.