【Leetcode刷题足迹day1】704二分查找 27移除元素

题目

704
给定一个 n 个元素有序的（升序）整型数组 nums 和一个目标值 target ，写一个函数搜索 nums 中的 target，如果目标值存在返回下标，否则返回 -1。

思路

这道题的前提是：

• 数组为有序数组
• 数组中无重复元素，因为一旦有重复元素，使用二分查找法返回的元素下标可能不是唯一的

二分法易错点

• while循环里面
• if条件里面

需要区别 [left, right], [left, right)， 区间的定义就是不变量，再二分查找的过程中保持不变量，换句话说就是 在循环结束前， 每次循环的开始都要保证这次开始的区间和原来的区间形式一致。

两种写法

[left, right]

left = 0
right = num.size - 1

while(left <= right): #是合法区间， 例如[1,1]中只有一个元素 1， 是合法的
	middle = (left +right)/2 
	# 这里可以使用 middle = left + (right - left)/2 用以防止越界
	if (num[middle] > target):
		right = middle - 1 
		# 因为既然num[middle] 都已经确定大于 target，那么num[middle]必不是需要的数
		#如果这里是 right = middle， 那么相当于把一个已经排除在外的数值再次作为了下一轮排查的边界，那么这个边界处理一定是有问题的
	else if (num[middle] < target):
		left = middle + 1
	else return middle
return -1

[left, right)

left = 0
right = num.size

while(left < right): #因为在区间定义中 right值根本取不到
	middle = (left + right)/2 
	# 这里可以使用 middle = left + (right - left)/2 用以防止越界
	if (num[middle] > target):
		right = middle 
		# 这里相当于需要不断继承最开始的开区间，所以需要一个取不到得值
	else if (num[middle] < target):
		left = middle + 1
		#这里是闭区间所以还是要+1
	else return middle
return -1

tips据观察来说，可以优先使用左闭右开的方法，在执行用时差不多的情况下，内存消耗会小一些

---

题目

27
给你一个数组 nums 和一个值 val，你需要 原地移除所有数值等于 val 的元素，并返回移除后数组的新长度。

不要使用额外的数组空间，你必须仅使用 O(1) 额外空间并原地修改输入数组。

元素的顺序可以改变。你不需要考虑数组中超出新长度后面的元素。

示例 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,4,0,3]
解释：函数应该返回新的长度 5, 并且 nums 中的前五个元素为 0, 1, 3, 0, 4。注意这五个元素可为任意顺序。你不需要考虑数组中超出新长度后面的元素。

思路

• 对数组底层实现的理解：连续的相同类型元素的集合
• 数组中的元素不能删除只能覆盖
• 删掉之后其实数组的内存空间还是没有变，各个编程语言会将其包装
• O(n)操作

暴力解法

双层for循环

#时间复杂度 O(n^2)
#空间复杂度 O（1）
size = nums.size()
for i in range(0,nums.size):
	if nums[i] == val: #发现需要移除得元素就将之后的数组全部前移一位
		for j in range(i+1, nums.size):
			nums[j-1] = nums[j] 
		i-- #因为下表i之后的数值都向前移动了一位，所以i也向前移动一位
		size-- #此时的数组大小-1
return size

双指针

使用已成for循环做两层for循环的事

#时间复杂度:O(n)
#空间复杂度：O(1)
#fast 快指针 新数组中所需要的元素
#slow 慢指针 新数组中元素的下标值

slow = 0
for fast in range(0,nums.size):
	if(nums[fast] != val):
		nums[slow] = nums[fast]
		slow++
return slow+1 #就是新数组的大小

整个过程相当于对数组重新赋值，也就是谈到的覆盖操作，当遇到不是要求删除的值的时候就把它放到原来的位置或者较原来靠前的位置（因为是删除，所以留下的数的位置必定是不变或者提前的）慢指针所代表的就是新数组的下标，这里完全等于一个新数组n[i]中的i。