مسألة الجنرال البيزنطي
من ويكيبيديا، الموسوعة الحرة
مسألة الجنرال البيزنطي بالانجليزيه Byzantine Generals Problem. في الرياضيات ونظرية المخططات وعلم الحاسوب ونظرية التعقيد الحسابي ونظم التشغيل.
تتلخص هذه المسألة بأنه يوجد مجموعة من وحدات المعالجات المركزية التي ترتبط معاً, ويوجد بينها وحدة تالفة جزئياً أي تعطي عمليات حسابية مغلوطة (ما يسمى بالعنصر الخائن) لكل وحدة بحيث تعطي نتيجة معاكسة في كل عملية استدعاء لها.
ولاكتشاف هذا المعالج الخائن، أثبت عالم الحاسوب ليسلي لامبورت انه يوجد للمسألة حل تبحقيق الشرط التالي:
إذا رمز إلى عدد المعالجات الخائنة ب الرمز M فإنه يمكن اكتشاف الجنرال الخائن إذا كان عدد الجنرالات الأوفياء (المعالجات السليمة) يساوي 2M+1.