9. 二叉搜索树

Tree insert: searchs for that element A[i]
Tree walk:

Theorem:

E[height of a randomly built binary search tree] = O(lg n)

Proof outline

Prove Jensen's inequality:
$f(E[X]) \leq E[f(X)]$ for convex function f
Instead of analyzing $X_n$ = the random variable of the height of a randomly constructed BST on n nodes, we analize $Y_n = 2^{X_n}$
Prove that $E[Y_n] = O(n^3)$
Conclude that
$2^{E[X_n]} \leq E[2^{X_n}] = E[Y_n] = O(n^3)$
$⇒ E[X_n] \leq lg(O(n^3)) = 3lg(n) + O(1)$

$E[X_n] \approx 2.9882lg\,n$ (by Luke Devroy, 1986)

Proof 1.Jensen's inequality

$f: \mathbb{R} \rightarrow \mathbb{R}$ is convex if for all $x,y \in \mathbb{R}$ and all $\alpha, \beta \geq 0$ with $\alpha + \beta = 1$ , $f(\alpha x + \beta y) \leq \alpha f(x) + \beta f(y)$

vector and convex function

Lemma

if $\mathbb{R} \rightarrow \mathbb{R}$ is convex & $x_1, x_2, ... , x_n \in \mathbb{R}$ & $\alpha_1, \alpha_2, ... , \alpha_n \geq 0$ & $\sum^n_{k=1}{x_k} = 1$ ,
then $f \left( \sum_{k=1}^n{\alpha_kx_k} \right) \leq \sum_{k=1}^n{\alpha_kf(x_k)}$

灰色区域某一点意味着不等号右边

Induction
Base Case: When n = 1,

\alpha_1 = 1

, 不等式

f \left( \sum_{k=1}^n{\alpha_kx_k} \right) \leq \sum_{k=1}^n{\alpha_kf(x_k)}

成立。
Induction Step:

f \left( \sum_{k=1}^n{\alpha_kx_k} \right)

= f \left( \alpha_nx_n +(1 - \alpha_n) \sum^{n-1}_{k=1}{\frac{\alpha_k}{1-\alpha_n}x_k} \right)

\leq \alpha_nf(x_n) + (1 - \alpha_n)f\left( \sum^{n-1}_{k=1}{\frac{\alpha_k}{1-\alpha_n}x_k} \right)

= \alpha_nf(x_n) + f \left( \sum^{n-1}_{k=1}{\alpha_kx_k} \right) = \sum_{k=1}^n{\alpha_kf(x_k)}

Jensen's inequality

$f(E[X]) \leq E[f(X)]$ (f is a convex and X is a integer random variable)
proof:
$f(E[X]) = f \left(\sum^{∞}_{-∞}{x * Pr\{X = x\}} \right)$
$\leq \sum^{∞}_{-∞}{Pro\{X = x\} * f(x)} = E[f(X)]$

Proof 2. Analysis Y_n

X_n = the random variable of the height of a randomly constructed BST on n nodes. Y_n = 2^X_n

If root r has rank k, then Xn = 1 + max{X_k-1, X_n-k}, Y_n = 2 * max{Y_k-1, Y_n-k}

define indicator r.v.'s
$Z_{nk}=\begin{cases} 1, rank(root) = k\\ 0, otherwise \end{cases}$
Pr{Z_nk = 1} = E[Z_nk] = 1/n
$Y_n = \sum^n_{k = 1}{Z_{nk}(2max\{Y_{k-1}, Y_{n-k}\})}$

Proof 3. Analysis E[Y_n]

$E[Y_n] = E \left[ \sum^n_{k = 1}{Z_{nk}(2max\{Y_{k-1}, Y_{n-k}\})} \right]$
$= \sum^n_{k = 1}{E[Z_{nk}(2max\{Y_{k-1}, Y_{n-k}\})]}$
$= 2\sum^n_{k=1}{E[Z_{nk}]E[max\{Y_{k-1}, Y_{n-k}\}]}$
$= \frac{2}{n} \sum^n_{k=1}{E[max\{Y_{k-1}, Y_{n-k}\}]}$
$\leq \frac{2}{n} \sum^n_{k=1}{E[Y_{k-1} + Y_{n-k}]}$
$= \frac{4}{n} \sum^{n-1}_{k=0}{E[Y_k]}$
Then, we are going to use substitution.
Claim: $E[X_n] \leq cn^3$
Proof:
The base case must be true when c is sufficiently large.
Induction Step: $E[Y_n] \leq \frac{4}{n} \sum^{n-1}_{k=0}{E[Y_k]} \leq \frac{4}{n} \sum^{n-1}_{k=0}{ck^3} \leq \frac{4c}{n} \int_0^n {x^3}\,{\rm d}x = cn^3$

Proof 4.

$2^{E[X_n]} \leq E[2^{X_n}] = E[Y_n] = O(n^3)$ （简单地使用了Jensen's inequality）
$⇒ E[X_n] \leq lg(O(n^3)) = 3lg(n) + O(1)$ ( lg(O(n³)) = lg(cn³) = 3lg(n) + lg(c) )

最后编辑于：2018.08.19 10:01:23

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 194,524评论 5赞 460
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 81,869评论 2赞 371
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 141,813评论 0赞 320
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 52,210评论 1赞 263
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 61,085评论 4赞 355
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 46,117评论 1赞 272
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 36,533评论 3赞 381
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 35,219评论 0赞 253
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 39,487评论 1赞 290
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 34,582评论 2赞 309
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 36,362评论 1赞 326
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 32,218评论 3赞 312
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 37,589评论 3赞 299
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 28,899评论 0赞 17
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 30,176评论 1赞 250
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 41,503评论 2赞 341
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 40,707评论 2赞 335