http://blog.csdn.net/v_july_v/article/details/6735293(該博客值得深入翻閱)
從B樹談到R樹之B樹的c實現(xiàn)
作者:weedge,July。編程藝術(shù)室出品。
前言
代碼大全的作者Steve McConnell曾稱,他所見識的任何一本書都不是某一個人能完全獨立即能完成的。吾深以為然。
本blog內(nèi)的文章十有八九系我個人參考資料原創(chuàng)所作,同時十有二三系本人與吾的朋友共同創(chuàng)作完成。所以,諸君在瀏覽本博客內(nèi)任何一篇文章時,務(wù)必尊重他人勞動成果。當然,有任何問題,歡迎隨時不吝指正。
ok,在本blog之前的一篇文章中:從B樹、B+樹、B*樹談到R 樹,各位讀者反應(yīng)熱烈。這次,咱們來編碼實現(xiàn)B樹的查找,插入,刪除等操作。同時此文也算作是上一篇文章從B樹談到R樹的續(xù)。望諸君不吝賜教。謝謝。
第一部分、B樹的查找,插入,刪除等具體操作
編碼實現(xiàn)B樹之前,咱們先來回顧一下上文中所給出的B樹的查找,插入,刪除等具體的操作都是怎么一回事兒。明白了原理之后,再來編程實現(xiàn),就相對來說有方向感了。ok,請看下文(援引自從B樹、B+樹、B*樹談到R 樹第3小節(jié)):
B樹的插入、刪除操作
上文第3小節(jié)簡單介紹了利用B樹這種結(jié)構(gòu)如何訪問外存磁盤中的數(shù)據(jù)的情況,下面咱們通過另外一個實例來對這棵B樹的插入(insert),刪除(delete)基本操作進行詳細的介紹。
但在此之前,咱們還得簡單回顧下一棵m階的B 樹 (m叉樹)的特性,如下:
- 樹中每個結(jié)點含有最多含有m個孩子,即m滿足:ceil(m/2)<=m<=m。
- 除根結(jié)點和葉子結(jié)點外,其它每個結(jié)點至少有[ceil(m / 2)]個孩子(其中ceil(x)是一個取上限的函數(shù));
- 若根結(jié)點不是葉子結(jié)點,則至少有2個孩子(特殊情況:沒有孩子的根結(jié)點,即根結(jié)點為葉子結(jié)點,整棵樹只有一個根節(jié)點);
- 所有葉子結(jié)點都出現(xiàn)在同一層,葉子結(jié)點不包含任何關(guān)鍵字信息(可以看做是外部接點或查詢失敗的接點,實際上這些結(jié)點不存在,指向這些結(jié)點的指針都為null);
- 每個非終端結(jié)點中包含有n個關(guān)鍵字信息: (n,P0,K1,P1,K2,P2,......,Kn,Pn)。其中:
a) Ki (i=1...n)為關(guān)鍵字,且關(guān)鍵字按順序升序排序K(i-1)< Ki。
b) Pi為指向子樹根的接點,且指針P(i-1)指向子樹種所有結(jié)點的關(guān)鍵字均小于Ki,但都大于K(i-1)。
c) 除根結(jié)點之外的結(jié)點的關(guān)鍵字的個數(shù)n必須滿足: [ceil(m / 2)-1]<= n <= m-1(葉子結(jié)點也必須滿足此條關(guān)于關(guān)鍵字數(shù)的性質(zhì),根結(jié)點除外)。
ok,下面咱們以一棵5階(m=5,即除根結(jié)點和葉子結(jié)點之外的內(nèi)結(jié)點最多5個孩子,最少3個孩子)B樹實例進行講。
備注:
- 關(guān)鍵字數(shù)(2-4個)針對--非根結(jié)點(包括葉子結(jié)點在內(nèi)),孩子數(shù)(3-5個)--針對根結(jié)點和葉子結(jié)點之外的內(nèi)結(jié)點。當然,根結(jié)點是必須至少有2個孩子的,不然就成直線型搜索樹了。
- 我說的再明白點就是,一棵5階的B樹中任何一個結(jié)點的關(guān)鍵字數(shù)是1-4,孩子樹是2-5。同時,一棵5階的B樹的最大高度應(yīng)為log_ceil(m/2)N(下劃線表示以ceil(m/2)為底)。
下圖中關(guān)鍵字為大寫字母,順序為字母升序。
結(jié)點定義如下:
typedef struct{
int Count; // 當前節(jié)點中關(guān)鍵元素數(shù)目
ItemType Key[4]; // 存儲關(guān)鍵字元素的數(shù)組
long Branch[5]; // 偽指針數(shù)組,(記錄數(shù)目)方便判斷合并和分裂的情況
} NodeType;

