CSSL, Case 2(b) r’(p) = r(p)

Fact 1: r’(p) = r(r)

Fact 2: r’(r) < r(p)

r’(r) <= r’(p) = r(p)

can’t have r’(r) = r(p) by Rank Rule on middle tree

Fact 3: r’(q) <= r(q)

r’(q) <= r’(p) = r(p) <= r(q)

=> can move r’s money to p, p’s money to r and q’s money to q to maintain invariant and still have $ leftover to pay for rotation.

Previous slide

Next slide

Back to first slide

View graphic version