Добрый день. Я задавал здесь 19 января вопрос об алгоритме "Ханойские башни". Мне ответил @alexlz (спасибо) следующее:
Значение формального параметра number. Он соответствует глубине стека рекурсивных вызовов процедуры Towers. Т.е. на каждом уровне вы знаете, какое кольцо переносится в теле процедуры (вывод на cout). Вызов самого верхнего уровня (для переноса всех дисков) для вашего примера -- number==3. К этому моменту все кольца выше уже перенесены первым рекурсивным вызовом Towers на штырь free (в вызове на месте free стоит исходное to и наоборот). А второй вызов переносит все кольца с free на to с вспомогательным from. Пока лучше объяснить не получается. Рекомендуется распечать таблицу значений в процессе
Теперь понятно какое кольцо переносится на каждом уровне. При каждом новом рекурсивном вызове функции от переменной number отнимается единица, а при возврате из стека на каждом уровне переменная number становится на единицу больше. Теперь мне непонятно другое, первый рекурсивный вызов вновь вызывает сам себя пока верно условие 'if'. прикаждом новом рекурсивном вызове, в списке параметров функции изменяется переменная number(-1), но порядок расположения переменных from, free, to остается тот же. Получается при выходе из стека на каждом уровне изменяется только переменная number, а остальные переменные остаются в том же порядке?