最大子序列 分治法

static int MaxSubSum(const int a[],int Left,int Right)
{
    int MaxLeftSum,MaxRightSum;
    int MaxLeftBorderSum,MaxRightBorderSum;
    int Center;
    if(Left==Right)
        if(a[Left]>0)
            return a[Left];
        else
            return 0;
         
    Center=(Left+Right)/2;
    MaxLeftSum =MaxSubSum(a,Left,Center);   //第一句
    MaxRightSum=MaxSubSum(a,Center+1,Right);//第二句
         
    MaxLeftBorderSum=0;LeftBorderSum=0;
    for(i=Center;i>=Left;i--)
    {
        LeftBorderSum+=a[i];
        if(LeftBorderSum>MaxLeftBorderSum)
            MaxLeftBorderSum=LeftBorderSum;
    }
         
    MaxRightBorderSum=0;RightBorderSum=0;
    for(i=Center+1;i<=Right;i++)
    {
        RightBorderSum+=a[i];
        if(RightBorderSum>MaxRightBorderSum)
            MaxRightBorderSum=RightBorderSum;
    }
    return Max3(MaxLeftSum,MaxRightSum,MaxLeftBorderSum+MaxRightBorderSum);
}
 
int MaxSubsequenceSum(const int a[], int n)
{
    return MaxSubSum(a,o,n-1);
}

理解递归,不应该将函数一层一层展开,即针对代码中的"第一句",没必要看成"不停调用函数MaxSubSum()直至Left==Right 递归结束"
而是直接假设MaxSubSum是正确的,它求得了序列前半部分最大子序列和~
当然,需要递归终止条件,就是只有一个数时,Left=Right,得到长度为1或0的子序列~~

就像数学归纳法,先证明命题f(n)对于初始条件如n=1成立,然后假设命题f(n)对于n=2,3,...,k成立,只要求证f(n)对k+1也成立一样
这里的初始条件就是只有1个数,Left=Right~