Изменения

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

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

36 байт добавлено, 16:48, 3 июня 2019
Валентность
{{Определение
|definition=
Конфигурация называется '''$i$-валентной''' и '''одновалентной''', если все цепочки шагов из неё приводят к решению $i$.
Таким образом, бывают 0-валентные и 1-валентные конфигурации.
Если же из конфигурации есть цепочки, приводящие к каждому из решений, то такая конфигурация называется '''бивалентной'''.
292
правки

Навигация