“最大子段和”

问题：数组a，长度为s，“子段”定义为其中连续的若干个元素，求最大的子段和。（空子段的和定义为0）

思路：设想正在检查第 i 个元素，已发现的最大和为m，最新选中的子段其和为 t 。

当t <= 0时，若a[i]为正，前面所选子段之和还不如仅选 a[i] 大；若a[i] < 0，反正已经是负数了（还不如选空子段），另选a[i]为新子段也不会更差。

当t > 0时，可以加上 a[i]：增大的话可能是更好的结果，减小也不会拖累 m。

#include <cassert>
#include <iostream>
using namespace std;

int max_sub_seq_sum(int const a[], int const S)
{
  int m = 0; // [begin, end)

  for(int i = 0, t = 0; i < S; ++i){
    if(t <= 0){
      t = a[i];
    }
    else{
      t += a[i];
    }

    if(t > m){
      m = t;
    }
  }

  return m;
}

int main()
{
  { int a[] = {}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 0); }
  { int a[] = {0}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 0); }
  { int a[] = {1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 1); }
  { int a[] = {1, 2}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 3); }
  { int a[] = {1, 0, 2}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 3); }
  { int a[] = {-1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 0); }
  { int a[] = {-1, 0}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 0); }
  { int a[] = {-1, 1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 1); }
  { int a[] = {-1, 0, 1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 1); }
  { int a[] = {-1, 0, 1, 1, -1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 2); }
  { int a[] = {-1, 0, 1, 1, -1, 0, 1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 2); }
  { int a[] = {1, -1, -1, 1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 1); }
  { int a[] = {1, -1, -1, 1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 1); }
  { int a[] = {1, -1, -1, 1, 1, -2}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 2); }
  { int a[] = {1, 0, 0, 1, -1, 1}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 2); }
  { int a[] = { 7, 6, 5, 4, 3, 2, 1, 0}; assert(max_sub_seq_sum(a, sizeof(a)/sizeof(a[0])) == 28); }
}