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

Какие свойства являются необходимыми свойствами корректного рекурсивного метода?

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

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

содержит хотя бы одну ветвь, не являющуюся рекурсивной(Верный ответ)

каждый рекурсивный вызов отличается контекстом вызова(Верный ответ)

все ветви метода являются рекурсивными - содержат рекурсивные вызовы

как правило, для рекурсивного метода можно задать вариант - аналог варианта цикла, что позволяет доказывать завершаемость рекурсивных методов

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

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

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

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

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

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

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

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

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

Для каких понятий нельзя дать корректного рекурсивного определения?

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

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