代码随想录算法训练营第一天|Leetcode704 二分查找、Leetcode27 移除元素

● Leetcode704 二分查找

题目链接：Leetcode704 二分查找
视频讲解：代码随想录|二分查找讲解
题目描述：给定一个 n 个元素有序的（升序）整型数组 nums 和一个目标值 target ，写一个函数搜索 nums 中的 target，如果目标值存在返回下标，否则返回 -1。
示例 1:
输入: nums = [-1,0,3,5,9,12], target = 9
输出: 4
解释: 9 出现在 nums 中并且下标为 4
示例 2:
输入: nums = [-1,0,3,5,9,12], target = 2
输出: -1
解释: 2 不存在 nums 中因此返回 -1

● 解题思路

二分查找的条件：
（1）数组元素有序；
（2）数组元素无重复，因为如果数组中出现重复元素，就可能导致返回元素下标的结果不一致。

思路：
使用双指针标记数组的左边界left和右边界right，通过对比其中间值mid和目标值target的大小，改变左/右边界，从而达到二分效果寻找目标值target的下标。

时间复杂度：O（log n） 空间复杂度：O（1）

● 易错点

循环不变量：

对于二分查找的易错点总的有两个，第一个是While循环内的判断条件是left < right或是left <= right的选择，第二个则是对于if语句内变更查询边界是left（right）= mid +(-) 1还是left（right）= mid，对于这两个易错点的判断都需要基于循环不变量规则，也就是对于区间的定义为左闭右闭还是左闭右开。

易错点1： While循环的判断条件

对于while内循环条件的选定，需要在循环不变量规则的基础上，判断当left == right对于数组区间的合法性。

倘若区间为左闭右闭，以[1,1]为例，此时left = right = 1，区间内只有一个元素1,数组区间合法；但当区间为左闭右开时，数组区间为[1, 1)，若left = right = 1，则对于数组既要包括1，又不包括1，则该区间不合法。

因此当while(left <= right)，则left = 0, right = nums.size - 1；而当while(left < right)，则left = 0, right = nums.size()。

易错点2： if语句内的边界改变

假如区间为左闭右闭，此时左边界为left = 0，右边界为right = nums.size() - 1。当mid和target进行第一次比较之后，我们可以发现此时的mid已经不是我们的目标值target，所以不管是改变左边界left还是改变右边界right，都不需要再包含mid在内。应该将左边界赋值为left = mid + 1或将右边界right = mid - 1；

而当区间为左闭右闭，此时左边界为left = 0，右边界为right = nums.size()。当mid和target进行第一次比较之后，当nums[mid] < target时，左边界包含在数组区间范围内，因此在改变左边界时仍然是left = mid + 1，但若是nums[mid] > target，则right = mid，因为此时mid不包含在区间范围内。

● 代码实现

左闭右闭写法

//左闭右闭
class Solution {
public:
    int search(vector<int>& nums, int target) {
        int left = 0, right = nums.size() - 1; // 定义target在左闭右闭区间内，[left, right]
        while(left <= right) // 当left == right，区间[left, right]依然有效，所以取<=
        {
            int middle = left + ((right - left) / 2); // 防止溢出，等同于(left + right)/2
            if(nums[mid] < target)
            {
                left = mid + 1; // target在右区间内，[mid + 1, right]
            }
            else if(nums[mid] > target)
            {
                right = mid - 1; //target在左区间内，[left, mid - 1]
            }
            else
            {
                return mid; // nums[mid] == target，返回mid下标
            }
        }
        return -1;
    }
};

左闭右开写法

//左闭右开写法
class Solution {
public:
    int search(vector<int>& nums, int target) {
        int left = 0, right = nums.size(); // 定义target在左闭右闭区间内，[left, right)
        while(left < right) // 当left = right，区间[left, right)依然无效，所以取<
        {
            int middle = left + ((right - left) >> 1);
            if(nums[mid] < target)
            {
                left = mid + 1; // target在右区间内，[mid + 1, right]
            }
            else if(nums[mid] > target)
            {
                right = mid; //target在左区间内，[left, mid - 1]
            }
            else
            {
                return mid; // nums[mid] == target，返回mid下标
            }
        }
        return -1;
    }
};

