Java实现优雅数组检测算法与优化技巧

1. 项目背景与核心需求

最近在准备华为OD机考双机位C卷时遇到一道关于"优雅数组"的编程题，题目要求用Java实现特定条件的数组操作。这类题型在算法面试中非常典型，主要考察候选人对数组处理、边界条件把控和代码优雅度的综合能力。

所谓优雅数组，是指满足以下条件的整数数组：

1. 数组长度n≥3
2. 存在且仅存在一个元素满足arr[i-1] < arr[i] > arr[i+1]
3. 其余元素必须严格单调递增或递减

举个例子，[1,3,2]就是一个典型的优雅数组，而[1,2,3,2,1]也是符合条件的。这类问题在实际业务中可能对应着寻找数据序列中的关键转折点，比如股票价格峰值检测、传感器数据异常点定位等场景。

2. 解题思路分析

2.1 问题拆解

首先需要明确题目要求的三个核心条件：

• 数组长度必须≥3（基础约束）
• 必须存在唯一一个"峰顶"元素（即比左右邻居都大）
• 峰顶左侧必须严格递增，右侧必须严格递减

2.2 算法选择

最直观的解法是线性扫描法，时间复杂度O(n)，空间复杂度O(1)。具体步骤：

1. 检查数组长度是否≥3
2. 从左到右寻找第一个满足arr[i] > arr[i+1]的位置
3. 检查该位置是否满足峰顶条件
4. 验证左侧严格递增和右侧严格递减

2.3 边界情况考虑

需要特别注意的边界情况包括：

• 数组长度不足3
• 多个峰顶存在
• 相邻元素相等
• 峰顶出现在首尾位置
• 空数组输入

3. Java实现详解

3.1 基础实现代码

java复制public class GracefulArray {
    public static boolean isGracefulArray(int[] arr) {
        if (arr == null || arr.length < 3) {
            return false;
        }
        
        int peakIndex = -1;
        // 寻找峰顶
        for (int i = 1; i < arr.length - 1; i++) {
            if (arr[i] > arr[i-1] && arr[i] > arr[i+1]) {
                if (peakIndex != -1) {
                    return false; // 多个峰顶
                }
                peakIndex = i;
            }
        }
        
        if (peakIndex == -1) {
            return false; // 无峰顶
        }
        
        // 检查左侧严格递增
        for (int i = 1; i <= peakIndex; i++) {
            if (arr[i] <= arr[i-1]) {
                return false;
            }
        }
        
        // 检查右侧严格递减
        for (int i = peakIndex + 1; i < arr.length; i++) {
            if (arr[i] >= arr[i-1]) {
                return false;
            }
        }
        
        return true;
    }
}

3.2 代码优化版本

可以通过单次遍历优化性能：

java复制public static boolean isGracefulArrayOptimized(int[] arr) {
    if (arr == null || arr.length < 3) return false;
    
    int state = 0; // 0:初始 1:上升 2:下降
    int peakCount = 0;
    
    for (int i = 1; i < arr.length; i++) {
        if (arr[i] == arr[i-1]) return false;
        
        if (arr[i] > arr[i-1]) {
            if (state == 2) return false; // 下降后又上升
            state = 1;
        } else {
            if (state == 1) {
                peakCount++;
                if (peakCount > 1) return false;
            }
            state = 2;
        }
    }
    
    return peakCount == 1;
}

4. 测试用例设计

4.1 常规测试用例

java复制@Test
public void testGracefulArray() {
    // 标准优雅数组
    assertTrue(isGracefulArray(new int[]{1,3,2}));
    assertTrue(isGracefulArray(new int[]{1,2,3,2,1}));
    
    // 非优雅数组
    assertFalse(isGracefulArray(new int[]{1,2,3})); // 无峰顶
    assertFalse(isGracefulArray(new int[]{3,2,1})); // 无峰顶
    assertFalse(isGracefulArray(new int[]{1,3,2,4,1})); // 多个峰顶
    assertFalse(isGracefulArray(new int[]{1,2,2,1})); // 相邻相等
}

4.2 边界测试用例

java复制@Test
public void testEdgeCases() {
    // 边界情况
    assertFalse(isGracefulArray(null));
    assertFalse(isGracefulArray(new int[]{}));
    assertFalse(isGracefulArray(new int[]{1}));
    assertFalse(isGracefulArray(new int[]{1,2}));
    
    // 峰顶在边界
    assertFalse(isGracefulArray(new int[]{3,2,1,2})); // 峰顶不能在最右
    assertFalse(isGracefulArray(new int[]{2,1,2,3})); // 峰顶不能在最左
}

5. 性能优化与注意事项

5.1 时间复杂度分析

• 基础版本：3次遍历，O(3n) → O(n)
• 优化版本：单次遍历，O(n)

虽然时间复杂度相同，但优化版本常数因子更小，在大数据量时性能更好。

5.2 常见错误与修正

1. 忽略相邻元素相等的情况

   • 错误：只检查大于/小于，不处理等于
   • 修正：严格递增递减要求相邻元素不能相等

2. 峰顶位置判断不准确

   • 错误：仅检查arr[i] > arr[i+1]
   • 修正：必须同时满足arr[i] > arr[i-1] && arr[i] > arr[i+1]

3. 边界条件处理不足

   • 错误：未处理null或短数组
   • 修正：方法开头先进行防御性检查

5.3 编码风格建议

1. 方法命名要清晰表达意图
2. 适当添加注释说明关键逻辑
3. 优先使用提前返回减少嵌套
4. 保持代码块短小精悍
5. 单元测试要覆盖各种边界情况

6. 实际应用场景扩展

虽然这是道算法题，但类似的模式识别在实际开发中有广泛应用：

1. 时间序列分析：识别股票价格峰值、传感器数据异常
2. 信号处理：寻找音频信号的波峰波谷
3. 数据分析：检测用户行为模式的变化点
4. 图像处理：边缘检测和特征提取

理解这类基础算法问题，能帮助我们在面对更复杂的业务场景时快速找到解决方案。比如在开发一个实时监控系统时，可能需要类似的算法来检测指标异常。