剑指offer系列-面试题21-调整数组顺序使奇数位于偶数前面（python）

1. 题目

输入一个整数数组，实现一个函数来调整该数组中数字的顺序，使得所有奇数位于数组的前半部分，所有偶数位于数组的后半部分。

２. 解题思路

从题目中来看，没有说明是否能够使用额外的空间，若能使用额外的空间且不考虑实现的时间复杂度的话，简单遍历就能实现了。但若是面试官要求我们原地修改此数组，并且要求时间复杂度低于O(n)，那么应该如何实现呢？

2.1 常规思路一

遇到这个题，我们一开始的想法肯定是遍历整个列表，判断每一个元素是奇数还是偶数，奇数放到一个列表中，偶数放到另一个列表中，最后通过extend合并这两个列表。时间复杂度是O(2n+k)，空间复杂度S(2n)。

2.2 常规思路二

若要使用更少的空间，还可以只使用一个额外的列表，奇数添加到列表的开头(添加到list的头部需要使用insert()方法，此方法的时间复杂度是O(n))，偶数添加到列表的结尾。时间复杂度是O(n^2)，空间复杂度是S(n)。

2.3 常规思路三

若是要求原地修改，那么就不能使用额外的列表，每碰到一个偶数，则拿出这个数字，并把位于这个数字后面的所有数字往前挪动一位。挪完之后再列表的末尾会出现一个空位，这是就可以将这个偶数放到这个空位，但是这样的时间复杂度是O(n^2)，空间复杂度为S(1)。

2.4 更优思路

对撞双指针
类似于快排的思路，使用两个指针，一个指针指向奇数(p1)，一个指针指向偶数(p2)，每次遍历过程中，遇到奇数(或偶数)，则停止移动p1(p2)，然后移动指针p2(p1)，直到遇到偶数(奇数)为止，然后交换这两个指针所指向的这一对奇偶数。时间复杂度O(nlogn)，空间复杂度S(1)。

2.5 秒杀offer思路

其实，2.4就已经能够很好的解决这个问题了，但是当我们遇到类似的问题，但是判断的条件发生改变的话，就还需要重新修改部分代码。例如，按照能否被3整除来放置元素的位置。那么能不能将2.4的代码做进一步的优化，使之扩展性更强呢？ 要增强代码的可扩展性，那就应当将之前的函数解耦，判断标准作为一个函数，对原数组的操作作为另一个函数。

3. 代码实现

3.1 常规思路一

def reorder_odd_even(lis):
	odds = []
	evens []
	for i in lis:
		if i % 2 == 0:
			evens.append(i)
		else:
			odds.append(i)
	odds.extend(evens)
	return odds

3.2 常规思路二

def reorder_odd_even(lis):
	result = []
	for i in lis:
		if i % 2 == 0:
			result.append(i)
		else:
			result.insert(0, i)
	return result

3.3 常规思路三

def reorder_odd_even_3(lis):                                                                                                                 48     """
	i = 0 # 指针所在位置
	count = 0 # 记录循环了多少次
	while count < len(lis):
	    if lis[i] % 2 == 0:
	    	temp = lis[i]
	    	j = i
	    	while j+1 < len(lis): # 若当前元素为偶数，则此元素后的所有元素都向前移动一位
	    		lis[j] = lis[j+1]
	    		j += 1
	    	lis[-1] = temp
	    else: # 只有当元素为奇数时，指针才往后移动，因为偶数时，后边的元素向前移动了一位，若此时指针还往后移动就会漏掉某些元素
	    	i += 1
        count += 1
    return lis

3.4 更优思路

对撞双指针

def reorder_odd_even(lis):
	i = 0 # 奇数指针
	j = len(lis) - 1 # 偶数指针
	
	while i < j: # 只有当i < j时，才需要操作
		
		if lis[i] % 2: # 奇数指针指向的元素是奇数的话，奇数指针右移一位
			i += 1
		else:	# 交换这一对奇偶元素
			lis[i], lis[j] = lis[j], lis[i]
			j -= 1
			
	return lis

3.5 秒杀offer思路

def reorder_odd_even(lis):
	i = 0 # 奇数指针
	j = len(lis) - 1 # 偶数指针
	
	while i < j: # 只有当i < j时，才需要操作
		
		if not is_even(lis[i]): # 奇数指针指向的元素是奇数的话，奇数指针右移一位
			i += 1
		else:	# 交换这一对奇偶元素
			lis[i], lis[j] = lis[j], lis[i]
			j -= 1
			
	return lis
			
def is_even(n):
	return n & 1 == 0 # 通过位运算提高效率

lis = reorder(lis, is_even)

4. 总结

空间换时间，想要时间复杂度低，通常都会使用更高的时间复杂度。其实许多算法之间的思路都是相同，就如这里就用到的快排的双指针这样的思路，一个指针时间复杂度太高，那么就可以使用双指针，左右开弓。
另外，在某些小的部分，我们也可以提高代码的运行效率，例如，使用位运算来代替普通的运算。

判断数字是否为偶数：n & 1 == 0, True为偶数，False为奇数
数字的2倍：n = n << 1, 或者 n <<= 1

等等，位运算还有许多要学习的地方。

5.参考文献

[1] 剑指offer丛书