请问下这题怎么证明

**,这题目好数学啊

这种题目就是高中填空题水平啊,如果不说答案是nlgn那么很难,
证明就一行吧.
T(n/2)=n/2*log(n/2)
带入:T(n)=n*log(n/2)+n=n*log(n/2)趋近于n*logn.完事.

但是这种题目貌似都可以先猜后证,先用书中的那种逻辑树的方法大概猜出来是nlgn.再这种证明即可.我目前看到597页,但是前面的很多复杂数据结构都跳过去了.才知道红黑树很有用.返回去继续读.其实红黑树等以前看过,因为复杂,看完1天就忘光了.

这种红黑树有没有人写过库包,来直接用?