如何在一个无序数组中找到一个峰值元素（即该元素严格大于其相邻元素），并说明算法思路与复杂度？

回答思路

1. 明确峰值定义及数组边界处理
2. 说明利用相邻比较决定二分方向
3. 正确推导O(log n)时间复杂度和O(1)空间复杂度
4. 解释算法正确性依据（必然存在峰值）