数组中最大值出现次数的快速统计方法

本文讲解如何仅使用基础数组结构，在 O(n) 时间复杂度内高效找出数组中最大元素的出现频次，纠正“双重循环必为 O(n²)”的常见误解，并提供可直接运行的实现示例与关键注意事项。

本文讲解如何仅使用基础数组结构，在 O(n) 时间复杂度内高效找出数组中最大元素的出现频次，纠正“双重循环必为 O(n²)”的常见误解，并提供可直接运行的实现示例与关键注意事项。

在算法实践中，一个常见误区是将“两次独立遍历”错误等价于“嵌套循环”，从而误判时间复杂度。事实上，对同一数组先后执行两次单层 for 循环，其总时间复杂度仍为 O(n)，而非 O(n²)。这是因为：

• 第一次遍历（找最大值）耗时：O(n)
• 第二次遍历（统计该最大值出现次数）耗时：O(n)
• 总耗时 = O(n) + O(n) = O(2n) = O(n)（常数因子在渐进分析中被忽略）

✅ 正确解法（单数组、零额外数据结构）：

def count_max_duplicates(arr):
    if not arr:
        return 0

    # 第一遍：找出最大值
    max_val = arr[0]
    for num in arr[1:]:
        if num > max_val:
            max_val = num

    # 第二遍：统计最大值出现次数
    count = 0
    for num in arr:
        if num == max_val:
            count += 1

    return count

# 示例调用
nums = [3, 7, 2, 7, 1, 7, 4]
print(count_max_duplicates(nums))  # 输出：3（最大值 7 出现 3 次）

⚠️ 关键注意事项：

• 不可合并为“一次遍历”来同时更新最大值和计数——因为最大值可能在遍历中途被更新，此前统计的旧最大值频次即失效；必须先确定最终最大值，再统一计数。
• 若需同时返回最大值及其频次，可封装为元组 return (max_val, count)，不增加复杂度。
• 边界处理必不可少：空数组、单元素数组均需兼容（示例已覆盖）。
• 本方案空间复杂度为 O(1)，严格满足“仅使用数组”的约束，无需哈希表、字典或辅助数组。

? 总结：
面对“仅用数组”的限制，最优解就是两趟线性扫描——简洁、稳健、理论最优。它既避免了 O(n²) 的暴力比对，又绕开了哈希结构的额外开销。理解“顺序执行 ≠ 嵌套执行”是掌握时间复杂度分析的关键一步。