165
правок
Изменения
→17. Синхронные системы. Проблема византийских генералов. Невозможность решения при N=3, f=1. Формулировка общей теоремы
Известно, что при ''n'' > 3''f'' задача решаема, а иначе нет.
*Каждый рассылает каждому свое число;
*Каждый рассылает каждому собранные значения;
*В полученных векторах каждый проводит голосование.
Можно доказать, например, что при ''n'' = 3, ''f'' = 1 консенсус невозможен.
===18. Синхронные системы. Проблема византийских генералов. Алгоритм для N >= 4, f = 1. Объяснить обобщение для f > 1===