● 本题收获

二分查找确实不难理解，主要需要对区间定义理解清楚，在循环中坚持根据区间的定义对边界进行处理。

● Leetcode27 移除元素

题目链接：Leetcode27 移除元素
视频讲解：代码随想录|移除元素讲解
题目描述：给你一个数组 nums 和一个值 val，你需要 原地 移除所有数值等于 val 的元素，并返回移除后数组的新长度。
不要使用额外的数组空间，你必须仅使用 O(1) 额外空间并 原地 修改输入数组。
元素的顺序可以改变。你不需要考虑数组中超出新长度后面的元素。
说明:
为什么返回数值是整数，但输出的答案是数组呢?
请注意，输入数组是以「引用」方式传递的，这意味着在函数里修改输入数组对于调用者是可见的。
你可以想象内部操作如下:
// nums 是以“引用”方式传递的。也就是说，不对实参作任何拷贝
int len = removeElement(nums, val);
// 在函数里修改输入数组对于调用者是可见的。
// 根据你的函数返回的长度, 它会打印出数组中 该长度范围内 的所有元素。
for (int i = 0; i < len; i++) {
print(nums[i]);
}
示例 1：
输入：nums = [3,2,2,3], val = 3
输出：2, nums = [2,2]
解释：函数应该返回新的长度 2, 并且 nums 中的前两个元素均为 2。你不需要考虑数组中超出新长度后面的元素。例如，函数返回的新长度为 2 ，而 nums = [2,2,3,3] 或 nums = [2,2,0,0]，也会被视作正确答案。
示例 2：
输入：nums = [0,1,2,2,3,0,4,2], val = 2
输出：5, nums = [0,1,3,0,4]
解释：函数应该返回新的长度 5, 并且 nums 中的前五个元素为 0, 1, 3, 0, 4。注意这五个元素可为任意顺序。你不需要考虑数组中超出新长度后面的元素。
提示：
0 <= nums.length <= 100
0 <= nums[i] <= 50
0 <= val <= 100

● 解题思路

思路：
数组元素在空间存储是连续的，不能简单地删除某一个元素，只能用一个元素覆盖另一个元素。

暴力求解： 使用i从首元素开始遍历，当nums[i] == val时，此时包括j = i + 1在内的所有元素向前移动一位覆盖，因为此时i所指向的元素是未遍历的元素，所以需要i--重新对之后元素进行判断。每覆盖一次元素的同时对size--，遍历完所有元素之后的size就是删除元素后新数组的大小。

时间复杂度：O（n^2） 空间复杂度：O（1）

双指针求解： 在原数组中定义两个指针：fast和slow。fast用来获取新数组中所需要的元素，即nums[fast] != val，slow用来获取新数组中需要更新的位置。只要fast指针满足nums[fast] != val，就将fast指针指向的元素赋值给slow，再将slow++向后移位。当遍历完所有元素之后，slow恰好为新数组的大小。
对于vector中的erase()方法的时间复杂度为O（n） ，使用双指针对本题进行求解相当于手动实现erase()方法。

时间复杂度：O（n） 空间复杂度：O（1）

● 代码实现

暴力求解

//暴力求解
class Solution {
public:
    int removeElement(vector<int>& nums, int val) {
        int size = nums.size();
        for(int i = 0; i < size; i++)
        {
            if(nums[i] == val) // 发现需要移除的元素，就将数组集体向前移动一位
            {
                for(int j = i + 1; j < size; j++)
                {
                    nums[j - 1] = nums[j];
                }
                i--; // 因为下标i以后的数值都向前移动了一位，所以i也向前移动一位
                size--; // 此时数组的大小-1
            }
        }
        return size;
    }
};

双指针求解

//双指针求解
class Solution {
public:
    int removeElement(vector<int>& nums, int val) {
        int slow = 0;
        for(int fast = 0; fast < nums.size(); fast++)
        {
            if(nums[fast] != val)
            {
                nums[slow] = nums[fast];
                slow++;
            }
        }
        return slow;
    }
};