T ( n ) será el número de comparaciones para ordenar n elementos.

En el peor de los casos requeriremos n−1 comparaciones. Luego si la lista la dividimos en dos
n n
sublistas de tamaños y de datos entonces el trabajo de comparar la lista completa será
2 2

T ( n )=T ( n2 )+T ( n2 )+n−1

Es decir

T ( n )=n−1+ 2T ( n2 )
Luego para hallar una fórmula explícita para T ( n ) reemplazaremos recursivamente en la parte
que lleva el corchete (color rojo) como sigue:

T ( n )=n−1+ 2 T
[ ( )] n
2

[ ( )]
n
n 2
¿ n−1+ 2 −1+2 T
2 2

¿ ( n−1 )+ ( n−2 ) + 4 T
[ ( )] n
4

¿ ( n−1 )+ ( n−2 ) + 4
[ n
4
−1+2T
n
8 ( )]
¿ ( n−1 )+ ( n−2 ) + ( n−4 ) +8 T ( n8 )
Siguiendo el proceso deductivo llegamos a que en la k −¿ésima division de los datos

T ( n )=( n−1 )+ ( n−2 ) + ( n−4 ) +⋯ + ( n−2k ) +2k T

( 2n )
k

Y este proceso terminará cuando

n
2k
n
2 ( )
=1 ya que T k =T ( 1 ) =0 ya que un solo dato no

requiere trabajo de comparación.

Luego como n=2k aplicando logaritmos implica k =log 2 (n) entonces

T ( n )=(⏟
k
n+n+ ⋯ n)−(1+2+ 4+ 8+⋯ +2 )
k− veces

k
T ( n )=kn−∑ 2i
i=0
 k
2 −1
¿(log 2 ( n )) n−
2−1
n−1
¿ n log 2 ( n )−
1
Así que en conclusión T ( n )=n log 2 ( n )−n+1 y esto implica que la complejidad asintótica es
O(n log 2 ( n ) )