Ещё одну придумал. Но несерьёзную :)))

forester_200

Вот вспомнил ещё одну каверзу, которой я подкалывал друзей курсе на первом-втором ;)
Для краткости введём обозначения:
1) через F(X,Y,M) обозначим следующее предложение:
"Товарищ Х по электронной почте пересылает товарищу Y сообщение М и хочет быть уверенным, что оно дошло. Для этого в сообщении М товарищ X просит товарища Y подтвердить получение сообщения М. Отправляет, сидит волнуется - "А вдруг не дошло?", каждую минуту проверяет почту, грызёт ногти, нервно курит и т.д. А в это время товарищ Y спокойненько получает письмо."
2) Рекурсивно определим последовательность:
П_0 = оооочень важное письмо
П_{i+1} = подтверждение получения письма П_i
Задача:
F(Аня, Ваня, П_0)
F(Ваня, Аня, П_1)
F(Аня, Ваня, П_2)
F(Ваня, Аня, П_3)
F(Аня, Ваня, П_4)
F(Ваня, Аня, П_5)
F(Аня, Ваня, П_6)
и т.д.
Вопрос: чо за хрень? Ведь на шаге с достаточно большим номером оба уже в курсе, что первоначальное оооочень важное сообщение достигло адресата! Чего волноваться?

shpanenoc

Ну да, вот для П_3:
Ваня думает: "блин, надо же мне подтвердить получение П_2, а то Аня же волнуется за меня, что я не получил П_2 и волнуюсь за то, что она не получила П_1 и волнуется, что я не получил П_0.

Vlad128

это разве не tcp/ip? после получение подтверждения о подтверждении можно успокаиваться.

nitrix

генералы это:
http://en.wikipedia.org/wiki/Two_Generals'_Problem
парсер форума не осиливает увы
Оставить комментарий
Имя или ник:
Комментарий: