【笔记】
一个增长极快的函数及其增长极慢的逆函数
秩的性质
对所有的结点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 证明。
略