Изменения

Перейти к: навигация, поиск

Теорема Фишера-Линча-Патерсона (FLP)

49 байт добавлено, 3 июнь
Цепочка бивалентных конфигураций
Например, их можно обрабатывать по очереди, начиная с самых старых.
Тогда каждое событие рано или поздно попадёт в наш шаг и будет обработано.
 
[[Файл:distributed-flp-proof-cd.png|500px]]
==== Шаг 1: существование $i$-валентных конфигураций в $D$ ====
292
правки

Навигация