рекурсии: определение предельного состояния

Question

У меня есть неполный раздаточный материал о рекурсии и один из примера вопрос спрашивает, что является «ограничивающим условием» данного конкретного рекурсивного метода:

public static int fib(int a, int b, int n){ 
if(n==1) 
    return a; 
else if(n==2) 
    return b; 
else 
    return fib(a,b,n-1) + fib(a,b,n-2); 
} 

выборы являются:

1. п> = 0
2. а> = 1
3. Ь> = 1
4. п> = 1

Если «предельное условие» относится к случаю, когда этот метод действителен, я думаю, что ответ n> = 1?

Answer 1

Вы верны.

Обратите внимание, что если n <1 в каждой итерации вы уменьшатся n на 1 (или 2) и никогда не достичь состояния останова, которая больше, чем n. Это вызовет бесконечный цикл в теории или переполнение стека на практике.

Предоставленный метод предполагает, что n>1 функционирует должным образом, в некоторых местах это называется предварительным условием для метода.

---

(1) Игнорирование Целочисленное переполнение здесь ....