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

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

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

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

всегда задавать вариант

всегда задавать инвариант

в предложении ensure задавать постусловие метода. Метод должен гарантировать выполнение постусловия при завершении любого из внутренних рекурсивных вызовов(Верный ответ)

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

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

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

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

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 аргумента метода (имена трех башен и число переносимых дисков) и одна локальная переменная. Сколько величин достаточно сохранять в записи активации при оптимальной реализации рекурсивного метода?

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

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

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