292
правки
Изменения
→Решение при отсутствии отказов
Каждый процесс ждёт предложения остальных, после чего детерминированной функцией выбирает элемент из множества.
У остальных процессов получилось такое же множество, такая же функция, следовательно, такой же результат.
Работает даже в асинхронной системе, $N^2$ сообщений.