二分搜索及其扩展（循环递增数组的搜索）(2)

日期：2020-11-05 栏目：程序人生浏览：次

1、a[mid] > a[low]，即数组前半部分为严格递增数组，后半部分为循环递增数组时，若key小于a[mid]并且不小于a[low]时，则key落在数组前半部分；否则，key落在数组后半部分。

2、a[mid] < a[high]，即数组前半部分为循环递增数组，后半部分为严格递增数组时，若key大于a[mid]并且不大于a[high]时，则key落在数组后半部分；否则，key落在数组前半部分。