Я собираюсь доказать, что n, число узлов является «лучшим» ответом.
Практически любая рекурсивно непротиворечивая мера может рассматриваться как потенциальный ответ, например рост. Тем не менее, размер дерева = n, количество узлов является наибольшим числовым ответом.
Высота дерева = log n, а все остальные будут одинаковыми или меньшими числами. Итак, я заключаю, что число узлов «должно» быть длиной дерева. Он несет большую часть информации о спорных возможностях.