while2.txt

A Library of Efficient Data Types and Algorithms,封装了常用的ADT及其相关算法的软件包

In the second inner \tt while-\rm loop the right pointer \tt\green2 j \rm\black moves to the left as long as the
keys \tt A[j] \rm are greater than \tt\red v \rm\black .