局部极小值是数组中严格小于所有相邻元素的元素：首元素只需小于后一个，尾元素只需小于前一个，中间元素需同时小于前后两个；单元素数组通常视为局部极小值。
什么是局部极小值？先确认边界条件
局部极小值在数组中定义为：某个元素严格小于它的所有相邻元素。对一维数组 arr，索引 i 是局部极小值当且仅当：
- 若
i == 0（首元素），只需满足arr[0] - 若
i == n-1（尾元素），只需满足arr[n-1] - 若
0 （中间元素），需同时满足 <code>arr[i] 且 <code>arr[i]
注意：「严格小于」是关键，等于不算；长度为 1 的数组，该唯一元素视为局部极小值（无邻居，按约定常被接受，但需明确业务逻辑是否允许）。
遍历查找最直接，但要注意越界和边界处理
用一次线性扫描即可，时间复杂度 O(n)，空间 O(1)。重点不是“怎么写循环”，而是避免下标越界和漏判边界：
- 不要用
for (int i = 0; i 然后无条件访问 <code>arr[i-1]或arr[i+1] - 推荐分三段处理，或统一用条件判断：
std::vector<int> findLocalMinima(const std::vector<int>& arr) {
std::vector<int> res;
int n = arr.size();
if (n == 0) return res;
if (n == 1) { res.push_back(0); return res; }
<pre class="brush:php;toolbar:false;">// 检查首元素
if (arr[0] <p>}</p>
用 STL std::adjacent_find 能不能简化？不能，别硬套
std::adjacent_find 查找相邻相等或满足二元谓词的连续两个元素，它返回的是第一个匹配的左元素迭代器，无法直接表达「当前元素比左右都小」这种三元关系。
常见误用：
- 写
adjacent_find(..., @#@#@#@#@#@#@#@#@#@0{ return a > b; })—— 这只找下降沿，不是极小值点 - 试图嵌套调用或配合
std::prev/std::next—— 迭代器有效性难保障，且逻辑绕、可读性差
结论：标准算法库没有现成接口解决这个三元比较问题，老老实实手写循环更清晰、更安全。
如果数组很大且已知存在唯一局部极小值，能否用二分？可以，但限制极多
仅当数组满足「先严格递减、再严格递增」（即呈 V 形）时，才存在唯一局部极小值，且可用二分在 O(log n) 时间定位：
- 比较
arr[mid]和arr[mid+1] - 若
arr[mid] > arr[mid+1]，说明还在下降段，极小值在右半边 - 否则在左半边（含
mid）
但注意：
- 这不适用于一般数组（比如 [3,1,4,1,5] 有两个局部极小值）
- 边界处理更复杂（首尾无法直接比
mid+1） - 实际工程中除非明确约束输入形态，否则线性扫描更稳妥、更易验证
真正容易被忽略的，是「局部极小值可能不唯一」以及「单元素数组的语义是否被业务接受」——这两个点不提前对齐，后续调试会卡在奇怪的测试用例上。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
