splay詳解(一)


前言

Spaly是基於二叉查找樹實現的,

什么是二叉查找樹呢?就是一棵樹唄:joy: ,但是這棵樹滿足性質—一個節點的左孩子一定比它小,右孩子一定比它大

比如說

這就是一棵最基本二叉查找樹

對於每次插入,它的期望復雜度大約是$logn$級別的,但是存在極端情況,比如9999999 9999998 9999997.....1這種數據,會直接被卡成$n^2$

在這種情況下,平衡樹出現了!

Splay簡介

Splay是平衡樹的一種,中文名為伸展樹,由丹尼爾·斯立特Daniel Sleator和羅伯特·恩卓·塔揚Robert Endre Tarjan在1985年發明的(mmp怎么又是tarjan)

它的主要思想是:對於查找頻率較高的節點,使其處於離根節點相對較近的節點

這樣就可以保證了查找的效率

那么現在問題來了:

  • 什么樣的點是查找頻率高的點?

這個玩意兒確實不好統計,但是你可以認為每次被查找的點查找頻率相對較高,說白了就是你把每次查找到的點搬到根節點去

當然你也可以每次查找之后隨機一個點作為根,於是Treaplay這種數據結構就誕生啦

  •  怎么實現把節點搬到根這種操作?

這也是Splay這種數據結構所要實現的功能,接下來我們詳細的介紹一下

Splay基本操作

rotate

首先考慮一下,我們要把一個點挪到根,那我們首先要知道怎么讓一個點挪到它的父節點

情況1

當X是Y的左孩子

 

這時候如果我們讓X成為Y的父親,只會影響到3個點的關系

B與X,X與Y,X與R

根據二叉排序樹的性質

B會成為Y的左兒子

Y會成為X的右兒子

X會成為R的兒子,具體是什么兒子,這個要看Y是R的啥兒子

經過變換之后,大概是這樣

情況2

當X是Y的右孩子

本質上和上面是一樣的,

變換后為

 

這兩種代碼單獨實現都比較簡單,我就不寫了(實際上是我懶)

但是這兩種旋轉情況很類似,第二種情況實際就是把第一種情況的X,Y換了換位置

我們考慮一下能不能將這兩種情況合並起來實現呢?

答案是肯定的

首先我們要獲取到每一個節點它是它爸爸的哪個孩子,可以這么寫

 

bool ident(int x) {
    return tree[tree[x].fa].ch[0] == x ? 0 : 1;
}

 

 

 

如果是左孩子的話會返回0,右孩子會返回1

那么我們不難得到R,Y,X這三個節點的信息

 

int Y = tree[x].fa;
int R = tree[Y].fa;
int Yson = ident(x); //x是y的哪個孩子
int Rson = ident(Y);

 

B的情況我們可以根據X的情況推算出來,根據^運算的性質,0^1=1,1^1=0,2^1=3,3^1=2,而且B相對於X的位置一定是與X相對於Y的位置是相反的

(否則在旋轉的過程中不會對B產生影響)

 

int B = tree[x].ch[Yson ^ 1];

 

然后我們考慮連接的過程

根據上面的圖,不難得到

B成為Y的哪個兒子與X是Y的哪個兒子是一樣的

Y成為X的哪個兒子與X是Y的哪個兒子相反

X成為R的哪個兒子與Y是R的哪個兒子相同

 

connect(B, Y, Yson);
connect(Y, x, Yson ^ 1);
connect(x, R, Rson);

connect函數這么寫,挺顯然的

void connect(int x, int fa, int how) { //x節點將成為fa節點的how孩子
    tree[x].fa = fa;
    tree[fa].ch[how] = x;
}

 

單旋函數就是這樣了,利用這個函數就可以實現把一個節點搬到它的爸爸那兒了,

Splay

Splay(x,to)是實現把x節點搬到to節點

最簡單的辦法,對於x這個節點,每次上旋直到to

但是!

如果你真的這么寫,可能會T成SB,出題人可能會構造數據把單旋卡成$n^2$,不要問我為什么!(其實是我不知道)

一個感性的理解是這樣的

把一個點雙旋到根,可以使得從根到它的路徑上的所有點的深度變為大約原來的一半,其它點的深度最多增加2

或者你可以了解一下為啥單旋是錯的

下面我們介紹一下雙旋的Splay

這里的情況有很多,但是總的來說就三種情況

1.to是x的爸爸,

這樣的話吧x旋轉上去就好

update in 2018.2.19

這里可能寫錯了一個地方(其實也沒有寫錯)

因為我們在雙旋的時候會改變三個點的關系,為了方別寫,所以我們開始的時候把to設置為to的爸爸

if (tree[tree[x].fa].fa == to) rotate(x);

2.x和他爸爸和他爸爸的爸爸在一條線上

這時候先把Y旋轉上去,再把X旋轉上去就好

else if (ident(x) == ident(tree[x].fa)) rotate(tree[x].fa), rotate(x);

 

3.x和他爸爸和他爸爸的爸爸不在一條線上

這時候把X旋轉兩次就好

總的代碼:

 

void splay(int x, int to) {
    to = tree[to].fa;
    while (tree[x].fa != to) {
        if (tree[tree[x].fa].fa == to) rotate(x);
        else if (ident(x) == ident(tree[x].fa)) rotate(tree[x].fa), rotate(x);
        else rotate(x), rotate(x);
    }
}

 

 

 

后記

至此,Spaly的最核心最基本的操作已經講解完畢

至於這玩意兒怎么用,以及能實現什么功能,且聽下回分解

 


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM