力扣Leetcode第1534题，统计好三元组的Python解法

Description

给你一个整数数组 arr ，以及 a、b 、c 三个整数。请你统计其中好三元组的数量。

如果三元组 (arr[i], arr[j], arr[k]) 满足下列全部条件，则认为它是一个 好三元组 。

0 <= i < j < k < arr.length
|arr[i] - arr[j]| <= a
|arr[j] - arr[k]| <= b
|arr[i] - arr[k]| <= c
其中 |x| 表示 x 的绝对值。

返回 好三元组的数量 。

示例 1：

输入：arr = [3,0,1,1,9,7], a = 7, b = 2, c = 3
输出：4
解释：一共有 4 个好三元组：[(3,0,1), (3,0,1), (3,1,1), (0,1,1)] 。
示例 2：

输入：arr = [1,1,2,2,3], a = 0, b = 0, c = 1
输出：0
解释：不存在满足所有条件的三元组。

提示：

3 <= arr.length <= 100
0 <= arr[i] <= 1000
0 <= a, b, c <= 1000

Codes

class Solution(object):
    def countGoodTriplets(self, arr, a, b, c):
        """
        :type arr: List[int]
        :type a: int
        :type b: int
        :type c: int
        :rtype: int
        """
        ans = 0
        n = len(arr)
        total = [0] * 1001
        for j in range(n):
            for k in range(j + 1, n):
                if abs(arr[j] - arr[k]) <= b:
                    lj, rj = arr[j] - a, arr[j] + a
                    lk, rk = arr[k] - c, arr[k] + c
                    l = max(0, lj, lk)
                    r = min(1000, rj, rk)
                    if l <= r:
                        ans += total[r] if l == 0 else total[r] - total[l - 1]
            for k in range(arr[j], 1001):
                total[k] += 1
        
        return ans

思路

我们考虑 O(n^2)O(n 2 ) 枚举满足 |\rm arr[j]-\rm arr[k]|\le b∣arr[j]−arr[k]∣≤b 的二元组 (j,k)(j,k)，统计这个二元组下有多少 ii 满足条件。由题目已知 ii 的限制条件为 |\rm arr[i]-\rm arr[j]|\le a \ &&\ |\rm arr[i]-\rm arr[k]|\le c∣arr[i]−arr[j]∣≤a && ∣arr[i]−arr[k]∣≤c，我们可以拆开绝对值，得到符合条件的值一定是 [\rm arr[j]-a,\rm arr[j]+a][arr[j]−a,arr[j]+a] 和 [\rm arr[k]-c,\rm arr[k]+c][arr[k]−c,arr[k]+c] 两个区间的交集，我们记为 [l,r][l,r]。因此，在枚举 (j,k)(j,k) 这个二元组的时候，我们只需要快速统计出满足 i<ji<j 且 \rm arr[i]arr[i] 的值域范围在 [l,r][l,r] 的 ii 的个数即可。

很容易想到维护一个 \rm arr[i]arr[i] 频次数组的前缀和 \rm sumsum，对于一个二元组 (j,k)(j,k)，我们可以 O(1)O(1) 得到答案为 \rm sum[r]-\rm sum[l-1]sum[r]−sum[l−1]。考虑怎么维护保证当前频次数组存的数的下标符合 i<ji<j 的限制，我们只要从小到大枚举 jj，每次 jj 移动指针加一的时候，将 \rm arr[j]arr[j] 的值更新到 \rm sumsum 数组中即可，这样能保证枚举到 jj 的时候 \rm sumsum 数组里存的值的下标满足限制。

「将 \rm arr[j]arr[j] 的值更新到 \rm sumsum 数组中」这个操作在本方法中是暴力更新，因为数组的值域上限很小，有能力的读者可以考虑怎么在进一步优化这一部分的复杂度，可以从离散化或者树状数组的角度考虑，这里不再赘述。