В чем причина совета о том, что подстроки в регулярном выражении должны быть упорядочены на основе длины?

Я просто хотел убедиться, что иду в правильном направлении. Я хочу найти максимальное значение массива, рекурсивно разделив его, и найти максимальное значение каждого отдельного массива. Поскольку я разделяю его, это будет 2 * T (n / 2). И поскольку в конце мне нужно провести сравнение двух массивов, у меня есть T (1). Итак, мое рекуррентное отношение было бы таким:

T = {2 * T (n / 2) + 1, когда n> = 2; T (1), когда n = 1;

и, следовательно, моя сложность будет Theta (nlgn)?