1.1、插入(insert)操作
插入一個元素時,首先在B樹中是否存在,如果不存在,即在葉子結(jié)點處結(jié)束,然后在葉子結(jié)點中插入該新的元素,注意:
- 如果葉子結(jié)點空間足夠,這里需要向右移動該葉子結(jié)點中大于新插入關(guān)鍵字的元素,
- 如果空間滿了以致沒有足夠的空間去添加新的元素,則將該結(jié)點進行“分裂”,將一半數(shù)量的關(guān)鍵字元素分裂到新的其相鄰右結(jié)點中,中間關(guān)鍵字元素上移到父結(jié)點中(當然,如果父結(jié)點空間滿了,也同樣需要“分裂”操作),而且當結(jié)點中關(guān)鍵元素向右移動了,相關(guān)的指針也需要向右移。
- 如果在根結(jié)點插入新元素,空間滿了,則進行分裂操作,這樣原來的根結(jié)點中的中間關(guān)鍵字元素向上移動到新的根結(jié)點中,因此導致樹的高度增加一層。
1、咱們通過一個實例來逐步講解下。插入以下字符字母到一棵空的B 樹中(非根結(jié)點關(guān)鍵字數(shù)小了(小于2個)就合并,大了(超過4個)就分裂):C N G A H E K Q M F W L T Z D P R X Y S,首先,結(jié)點空間足夠,4個字母插入相同的結(jié)點中,如下圖:

2、當咱們試著插入H時,結(jié)點發(fā)現(xiàn)空間不夠,以致將其分裂成2個結(jié)點,移動中間元素G上移到新的根結(jié)點中,在實現(xiàn)過程中,咱們把A和C留在當前結(jié)點中,而H和N放置新的其右鄰居結(jié)點中。如下圖:

3、當咱們插入E,K,Q時,不需要任何分裂操作

4、插入M需要一次分裂,注意M恰好是中間關(guān)鍵字元素,以致向上移到父節(jié)點中

5、插入F,W,L,T不需要任何分裂操作

6、插入Z時,最右的葉子結(jié)點空間滿了,需要進行分裂操作,中間元素T上移到父節(jié)點中,注意通過上移中間元素,樹最終還是保持平衡,分裂結(jié)果的結(jié)點存在2個關(guān)鍵字元素。

7、插入D時,導致最左邊的葉子結(jié)點被分裂,D恰好也是中間元素,上移到父節(jié)點中,然后字母P,R,X,Y陸續(xù)插入不需要任何分裂操作(別忘了,樹中至多5個孩子)。

8、最后,當插入S時,含有N,P,Q,R的結(jié)點需要分裂,把中間元素Q上移到父節(jié)點中,但是情況來了,父節(jié)點中空間已經(jīng)滿了,所以也要進行分裂,將父節(jié)點中的中間元素M上移到新形成的根結(jié)點中,注意以前在父節(jié)點中的第三個指針在修改后包括D和G節(jié)點中。這樣具體插入操作的完成,下面介紹刪除操作,刪除操作相對于插入操作要考慮的情況多點。

