首页 > 代码库 > 算法抽象及用Python实现具体算法

算法抽象及用Python实现具体算法

一、算法抽象

    它们一般是在具体算法的基础上总结、提炼、分析出来的,再反过来用于指导解决其它问题。它们适用于某一类问题的解决,用辩

证法的观点看,抽象的算法和具体的算法就是抽象与具体、普遍性与特殊性、共性和个性的关系。马是白马的抽象,无论是白马还是红

马,都是马,我们用马的唯一本质属性——染色体来决定一种动物是否是马,这个本质属性就是马的抽象。

(1)分治法

    分治法的基本思想是先分割原问题,将原问题分割成一个或多个简单的子问题,这些子问题的解经过一定组合得到原问题的解,而求

解这些子问题时,常常会再次分解,组合,即迭代上面的过程。再进一步总结可以得到分治法的步骤:分解、求解子问题、组合。而至

于怎么分解、组合,分治法没有抽象出规律。自己想怎么做就怎么做,比如归并排序和快速排序,都是用的分治法,但分解和组合过程

不一样。分治法适用于解决易分解为子问题的问题。

    我们可以给出分治法的伪代码框架,针对某个具体的问题,需进行适当的修改,比如参数个数等,由于数学功底不是很牛B,我没有办

法证明该框架适用于所有的递归函数和所有基于分治法的算法,但我还没有发现不适用的情况。还有,如果子结节是直接在原问题对象上进

行的操作,那有时子结节就不需要返回值(返回None就行)给父结点了,父结点也不会用这些结点的返回值,因为所有结点操作的是同

一个共享资源,这点见快速排序;另外,对于像二分查找,对于任意一次查找的过程,它其实只是走的某个结点到根结点的路径而已,它

每次分解后只用到其中一个结点,这样它也就没有merge()可言了。

    看了下面代码,是不是感觉跟MapReduce的思想有些相似,是的,MapReduce其实是就是基于分治法思想的。MapReduce中的Map

就对应下面的map()方法,而Reduce其实是merge()方法的一种特例而已,因为merge()是根据具体问题而定的,不一定就是迭代函数。

因为MapReduce是基于分治法的,所以适用场景与只能是分治法适用场景的一个子集。

def handler(obj):
    end_ret = is_end(obj) 
    if end_ret[0]== True: #递归结束点
        return end_ret[1]   
    else:                 #非结束点,递归调用
       subnode_tuple = separate(obj) #该节点分割,分割为一个或多个子节点
       subnode_rettuple = map(handler, subnode_tuple) #求解每个子节点的解,递归调用
       node_ret = merge(subnode_rettuple,obj) #将子节点的解组合,组合时有时也会用到节点的某些数据
       return node_ret  

   

二、 具体算法

(1)快速排序

    快速排序其实是用的分治法的思想,归并排序也是用的分治法,同样都是分治法,但策略不同。我们在“分治法”中提到分治法分为三

个步骤:分解、求解子问题、组合。快速排序和归并排序的不同体现在分解上,分解不同,后面的组合也常常不同。快速排序在分解时

会有一定的排序,也就是边分解边求解,它们是在原对象上直接进行的操作,操作完也不需要组合。归并的主要工作在组合上,分解过

程非常简单,归并的过程也完全可以在原对象(原序列)上进行。

    快速排序一次分割会把序列中的某一个元素(任意选择一个即可)确定好位置,并把序列以该元素为界分为两部分,一部分大于等于

该元素,另一部分小于等于该元素,然后再递归分解这两部分(确定好位置的那个元素无需再排序,不用放在这两部分中),直到分割

的部分只有一个元素或为空。递归就是树的分解过程,子节点可以直接操作原问题对象(原序列),操作完之后,相当于原序列的某个

部分就是有序的了。这样子结节无需再返回值让父节点用了。下面是快速排序代码,第一个没用分治法框架,第二个用了。子结点和叶

节点其实不需用返回值,但为了更好的用分治法框架理解,还是让他们返回值好了。

#-*- coding=utf-8 -*-
def qsort(s,start_index,end_index):
    if start_index>=end_index:
        if start_index == end_index:
return [s[start_index]]
else:
return []
else: i = separate(s,start_index,end_index) #不用考虑索引为i的元素,它已经排好序了 left_ret = qsort(s,start_index,i-1) right_ret = qsort(s,i+1,end_index) node_ret = left_ret + [s[i]] + right_ret
return node_ret
#分治,排好start_index的位置,并将序列分为两部分 def separate(s,start_index,end_index): key = s[start_index] empty_index = start_index #空位指针 track_index = end_index #跟踪指针 while empty_index != track_index: if track_index > empty_index: if s[track_index] < key: s[empty_index] = s[track_index] track_index,empty_index = empty_index,track_index track_index +=1 else: track_index -=1 else: if s[track_index] > key: s[empty_index] = s[track_index] track_index,empty_index = empty_index,track_index track_index -=1 else: track_index +=1 s[empty_index] = key return empty_index a = [12,3,9,10,87,25,8,9,47,11,1,100,85,47,59,81,60,33] b = qsort(a,0,len(a)-1) print a print b


使用分治法框架,与不使用的代码相比,只是微小的重构而已。

# -*- coding=utf-8 -*-
def qsort(obj):
    s = obj[0]
    start_index = obj[1]
    end_index = obj[2]
    end_ret = is_end(obj)
    if end_ret[0]== True:
        return end_ret[1]
    else:
        i = separate(obj)
        #不用考虑索引为i的元素,它的位置已经确定了
subnode1 = (s,start_index,i-1)
subnode2 = (s,i+1,end_index)
subnode_tuple = (subnode1,subnode2) subnode_rettuple = map(qsort,subnode_tuple) node_ret = merge(subnode_rettuple,obj[0][i]) return node_ret def is_end(obj):
s = obj[0]
start_index
= obj[1]
end_index
= obj[2]
if start_index>=end_index: if start_index == end_index: return (True,[s[start_index]]) else: return (True,[]) else: return (False,None) #分治,排好start_index的位置,并将序列分割成两部分 def separate(obj): s = obj[0] start_index = obj[1] end_index = obj[2] key = s[start_index] empty_index = start_index #空位指针 track_index = end_index #跟踪指针 while empty_index != track_index: if track_index > empty_index: if s[track_index] < key: s[empty_index] = s[track_index] track_index,empty_index = empty_index,track_index track_index +=1 else: track_index -=1 else: if s[track_index] > key: s[empty_index] = s[track_index] track_index,empty_index = empty_index,track_index track_index -=1 else: track_index +=1 s[empty_index] = key return empty_index def merge(subnode_rettuple,obj): return subnode_rettuple[0] + [obj] + subnode_rettuple[1] a = [12,3,9,10,87,25,8,9,47,11,1,100,85,47,59,81,60,33]
obj = (a,0,len(a)-1) b
= qsort(obj) print a print b