leetcode 974. 和可被 K 整除的子数组【一维前缀和+Hashmap+同余定理】

给定一个整数数组 A，返回其中元素之和可被 K 整除的（连续、非空）子数组的数目。

示例：

输入：A = [4,5,0,-2,-3,1], K = 5
输出：7
解释：
有 7 个子数组满足其元素之和可被 K = 5 整除：
[4, 5, 0, -2, -3, 1], [5], [5, 0], [5, 0, -2, -3], [0], [0, -2, -3], [-2, -3]

提示：

1. 1 <= A.length <= 30000
2. -10000 <= A[i] <= 10000
3. 2 <= K <= 10000

思路：
(presum[j] - presum[i]) % k =0 -> presum[j] % m = presum[i] % m, 也就是满足同余定理a=b(mod m)。
key用于存放前缀和取余后，相同余数的个数。以每个元素nums[j]结尾，计算nums[j]为止的前缀和的余数remainder，key为remiander的value值就是以nums[j]结尾的可被整除的子数组的个数。

代码：

class Solution:
    def subarraysDivByK(self, nums: List[int], k: int) -> int:
        presum = 0
        sum_ = dict()
        sum_[0] = 1
        cnt = 0
        for i in range(len(nums)):
            presum += nums[i]
            key = (presum % k + k) % k  # 对正数或负数取余
            cnt += sum_.get(key, 0)
            sum_[key] = sum_.get(key, 0) + 1
        return cnt