1.2、刪除(delete)操作
首先查找B樹中需刪除的元素,如果該元素在B樹中存在,則將該元素在其結(jié)點中進行刪除,如果刪除該元素后,首先判斷該元素是否有左右孩子結(jié)點,如果有,則上移孩子結(jié)點中的某相近元素到父節(jié)點中,然后是移動之后的情況;如果沒有,直接刪除后,移動之后的情況。
刪除元素,移動相應(yīng)元素之后,
- 如果某結(jié)點中元素數(shù)目(即關(guān)鍵字數(shù))小于ceil(m/2)-1,則需要看其某相鄰兄弟結(jié)點是否豐滿(結(jié)點中元素個數(shù)大于ceil(m/2)-1)(還記得第一節(jié)中關(guān)于B樹的第5個特性中的c點么?: c)除根結(jié)點之外的結(jié)點(包括葉子結(jié)點)的關(guān)鍵字的個數(shù)n必須滿足: (ceil(m / 2)-1)<= n <= m-1。m表示最多含有m個孩子,n表示關(guān)鍵字數(shù)。在本小節(jié)中舉的一顆B樹的示例中,關(guān)鍵字數(shù)n滿足:2<=n<=4),
- 如果豐滿,則向父節(jié)點借一個元素來滿足條件;
- 如果其相鄰兄弟都剛脫貧,即借了之后其結(jié)點數(shù)目小于ceil(m/2)-1,則該結(jié)點與其相鄰的某一兄弟結(jié)點進行“合并”成一個結(jié)點,以此來滿足條件。
那咱們通過下面實例來詳細了解吧。
以上述插入操作構(gòu)造的一棵5階B樹(樹中最多含有m(m=5)個孩子,因此關(guān)鍵字數(shù)最小為ceil(m / 2)-1=2。還是這句話,關(guān)鍵字數(shù)小了(小于2個)就合并,大了(超過4個)就分裂)為例,依次刪除H,T,R,E。

1、首先刪除元素H,當然首先查找H,H在一個葉子結(jié)點中,且該葉子結(jié)點元素數(shù)目3大于最小元素數(shù)目ceil(m/2)-1=2,則操作很簡單,咱們只需要移動K至原來H的位置,移動L至K的位置(也就是結(jié)點中刪除元素后面的元素向前移動)

2、下一步,刪除T,因為T沒有在葉子結(jié)點中,而是在中間結(jié)點中找到,咱們發(fā)現(xiàn)他的繼承者W(字母升序的下個元素),將W上移到T的位置,然后將原包含W的孩子結(jié)點中的W進行刪除,這里恰好刪除W后,該孩子結(jié)點中元素個數(shù)大于2,無需進行合并操作。

3、下一步刪除R,R在葉子結(jié)點中,但是該結(jié)點中元素數(shù)目為2,刪除導致只有1個元素,已經(jīng)小于最小元素數(shù)目ceil(5/2)-1=2,而由前面我們已經(jīng)知道:如果其某個相鄰兄弟結(jié)點中比較豐滿(元素個數(shù)大于ceil(5/2)-1=2),則可以向父結(jié)點借一個元素,然后將最豐滿的相鄰兄弟結(jié)點中上移最后或最前一個元素到父節(jié)點中(有沒有看到紅黑樹中左旋操作的影子?),在這個實例中,右相鄰兄弟結(jié)點中比較豐滿(3個元素大于2),所以先向父節(jié)點借一個元素W下移到該葉子結(jié)點中,代替原來S的位置,S前移;然后X在相鄰右兄弟結(jié)點中上移到父結(jié)點中,最后在相鄰右兄弟結(jié)點中刪除X,后面元素前移。

4、最后一步刪除E, 刪除后會導致很多問題,因為E所在的結(jié)點數(shù)目剛好達標,剛好滿足最小元素個數(shù)(ceil(5/2)-1=2),而相鄰的兄弟結(jié)點也是同樣的情況,刪除一個元素都不能滿足條件,所以需要該節(jié)點與某相鄰兄弟結(jié)點進行合并操作;首先移動父結(jié)點中的元素(該元素在兩個需要合并的兩個結(jié)點元素之間)下移到其子結(jié)點中,然后將這兩個結(jié)點進行合并成一個結(jié)點。所以在該實例中,咱們首先將父節(jié)點中的元素D下移到已經(jīng)刪除E而只有F的結(jié)點中,然后將含有D和F的結(jié)點和含有A,C的相鄰兄弟結(jié)點進行合并成一個結(jié)點。

