Можем ли мы найти длину исходного массива из дерева активации функции быстрой сортировки
У меня есть общая функция быстрой сортировки и дерево активации ее выполнения.
Есть ли способ выяснить, просто посмотрев на дерево активации без информации о том, как реализована быстрая сортировка или раздел, какова длина массива?
Мне кажется очевидным, что любая правильно используемая быстрая сортировка начинается с вызова функции, содержащей либо первый и последний индекс массива, либо длину этого массива, но у меня возникают проблемы с его подтверждением.
Я мог бы показать пример дерева активации, но, поскольку я пытаюсь доказать это для общего случая, это кажется неуместным, учитывая, что мое дерево активации предназначено для конкретной реализации.