Инструменты, алгоритмы и структуры данных

Какие утверждения справедливы относительно выполнения предусловия и постусловия рекурсивного метода?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

клиент обязан гарантировать выполнение предусловия для всех внутренних рекурсивных вызовов

для всех внутренних рекурсивных вызовов метод обязан гарантировать выполнение предусловия

сам метод обязан гарантировать выполнение предусловия только в случае прямой рекурсии, когда вызов метода осуществляется непосредственно в теле самого метода(Верный ответ)

при косвенной рекурсии гарантировать выполнение предусловия обязан метод, непосредственно вызывающий рекурсивный метод(Верный ответ)

при вызове рекурсивного метода клиент обязан гарантировать выполнение предусловия метода(Верный ответ)

Похожие вопросы

Какие утверждения справедливы относительно контракта рекурсивного метода? Для рекурсивного метода следует:

В контракт рекурсивного метода может входить инвариант метода. Какие утверждения справедливы относительно инварианта?

Необходимыми условиями корректно определенного рекурсивного метода является существование у метода ветви без рекурсии и разные контексты у каждого рекурсивного вызова. Рассмотрим метод с циклом:

cicle   do      from Init until Exit loop Body end   end

Заменим его методом

recursive    do Init; loop_eqviv end

с вызовом рекурсивного метода:

loop_eqviv   do      if not Exit then        Body; loop_eqviv     end   end

Какие утверждения справедливы относительно корректности такой замены?

При выполнении рекурсивного метода создаются экземпляры метода, каждому из которых требуется информация, характеризующая данный экземпляр. Число экземпляров может быть большим, так, например, в задаче о Ханойской башне при n, равном, двадцати, более миллиона одновременно существующих экземпляров. Какие утверждения справедливы относительно способов представления информации, необходимой экземпляру метода?

Какие утверждения справедливы относительно сравнения циклического и рекурсивного варианта вычисления чисел Фибоначчи?

Какие свойства справедливы для варианта рекурсивного метода

В контекст рекурсивного метода, дающего решение задачи о Ханойской башне, входят 5 величин - 4 аргумента метода (имена трех башен и число переносимых дисков) и одна локальная переменная. При оптимальной реализации рекурсивного метода достаточно сохранять в записи активации?

Поскольку рекурсивный метод прямо или косвенно вызывает сам себя, то в цепочке вызовов этот метод будет присутствовать в нескольких экземплярах. Какие утверждения справедливы относительно понятия "экземпляр метода"?

В контекст рекурсивного метода, дающего решение задачи о Ханойской башне, входят 5 величин - 4 аргумента метода (имена трех башен и число переносимых дисков) и одна локальная переменная. Сколько величин достаточно сохранять в записи активации при оптимальной реализации рекурсивного метода?