5、也許你認為這樣刪除操作已經(jīng)結(jié)束了,其實不然,在看看上圖,對于這種特殊情況,你立即會發(fā)現(xiàn)父節(jié)點只包含一個元素G,沒達標(因為非根節(jié)點包括葉子結(jié)點的關(guān)鍵字數(shù)n必須滿足于2=<n<=4,而此處的n=1),這是不能夠接受的。如果這個問題結(jié)點的相鄰兄弟比較豐滿,則可以向父結(jié)點借一個元素。假設(shè)這時右兄弟結(jié)點(含有Q,X)有一個以上的元素(Q右邊還有元素),然后咱們將M下移到元素很少的子結(jié)點中,將Q上移到M的位置,這時,Q的左子樹將變成M的右子樹,也就是含有N,P結(jié)點被依附在M的右指針上。所以在這個實例中,咱們沒有辦法去借一個元素,只能與兄弟結(jié)點進行合并成一個結(jié)點,而根結(jié)點中的唯一元素M下移到子結(jié)點,這樣,樹的高度減少一層。

為了進一步詳細討論刪除的情況,再舉另外一個實例:
這里是一棵不同的5序B樹,那咱們試著刪除C

于是將刪除元素C的右子結(jié)點中的D元素上移到C的位置,但是出現(xiàn)上移元素后,只有一個元素的結(jié)點的情況。
又因為含有E的結(jié)點,其相鄰兄弟結(jié)點才剛脫貧(最少元素個數(shù)為2),不可能向父節(jié)點借元素,所以只能進行合并操作,于是這里將含有A,B的左兄弟結(jié)點和含有E的結(jié)點進行合并成一個結(jié)點。

這樣又出現(xiàn)只含有一個元素F結(jié)點的情況,這時,其相鄰的兄弟結(jié)點是豐滿的(元素個數(shù)為3>最小元素個數(shù)2),這樣就可以想父結(jié)點借元素了,把父結(jié)點中的J下移到該結(jié)點中,相應(yīng)的如果結(jié)點中J后有元素則前移,然后相鄰兄弟結(jié)點中的第一個元素(或者最后一個元素)上移到父節(jié)點中,后面的元素(或者前面的元素)前移(或者后移);注意含有K,L的結(jié)點以前依附在M的左邊,現(xiàn)在變?yōu)橐栏皆?/span>J的右邊。這樣每個結(jié)點都滿足B樹結(jié)構(gòu)性質(zhì)。

從以上操作可看出:除根結(jié)點之外的結(jié)點(包括葉子結(jié)點)的關(guān)鍵字的個數(shù)n滿足:(ceil(m / 2)-1)<= n <= m-1,即2<=n<=4。這也佐證了咱們之前的觀點。刪除操作完。
第二部分、B樹的編碼實現(xiàn)
既然明白了B樹的插入,和刪除操作的原理,接下來,咱們來一步一步實現(xiàn)它。不過,有一點必須說明的是:這個實現(xiàn)只是實現(xiàn)了偶數(shù)序order(階)的情況;還有奇數(shù)序order(階)的情況沒有考慮。待日后改進。
參考:
- http://www.shnenglu.com/converse/archive/2009/10/13/98521.html
聯(lián)系作者:
若有任何問題,歡迎隨時不吝指正。或者聯(lián)系我們:
后記:
本blog日后會更多的關(guān)注數(shù)據(jù)結(jié)構(gòu)與算法之外的東西,如分布式架構(gòu),海量數(shù)據(jù)處理,搜索引擎相關(guān)。畢竟,算法之外的東西,如瀚海般無止境,要學的東西,還有很多。
若轉(zhuǎn)載,請注明出處,謝謝。完。二零一一年八月三十一日。