分治法
2-2 下面的7个算法与本章的二分搜索算法binarySearch略有不同。请判断这7个算法的正确性。如果算法不正确,请说明产生错误的原因;如果算法正确,请给出算法的正确性证明。
(1)与主教材中的算法binarySearch相比,数组段左、右游标left和right的调整不正确,导致陷入死循环
(2)与主教材中的算法binarySearch相比,数组段左、右游标left和right的调整不正确,导致当x=a[n-1]时返回错误。
(3)与正确算法binarySearch5相比,数组段左、右游标left和right的调整不正确,导致当x=a[n-1]时返回错误。
(4)与正确算法binarySearch5相比,数组段左、右游标left和right的调整不正确,导致陷入死循环。
(5)算法正确,且当数组中有重复元素时,返回满足条件的最右元素。
(6)与正确算法binarySearch5相比,数组段左、右游标left和right的调整不正确,导致当x=a[n-1]时返回错误。
(7)与正确算法binarySearch5相比,数组段左、右游标left和right的调整不正确,导致当x=a[0]时陷入死循环。