【数据结构】线性表——划分

以某个元素为标准，左边都小于该元素，右边的都大于该元素

情况1——要比较的元素为数组的第一个元素

枢轴元素放temp，同时需要声明两个指针i和j
j往左扫描，如果小于枢轴，就赋值给i指向的元素，然后i右移
i往右扫描，如果大于枢轴，就赋值给j指向的元素，然后j左移
不断重复i, j交替比较-赋值-移动的过程
i，j相遇就停止，然后把枢轴的元素放到这个位置

情况2——要进行比较的元素不在数组中

多了comp变量，过程与情况1大致相同，只是要比较的对象变为comp，注意i和j相遇时要搬运的还是temp

将数组中第一个元素（枢轴）存到temp中，值为X；用来比较的元素为Y

• 效果是把数组元素以Y为界限分成了前后两部分，前半部分小于Y，后半部分大于等于Y
• i和j最终指向的值为X,不是Y

枢轴和comp的另外几种关系：

• comp元素存在于数组中，且小于枢轴
  
  
• comp元素大于枢轴
  
  结论：
  • comp与分界线位置无关
  • 分界线与枢轴的相对位置与comp和枢轴的大小关系有关
    如果comp>枢轴，分界线出现在枢轴右侧，反之则出现在左侧。若comp=枢轴，则分界线恰好为枢轴

情况三——枢轴在数组中，但不是数组的第一个元素

将该元素交换到数组的第一位即可

三种情况的代码类似！

/*情况2：
void partition(int arr[], int n, int comp)*/
/*情况3：void partition(int arr[], int n, int k)*/
void partition(int arr[], int n) //情况1
{
	int temp;
	int i = 0, j = n-1;
	/*情况3时此处需要添加
	temp = arr[0];
	arr[0] = arr[k];
	arr[k] = temp;
	*/
	temp = arr[i];
	while(i < j)
	{
		while(i < j && arr[j] >= temp/*情况2时换成comp*/) //再次判断i<j，因为j一直在往左走，每移动一次都要判断i和j的位置
			--j;
		if(i < j) //上面循环结束的判断条件有两个，有可能第一个条件不满足而导致结束循环，因此还要再判断一下i<j
		{
			arr[i] = arr[j];
			++i;
		}
		//与上面对称
		while(i < j && arr[i] < temp /*comp*/)
			++i;
		if(i < j)
		{
			arr[j] = arr[i];
			--j;
		}
	}
	//搬运temp
	arr[i] = temp;
}