局部极小值是数组中严格小于所有相邻元素的元素：首元素只需小于后一个，尾元素只需小于前一个，中间元素需同时小于前后两个；单元素数组通常视为局部极小值。
什么是局部极小值？先确认边界条件
局部极小值在数组中定义为：某个元素严格小于它的所有相邻元素。对一维数组 arr，索引 i 是局部极小值当且仅当：
- 若
i == 0（首元素），只需满足arr[0] < arr[1] - 若
i == n-1（尾元素），只需满足arr[n-1] < arr[n-2] - 若
0 < i < n-1（中间元素），需同时满足arr[i] < arr[i-1]且arr[i] < arr[i+1]
注意：「严格小于」是关键，等于不算；长度为 1 的数组，该唯一元素视为局部极小值（无邻居，按约定常被接受，但需明确业务逻辑是否允许）。
遍历查找最直接，但要注意越界和边界处理
用一次线性扫描即可，时间复杂度 O(n)，空间 O(1)。重点不是“怎么写循环”，而是避免下标越界和漏判边界：
- 不要用
for (int i = 0; i < n; i++)然后无条件访问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] < arr[1]) res.push_back(0);
// 检查中间
for (int i = 1; i < n - 1; ++i) {
if (arr[i] < arr[i-1] && arr[i] < arr[i+1])
res.push_back(i);
}
// 检查尾元素
if (arr[n-1] < arr[n-2]) res.push_back(n-1);
return res;}
立即学习“C++免费学习笔记（深入）”；
用 STL std::adjacent_find 能不能简化？不能，别硬套
std::adjacent_find 查找相邻相等或满足二元谓词的连续两个元素，它返回的是第一个匹配的左元素迭代器，无法直接表达「当前元素比左右都小」这种三元关系。
常见误用：
- 写
adjacent_find(..., <a href="https://www.php.cn/link/b86a2c337ff58e0be115575abe91ba11"></a>{ 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） - 实际工程中除非明确约束输入形态，否则线性扫描更稳妥、更易验证
真正容易被忽略的，是「局部极小值可能不唯一」以及「单元素数组的语义是否被业务接受」——这两个点不提前对齐，后续调试会卡在奇怪的测试用例上。
