数组:数组式存放在连续空间上的相同类型数据的集合
二分查找如何实现:
主要是二分查找中的while条件 left < right 还是 left <= right 以及right = middle还是middle -1无法正确把握。
其实最核心的思想就是循环不变量,这里的不变量不是指某一个变量,确切来说是一种断言,判断某个条件是恒定不变的。循环不变量必须要遵循的三条性质:
初始化:循环第一次迭代前,为真
保持:如果循环的某次迭代之前为真,那么下次迭代之前也必须为真
终止:循环结束时,不变式为我们提供一个有用的性质,该性质有助于证明算法正确性
for (int i = 1; i < nums.length; i++) {
if (nums[j] == val) {
nums[j] = nums[i];
}
}
如同for循环中,i < nums.lenth就是一种循环不变量。它保证了i的区间始终式[0,i),如果将循环条件修改成i <= nums.length -1,那么保证的区间就是[0, i-1]
回到正题,二分法中的循环不变量就是确定好区间,如果如果我们选择的区间是[left,right],那么while循环中的条件必须得是left <= right,保证循环不变量的条件是成立的,因为在这个区间内部left == right是可以成立的。同时right = middle -1 ,因为前置条件已经判断了nums[middle] < nums[right],那么这时候,middle的值已经判断过了,不需要再次放到区间内。
同理,如果选择的区间是[left, right)那么选择的循环条件是left < right,因为left = right条件不成立,满足不了上述所说的循环不变量的思想。right = middle,因为右区间是开区间,所以为middle。
public static int search(int[] nums, int target) {
int left = 0;
int right = nums.length - 1;
while (left < right) {
int middle = left + (right - left) / 2; //防止left + right 超出int范围,造成溢出
if (nums[middle] > target) {
right = middle - 1;
} else if (nums[middle] < target) {
left = middle + 1;
} else {
return middle;
}
}
return -1;
}
public static int search(int[] nums, int target) {
int left = 0;
int right = nums.length;
while (left < right) {
int middle = left + (right - left) / 2; //防止left + right 超出int范围,造成溢出
if (nums[middle] > target) {
right = middle;
} else if (nums[middle] < target) {
left = middle + 1;
} else {
return middle;
}
}
return right + 1;
}
移除元素:
主要使用双指针法,快慢指针同时指向数组,一个在循环内,如果fastIndex指向的不是需要移除的值,那么将该位置的值移动到slowIndex上,同时将slowIndex++,fastIndex需要在循环内部。同样也是利用之前说到的是循环不变量
class Solution {
public int removeElement(int[] nums, int val) {
int j = 0;
for (int i = 0; i < nums.length; i++) {
if (nums[i] != val) {
nums[j] = nums[i];
j++;
}
}
return j;
}
}
待续。。。。。。。。。