《算法设计与分析（第4版）》第二章课后题

问题

7个算法与本章中的二分搜索算法略有不同。请判断这7个算法的正确性。如果算法不正确，请说明产生错误的原因（现象、问题定位）。如果算法正确，请给出算法的正确性证明。

// An highlighted block
public class text1 {
   
    public static int binarySearch1(int[]a,int x,int n){
   
        int left =0;
        int right=n-1;
        int count = 0;
        while (left<=right){
   
            int middle=(left+right)/2;
            if (x==a[middle]){
   
                System.out.print("元素所在的位置为");
                return middle;
            }
            if (x>a[middle]){
   
                left =middle;
            }
            else {
   
                right=middle;
            }
            count++;
            System.out.println("循环次数"+count);
        }
        return -1;
    }

    public static void main(String[] args) {
   
        int[]a={
   1,2,6,7,9,11,13,15,16,18};
        System.out.println(binarySearch1(a,16,a.length));

    }
}

right=middle和left=middle处出了问题
middle的位置已经比较过一次了，应该是right往前一位或者是left往后一位
不然会降低算法的效率，循环的次数增加了
可以引进一个count计算循环的次数 然后返回比较改进前和改进后的效率
改进前 

·

改进后 

public static int binarySearch2(int[]a,int x,int n){
   
    int left =0;
    int right=n-1