Изменения

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

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

145 байт добавлено, 3 июнь
Валентность
}}
Наблюдение: пусть из конфигурации $X$ есть цепочка шагов, обрабатывающая сообщения из $X$ в подмножестве процессов $A$, за которой идёт цепочка процессов, обрабатывающая сообщения из $X$ в подмножестве процессов $B$, и в конце мы получили конфигурацию $Y$. Тогда эти цепочки коммутируют: можно сначала обработать сообщения подмножеством процессов $B$, а потом — $A$ (так как мы обрабатываем только сообщения из $X$, а не новые).
 
Наблюдение: за $i$-валентной конфигурацией могут следовать только $i$-валентные.
=== Начальная бивалентная конфигурация ===
292
правки

Навигация