292
правки
Изменения
Нет описания правки
Можно доказать, например, что при ''n'' = 3, ''f'' = 1 (три процесса, из них один византийский) консенсус [[Проблема византийских генералов|византийских генералов]] невозможен.
Доказательство от Елизарова:
Пусть каждому процессу подаётся число 0 или 1 на вход(могут быть разными на разных процессах). Задача - прийти к нетривиальному обоснованному консенсусу всем работающим процессам на одном значении, которое было дано на вход хотя бы одному работающему невизантийскому процессу. (Сильный консенсус)
[[Файл:byzantine.png|frame|right]] Предположим обратное. Пусть существует алгоритм консенсуса. Тогда расставим 4 ноды с этим алгоритмом, подадим верхним на вход 0, и нижним = 1.
