试证明， shrink()算法具有分摊的常数时间复杂度。