noorderlicht.

[furia_krucha]

Задача:

Comments

Интересно,

[jedal]

а Dijkstra - автор этой задачи?

(Любопытно потому, что следующую задачу нередко дают на кружках 6-7 классу:

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

Re: Интересно,

[furia_krucha]

Он, по-крайней мере, один из авторов экономного способа изложения решения (см. ниже). Задача сама (в разных вариантах), конечно, достаточно известная и, скорее всего, старая.

[kamchatnov]

50 минут.
(Надеюсь, что будет приведено решение, написанное тем же знаменитым почерком.)

[furia_krucha]

А как же.

[kamchatnov]

Спасибо! Красивое рассуждение!

Видимо,

[jedal]

это часть какого-то большего текста? А какого?

[_qwerty]

Мое отношение к доказательному программированию раз и навсегда изменилось после ознакомления с тремя неудачными попытками адептов формализовать стек конечной глубины.

[furia_krucha]

Адепты они такие. :-) Могут и про конечные автоматы не знать.

[_qwerty]

То были адепты АТД. Они честно старались в рамках собственных теорий. Про конечные автоматы они, конечно же, знали, но там были нужны модели совсем другого вида. И модеМногосортных алгебр тогда еще не использовали.

[_qwerty]

Они, кстати, не ограничивались конечным множеством помещаемых в стек значений, так что конечный автомат бы им не помог. Если же воспользоваться ограниченностью памяти реализующего стек компьютера, то размер полученного таким образом автомата был бы воистину ужасающ.