《算法导论》笔记 第21章 *21.4 带路径压缩的按秩合并的分析

【笔记】

一个增长极快的函数及其增长极慢的逆函数

秩的性质

对所有的结点x，有rank[x]<=rank[p[x]]，如果x!=p[x]则不等号严格成立。rank[x]的初始值为0，并随时间而增长，直到x!=p[x]；从此以后，rank[x]就不再变化。rank[p[x]的值是时间的单调递增函数。

在从任何一个结点指向根的路径上，结点的秩是严格递增的。

每个结点的秩至多为n-1。

时间界的证明

势函数

势的变化和操作的平摊代价

【练习】

21.4-1 证明引理21.4。

21.4-2 证明：每个结点的秩都至多为floor(lgn)。

21.4-3 对每个结点x，存储rank[x]需要多少位(bit)？

21.4-4 对于按秩合并、但不带路径压缩的不相交集合上的操作，简要的证明其运行时间为O(mlgn)。

21.4-5 各结点的级别在路径上是单调递增的吗？

21.4-6 证明。

略