Я понял, что пространство, требуемое рекурсивным алгоритмом для каждого вызова, выделяется в стеке вызовов. Так что, если полное выполнение алгоритма занимает «п» нет. из блоков в стеке вызовов, тогда общее требуемое пространство будет равно 'n * k', где 'k' - размер каждого блока, так как k зависит от машины, оно игнорируется в асимптотическом анализе, поэтому требуемое пространство будет O (n).
Мой вывод таков: если только нет. Из блоков в стеке вызовов учитывается то, будет ли иметь значение входной размер или нет в каждом блоке в стеке вызовов. Так что вспомогательное пространство и космическая сложность должны быть одинаковыми. Не так ли?