蓝桥杯子数组和问题：前缀和与哈希表解法详解

1. 题目背景与核心考察点

"蓝桥杯 云神的子数组和"是蓝桥杯竞赛中一道经典的算法题目，主要考察选手对数组操作和动态规划算法的掌握程度。这类题目在算法竞赛和面试中都非常常见，理解其解法对提升编程思维和解题能力很有帮助。

这道题的核心要求是：给定一个整数数组，找出所有连续子数组中，和等于特定目标值的子数组数量。看似简单的问题背后，隐藏着多种解题思路和优化空间，需要我们从暴力解法逐步优化到高效算法。

2. 基础解法：暴力枚举法

2.1 双重循环实现

最直观的解法是使用双重循环枚举所有可能的子数组：

python复制def subarraySum(nums, k):
    count = 0
    n = len(nums)
    for i in range(n):
        current_sum = 0
        for j in range(i, n):
            current_sum += nums[j]
            if current_sum == k:
                count += 1
    return count

这种方法的时间复杂度是O(n²)，对于小规模数据尚可接受，但当数组长度超过10⁴时就会超时。

2.2 暴力解法的局限性

虽然暴力解法思路简单，但存在明显缺陷：

1. 重复计算严重：每次计算子数组和时都从i到j重新累加
2. 无法处理大规模数据：当n=10⁵时，操作次数将达到10¹⁰量级
3. 无法处理负数情况：当数组包含负数时，剪枝策略失效

提示：在竞赛中，通常n≤10⁵的数据规模要求算法时间复杂度不超过O(nlogn)

3. 优化解法：前缀和+哈希表

3.1 前缀和概念

前缀和是一种预处理技术，定义prefix[i]表示nums[0]+nums[1]+...+nums[i-1]。通过前缀和，我们可以将子数组和的计算转化为：

code复制sum(nums[i..j]) = prefix[j+1] - prefix[i]

3.2 哈希表优化思路

基于前缀和，我们可以推导出：

code复制prefix[j+1] - prefix[i] = k ⇒ prefix[j+1] - k = pr