划分算法

        划分是快速排序的一个根本机制,在介绍快速排序之前,先了解一下划分。
       划分数据就是把数据分为两组,使所有关键字大于特定值的数据项在一组,使所有关键字小于特定值的数据项在另一组。
       很容易想象划分数据的情况。比如可以将支援记录分为两组:家住办公地点15公里以内的雇员和住在15公里以外的雇员。或者学校管理者想要把学生分成年级平均成绩高于60分和低于60分的两组,一次来判定哪些学生应该在系主任掌握的名单里,等等。
       在完成了划分之后,数据还不能称为有序:这只是把数据简单的分成了两组。但是,数据还是比没有划分之前更接近有序了。注意划分是不稳定的。这也就是说,每一组中的数据项 并不是按照它原来的顺序排列的。事实上,划分往往会颠倒组中一些数据的顺序。
       划分的Java程序:
      
public int pattitionIt(int left, int right, long pivot)
       {
             int leftPtr=left -1;                                 //right of first elem
             int rightPtr=right+1;                           //left of pivot
             while(true)
             {
                   while(leftPtr<right &&                 //find bigger item
                              theArray[++leftPtr]<pivot)  // theArray是需要进行划分的数组
                          ;                                                //(nop)
                   while(rightPtr>left &&               //find smaller item
                                theArray[--rightPtr]>pivot)
                            ;                                             //(nop)
                   if(leftPtr>=rightPtr)                      //if pointers cross,
                         break;                                    //partition done
                   else
                         swap(leftPtr,rightPtr);         //swap elements
             }                                                         //end while(true)
             return ledtPtr;
       }                                                               // end partitionIt()

       public void swap(int dex1, int dex2)    //swap two elements
       {
                long temp;
                temp=theArray[dex1];
                theArray[dex1]=theArray[dex2];
                theArray[dex1]=temp;
       }

         划分的过程不一定要把数组分成大小小相同的两半;这取决于枢纽以及数据的关键字的值。有可能一组中的数据项个数多于另一组中的数据项个数。

划分算法:
      
划分算法由两个指针开始工作,两个指针分别指向数组的两头(此指针非彼指针)。在昨天的指针,leftPtr,向右推移,而在右边的指针,rightPtr,向左推移。
       实际上,leftPtr初始化时是在第一个数据项的左一位,rightPtr是在最后一个数据项的右边一位,这是因为在它们工作之前,它们都要分别的加一和减一。
       停止和交换
       当leftPtr遇到比枢纽小的数据项时,它继续右移,因为这个数据项的位置已经处在数组的正确一边了。但是,当遇到比枢纽大的数据项时,它就停下来。类似的,当rightPtr遇到大于枢纽的数据项时,它继续左移,但是当发现比枢纽小的数据项时,它也挺下来,两个内层的while循环,第一个应用与leftPtr,第二个应用于rightPtr,控制这个扫描过程。因为指针退出了while循环,所以它停止移动。下面是一段扫描不在适当位置上的数据项的简化代码:
       while(theArray[++leftPtr]<pivot)  //find bigger item
          ;
       while(theArray[--right>piovt])      //find smaller item
          ;
       swap(leftPtr,rightPtr);
       第一个while 循环在发现比枢纽大的数据项时退出;第二个循环在发现比枢纽小的数据项时退出,当这两个循环都退出之后,leftPtr和rightPtr都指着在数组错误一方位置上的数据项,所以交换这两个数据项。
       交换之后,继续移动两个指针,当指向的数据项在数组的错误一方时,再次停止,然后交换数据项。所有的这些操作都包含在一个外部循环中。当两个指针最终相遇的时候,划分过程结束,并且退出这个外层while循环。
       处理异常数据
      
如果肯定数组最右端的数据项小于枢纽,并且数组最左端的数据项大于枢纽,那么前面看到的简化的while循环会很好的执行。遗憾的是,可能用算法来划分的那些数据并没有排列得这么好。
       例如,如果所有的的数据项都小于枢纽,leftPtr变量将会遍历整个数组,徒劳地寻找大于枢纽的数据项,然后跑出数组的最右端,产生数组越界的异常。当所有的数据都大于枢纽的时候,类似的糟糕结果也会发生在rightPtr上。
       为了避免这些问题,必须在while循环中增加数组边界的检测:在第一个循环中增加leftPtr<right,第二个循环中增加rightPtr>left。
       精巧的代码
       这个while循环中的代码相当精巧。举例来说,想要从内部循环条件中出去加1操作符,并且用这个加1操作符代替空操作指令语句。例如,可以把如下的代码:
       while(leftPtr<right &&                 //find bigger item
                              theArray[++leftPtr]<pivot)  // theArray是需要进行划分的数组
                          ;  
       改为
       while(leftPtr<right &&                 //find bigger item
                              theArray[leftPtr]<pivot)  // theArray是需要进行划分的数组
                        ++ leftPtr ;
        对于另一个内部while循环的改变是相似的。这些改变使指针的初始值分别设为left和right成为可能,这比设为left-1和right+1要更为清晰。
        但是,这些改变导致只有在满足条件的情况下指针才会加1。而算法要求指针在任何情况下都必须移动,所以需要在外层的while循环中增加两个附加的语句强迫指针变换。空操作指令是最有效的解决办法。
        相等的关键字
      
下面是要在partitionIt()方法中做的另一个细微的改变。如果想要对所有与枢纽相等的数据项运行partitionIt()方法,将发现每一次比较都会产生一次交换。交换关键字相等的数据项看起来是浪费时间的。while循环中对枢纽和数组数据项进行比较的<和>操作符产生了这种额外的交换。然而,假设使用<=和>=操作符,这确实防止了相等数据项的交换,但是这也使得在算法结束时leftPtr和rightPtr停在了数组的两端。
       划分算法的效率:
        划分算法的执行时间为O(N)。两个指针开始时分别在数组的两端,然后以或大或小的恒定速度相向移动,停止移动并且在移动的过程中交换。当两个指针相遇时,划分完成。如果要划分两倍树目的数据项,指针以同样的速率移动,但是需要比较和交换两倍数目的数据项,因此这个过程耗时也是两倍。从而,运行时间和N成正比。
        更为特别的,每一次划分都有N+1或者N+2次的比较。每个数据项都由这个或那个指针参与比较,这产生了N次比较,但是在指针发现它们已经彼此“越过”之前,他们已经移动过头了,所以在划分完成之前多了一次或者两次额外的比较,比较的次数不取决于数据是如何排列的(除了在扫描结束时的一次或者两次额外比较的不确定性)。
        但是,交换的次数确实是取决于数据是如何排列的。如果数据是逆序排列的,并且取得枢纽把数据项分为两半,那么每一对值都需要交换,也就是N/2次交换。
        对于任意的数据,在一次划分中交换的次数将小于N/2,即使一半的数据项小于枢纽,一半的数据项大于枢纽。这是因为总会有一些数据项在正确的位置上。如果枢纽比大多数的竖条都大(或者小),会有更少的交换次数,这是因为只有很少的大于(或者小于)枢纽的数据项需要交换。对于任意的数据,在平均情况下,大约执行数据项最大数目的一般的交换操作。
        尽管交换的次数少于比较的次数,但它们都是和N成正比的。         
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值