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