学习目标

• 区分左侧、右侧和跨中点三类候选答案。
• 处理全负数与空序列边界。
• 分析线性合并带来的 O(n log n) 时间。

前置知识与环境

先阅读第 12 章对应内容，并确保本机可使用 C++17。首次运行可执行 make doctor；Windows 未安装 Make 时可在仓库根使用 pnpm 命令。

题目

用分治法计算最大连续子数组和。

输入格式

第一行 n，第二行 n 个整数。

输出格式

输出最大连续子数组和；空序列输出 0。

数据范围

0 ≤ n ≤ 200000，元素绝对值不超过 10^9。

示例

输入

9
-2 1 -3 4 -1 2 1 -5 4

输出

6

测试设计提示

公开测试至少 10 组、总分 100 分，覆盖样例、边界、典型错误与适度压力输入。测试只接受标准输出；调试信息请写到标准错误。

运行与评分

cd labs/chapter-12/exercise/E-12-02-maximum-subarray
make run
make score

# 没有 Make 时，在仓库根执行
pnpm lab:run -- labs/chapter-12/exercise/E-12-02-maximum-subarray
pnpm lab:score -- labs/chapter-12/exercise/E-12-02-maximum-subarray

完成清单

• student/main.cpp 已替换占位逻辑，并能通过编译。
• 公开测试全部通过，评分为 100/100。
• 能说明递归函数语义、边界、规模缩小方式和复杂度。
• 主动构造了一个会击穿常见错误的额外输入。

思考与复盘

1. 递归函数对输入区间或问题规模承诺了什么？
2. 哪个最小反例最容易暴露边界错误？
3. 能否改写为迭代算法？两种写法的空间复杂度有何区别？