https://leetcode.com/problems/search-in-rotated-sorted-array-ii/description/
是上一题的变种,允许数组中有相同元素。大致思路不变,还是特殊的二分,但是有一些小的case需要处理。
在没有重复元素的场景下,我们判断左半边是否有序是用条件“a[low]<=a[m]”来判断的,如果true,[low, m]闭区间就是有序,否则就是[m, high]闭区间有序。这里为什么有等号在上一篇已经讨论过了。那么在这道题目下,这个条件是有问题的,小于的情况没问题,主要出在等号上,如果a[low]==a[high],那么左半边无法判断是否有序,如果是{2,1},那么有序,如果是{1,3,1,1,1},那么无序。
所以我们不能用小于等于来判断左半边是否有序,只能用小于来判断,如果a[low]<a[m]那么左侧有序,否则如果a[low]>a[m]那么右侧有序,如果相等呢?无法判断。此时我们的思路可能是列举所有的等于的case,一一匹配,这样的思路很麻烦,换一种思路,如果等于,我们直接跳到下一个元素不就可以了吗。因为我们在判断左侧是否有序之前,肯定是先判断a[m]不等于target才进行的,否则如果相等就直接返回了。既然a[m]不等于target,而a[m]等于a[low],那么a[low]肯定不等于target,它不是我们要找的,所以我们可以直接跳过,即low++。直到出现了a[low]不等于a[m]的情况,再按照上面的方法判断。很巧妙。