leetcode-最大子序和

题目描述：
  给定一个整数数组 $nums$ ，找到一个具有最大和的连续子数组（子数组最少包含一个元素），返回其最大和。

示例：
  输入: $[-2,1,-3,4,-1,2,1,-5,4]$,
  输出: $6$
  解释: 连续子数组 $[4,-1,2,1]$ 的和最大，为$6$。

  这一题leetcode上并没有详细的分析，看别人的讲解也说的不是特别的详细，这里我按照自己的理解方式做一个分析。

  首先这一题可以用动态规划算法，但是递推关系式的推出，是十分复杂的，其难度不应该是easy(当然仅从代码量角度看，确实是easy)。其python3实现代码如下

class Solution:
    def maxSubArray(self, nums: List[int]) -> int:
        for i in range(1, len(nums)):
            nums[i] = nums[i] + max(nums[i-1], 0)  
        return max(nums)

从代码可以看出递推关系式是$$C[i]=C[i]+max(C[i-1],0)$$下面主要讲述这个递推关系式是怎么推出来的，主要用的扫描法，扫描法简单理解，就是上面的递推关系式，从$i=0$，递推(扫描)到$i=n-1$($n$是$nums$的长度)，得到所有的$C[i]$。通过扫描法，我们其实只考虑了$n$个子序列，但是根据排列组合，有$1+2+3+\cdots +n=O(n^2)$个子序列，因为长度为$n$的子序列只有$1$个，长度为$n-1$的子序列有$2$个，长度为$n-2$的子序列有$3$个，长度为$4$……。我们证明的主要思路是， $O(n^2)$中的其余子序列情况的子序和一定小与等于扫描法考虑的n个子序列情况的子序和，因此才遗弃它们的。最后我们在$n$个子序列中选出最大的即可。

  首先说明一下$C[i]$的含义，其表示从$nums[0]$扫描到$nums[i]$，得到的包含$nums[i]$的最大自序和，从两个子场景说明：

场景一：递推执行到索引$m$，未出现$C[i]<0(i=0,1,2,\dots m-1)$的情况，这样我们的递推式其实变成$C[i]=\sum _{j=1}^{i}nums[j]$，这样我们仅考虑了$m$个子序的和，分别是$0$到$0$、$0$到$1$、$0$到$2$……$0$到$m-1$这$m$个子序，子序开头全是$0$，我们没有考虑的子序有两种情况，

  情况一：以$m$结尾，开头任意的子序，其示意图如下：

  $b$代表情况一没有考虑到的任意一个子序的子序和，我们有
$$a>0,c>0$$这是场景一的假设，又$$\begin{gathered} a+b=c \\ b=c-a \end{gathered}$$所以$b<c$，所以情况一所考虑的子序和$b$，全部没有对应的场景一考虑的子序和$c$大，所以被遗弃。

  情况二：开头结尾都任意的子序。其示意图如下：

  $b$代表情况二没有考虑到的任意一个子序的子序和，我们有
$$a>0,d>0$$这是场景一的假设，又$$\begin{gathered} a+b=d \\ b=d-a \end{gathered}$$所以$b<d$，所以情况二所考虑的子序和$b$，全部没有对应的场景一考虑的子序和$d$大，所以被遗弃。至于$d、c$谁更大，我们需要单独讨论。

场景二：递推执行到索引$m$，第一次出现$C[m-1]<0$，言外之意$C[i]\ge 0(i=0,1,2,\dots m-2)$，这样我们的递推式还是$C[i]=\sum _{j=1}^{i}nums[j](i=0,1,2,\dots m-1)$，但是$i>m-1$就要截断$nums$，即从$m$开始重新计算子序，有一种把索引$m$当成索引$0$的感觉，这是正常思维，如果不舍弃前面，加个负数的子序和一定小于舍弃前面的情况。但这样我们没有考虑的子序也有两种情况，

  情况三：以$m$结尾，开头任意的子序，其示意图如下(和情况一长得一样，但是$c<0$)

  $b$代表情况三没有考虑到的任意一个子序的子序和，我们有
$$a>0,c<0$$这是场景二的假设，又$$\begin{gathered} a+b=c \\ b=c-a<0 \end{gathered}$$所以$b<a$，所以情况三所考虑的子序和$b$，全部没有对应的子序和$a$大，所以被遗弃。

  情况四：跨过$m$的子序。其示意图如下：

  $e$代表情况四没有考虑到的任意一个子序的子序和，我们有
$$b<0$$这是情况三的推论，又$$b+d=e$$所以$e<d$，所以情况四所考虑的子序和$e$，全部没有从$m$开始重新考虑子序的子序和$d$大，所以被遗弃。

  接下来，我们就不断重复迭代场景一，场景二，就遗弃了其余的$O(n^2)-n$个子序，所以想推出上面的递推关系式，其分析是比较复杂的。

---

参考：
https://blog.csdn.net/zwzsdy/article/details/80029796

从一道easy leetcode问题，谈谈最大子列和的Kadane算法（强烈推荐）：https://blog.csdn.net/the__apollo/article/details/77367534