http://blog.csdn.net/linuxtiger/article/details/7172258

如果僅從代碼上直觀觀察，會(huì)得出構(gòu)造二叉堆的時(shí)間復(fù)雜度為O(n㏒n)的結(jié)果，這個(gè)結(jié)果是錯(cuò)的，雖然該算法外層套一個(gè)n次循環(huán)，而內(nèi)層套一個(gè)分治策略下的㏒n復(fù)雜度的循環(huán)，該思考方法犯了一個(gè)原則性錯(cuò)誤，那就是構(gòu)建二叉堆是自下而上的構(gòu)建，每一層的最大縱深總是小于等于樹的深度的，因此，該問題是疊加問題，而非遞歸問題。那么換個(gè)方式，假如我們自上而下建立二叉堆，那么插入每個(gè)節(jié)點(diǎn)都和樹的深度有關(guān)，并且都是不斷的把樹折半來實(shí)現(xiàn)插入，因此是典型的遞歸，而非疊加。

在做證明之前，我們的前提是，建立堆的順序是bottom-top的。

正確的證明方法應(yīng)當(dāng)如下：

1. 具有n個(gè)元素的平衡二叉樹，樹高為㏒n，我們?cè)O(shè)這個(gè)變量為h。

2. 最下層非葉節(jié)點(diǎn)的元素，只需做一次線性運(yùn)算便可以確定大根，而這一層具有2^(h-1)個(gè)元素，我們假定O(1)=1，那么這一層元素所需時(shí)間為2^(h-1)?× 1。

3. 由于是bottom-top建立堆，因此在調(diào)整上層元素的時(shí)候，并不需要同下層所有元素做比較，只需要同其中之一分支作比較，而作比較次數(shù)則是樹的高度減去當(dāng)前節(jié)點(diǎn)的高度。因此，第x層元素的計(jì)算量為2^(x)?× (h-x)。

4. 又以上通項(xiàng)公式可得知，構(gòu)造樹高為h的二叉堆的精確時(shí)間復(fù)雜度為：

S = 2^(h-1)?× 1 + 2^(h-2)?× 2 + …… +1?× (h-1) ?①

通過觀察第四步得出的公式可知，該求和公式為等差數(shù)列和等比數(shù)列的乘積，因此用錯(cuò)位想減發(fā)求解，給公式左右兩側(cè)同時(shí)乘以2，可知：

2S = 2^h?× 1 +?2^(h-1)?× 2+ …… +2?× (h-1) ? ? ?②

用②減去①可知： S =2^h?× 1 - h +1 ? ? ? ?③

將h =?㏒n 帶入③，得出如下結(jié)論：

S = n -?㏒n +1 = O(n)

結(jié)論：構(gòu)造二叉堆的時(shí)間復(fù)雜度為線性得證。

上題有些小細(xì)節(jié)推導(dǎo)錯(cuò)誤，整體思路是對(duì)的

總結(jié)

以上是生活随笔為你收集整理的构建二叉堆时间复杂度的证明的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。