В алгоритме classi c Merge Sort имеется приблизительно n * log2(n)
сравнений и столько же операций копирования элементов, следовательно, временная сложность O (n.log (n)) из-за мультипликативных констант являются неявными.
Если вместо разделения массива на 2 части, вы разбиваете на 3 части, выполняете одну и ту же сортировку рекурсивно для частей и объединяете 3 отсортированных среза в одну, количество сравнений увеличивается примерно до 2 * n * log3(n)
, а количество копий элементов уменьшено до n * log3(n)
, но оба они пропорциональны n * log(n)
. С учетом мультипликативных констант вы все равно получаете временную сложность O (n.log (n)) .