1 k ←右[t]
2右[t] ←左[k]
3左[k] ← t
4 s[k] ← s[t]
5s[t]←s[left[t]]+s[right[t]]+1
6 t ← k向右旋轉(t)
1 k ← left[t]
2左[t] ←右[k]
3右[k] ← t
6 t ← k