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

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

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

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

инвариант должен включаться в предусловие и постусловие метода

если инвариант существует, то его следует включать в описание метода как комментарий

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

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

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

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

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

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

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

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

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

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