Здравствуйте, Shmj, Вы писали:

S>Здравствуйте, samius, Вы писали:

S>>Это меняет условие задачи. Здесь уже можно говорить о гарантированной доставке (за некоторое ненулевое время). А с гарантированной доставкой и задачи о генералах нет, т.е. она решена по условию.

S>Но ведь когда на практике говорят, что канал доступен не менее пусть даже 95% времени в месяц (это низкий показатель — но правдивый) — это есть гарантированная доставка?
Конечно. Но это не значит, что пакет будет доставлен, это значит, что тот, кто гарантировал доступность, ответит за недоступность в некоторой форме. Или сделает вид, что ничего не было. Как в банке. Перевод 3 дня. Но если не переведем — пишите заявление, рассмотрим за пол года.

S>Если действовать по моей схеме, то точно можно вычислить срок, после которого состояние на 100% согласовано. Делаем так:

S>1. Генерал 1 отправляет данные.
S>2. Генерал 2 получает и подтверждает в ответ (не зная доставлен ли его ответ).
S>3. Генерал 2 ждет n времени и если не было повторных отправок данных — имеет 100% гарантию согласованности. Его уверенность основана на том, что всего 5% времени в месяц канал не работает — а уже прошло больше этого времени в худшем раскладе.

S>Все верно?
Верно, но избыточно. Если мы закладываем в условие гарантированную доставку за некоторый период времени (пусть это будет одно сообщение в месяц, не важно), то минимальный набор сообщений для решения задачи о генералах становится равен одному сообщению с отсрочкой атаки на время, превышающее период гарантированной доставки.

S>И далее — если канал доступен всего 1% в месяц/год — то сойдется ли ряд и получим ли мы гарантию 100% доставки когда-либо?
Зависит от гарантий. Если гарантия в условии задачи, то мы исходим из этой гарантии. Если как в банке или аптеке — то цена гарантии невелика и мы вместо пакета можем получить зуб того, кто гарантию давал. В лучшем случае. И потом отдать этот зуб генералам в качестве компенсации за проигранную войну. Даже если мы по иску слупим компенсацию за недоставленный пакет, вряд ли это поможет генералам.