292
правки
Изменения
Нет описания правки
Формально мы это не формулировали и не доказывали.
Оригинальная формулировка — Brewer's Conjecture (2000), а формализовано в работе Gilbert & Lynch (2004).
Там есть много тонкостей с тем, что такое "не отказавший узел", "одинаковые данные", "разрыв связи", "система продолжает работать ", "когда система всё-таки окончательно ломается и считается недоступной" и тому подобное".
== Классификация алгоритмов ==
[[Файл:Distributed-cap.png|400px]]
