مسألة الجنرال البيزنطي

مسألة الجنرال البيزنطي (بالإنجليزية: Byzantine Generals Problem)‏.[1][2][3] في الرياضيات ونظرية المخططات وعلم الحاسوب ونظرية التعقيد الحسابي ونظم التشغيل.

هي تعميم لمعضلة الجنرالين.

تتلخص هذه المسألة بأنه يوجد مجموعة من وحدات المعالجات المركزية التي ترتبط معاً، ويوجد بينها وحدة تالفة جزئياً أي تعطي عمليات حسابية مغلوطة (ما يسمى بالعنصر الخائن) لكل وحدة بحيث تعطي نتيجة معاكسة في كل عملية استدعاء لها.

ولاكتشاف هذا المعالج الخائن، أثبت عالم الحاسوب ليسلي لامبورت أنه يوجد للمسألة حل يحقق الشرط التالي:

إذا رمز إلى عدد المعالجات الخائنة بالرمز M فإنه يمكن اكتشاف الجنرال الخائن إذا كان عدد الجنرالات الأوفياء (المعالجات السليمة) يساوي 2M+1.

انظر أيضاً

مراجع
  1. Chun, Byung-Gon; Maniatis, Petros; Shenker, Scott; Kubiatowicz, John (2007-01-01). "Attested Append-only Memory: Making Adversaries Stick to Their Word". Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles. New York, NY, USA: ACM: 189–204. doi:10.1145/1294261.1294280. ISBN 9781595935915. مؤرشف من الأصل في 29 يناير 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. Thomas A. Henzinger; Christoph M. Kirsch (26 September 2001). Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (PDF). Springer Science & Business Media. صفحات 307–. ISBN 978-3-540-42673-8. مؤرشف من الأصل (PDF) في 9 أغسطس 2017. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. UpRight. Google Code repository for the UpRight replication library. نسخة محفوظة 15 أبريل 2016 على موقع واي باك مشين.
    • بوابة علم الحاسوب
    • بوابة رياضيات
    • بوابة تقنية المعلومات
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.