15
правок
Изменения
→16. Синхронные системы. Проблема двух генералов. Невозможность получения общей информации
Consider the last such message that was successfully delivered. If that last message had not been successfully delivered, then one general at least (presumably the receiver) would decide not to attack. From the viewpoint of the sender of that last message, however, the sequence of messages sent and delivered is exactly the same as it would have been, had that message been delivered.
Для недетерминнированного - аналогично. Посмотрим на "успешную" последовательность.
И отменим успешность последнего сообщения. Для 1-ого все ок, для 2-ого все испортилось.
===17. Синхронные системы. Проблема византийских генералов. Невозможность решения при N=3, f=1. Формулировка общей теоремы===
