LeetCode 双周赛 101，DP/中心位贪心/裴蜀定理/Dijkstra/最小环

本文已收录到 AndroidFamily，技术和职场问题，请关注公众号 [彭旭锐] 提问。

大家好，我是小彭。

这周比较忙，上周末的双周赛题解现在才更新，虽迟但到哈。上周末这场是 LeetCode 第 101 场双周赛，整体有点难度，第 3 题似乎比第 4 题还难一些。

---

周赛大纲

2605. 从两个数字数组里生成最小数字（Easy）

题解一：散列表 $O(n + m)$ 空间
题解二：位运算 $O(1)$ 空间

2606. 找到最大开销的子字符串（Medium）

动态规划 O(n)

2607. 使子数组元素和相等（Medium）

题解 1：拼接数组 + 中位数贪心 · 错误
题解 2：数组分组 + 中位数贪心 $O(nlgn)$
题解 3：裴蜀定理 + 中位数贪心 $O(nlgn)$
题解 4：裴蜀定理 + 中位数贪心 + 快速选择 $O(n)$

2608. 图中的最短环（Hard）

题解 1：枚举边 + Dijkstra 最短路 + 最小堆 $O(m + m^2·lgn)$
题解 2：枚举边 + BFS $O(m + m^2)$

---

2605. 从两个数字数组里生成最小数字（Easy）

题目地址

https://leetcode.cn/problems/form-smallest-number-from-two-digit-arrays/description/

题目描述

给你两个只包含 1 到 9 之间数字的数组 nums1 和 nums2 ，每个数组中的元素 互不相同 ，请你返回 最小 的数字，两个数组都 至少 包含这个数字的某个数位。

题解一（散列表）

简单模拟题，需要对 API 比较熟悉才能写出精炼的代码。

思路：优先选择两个数组交集的最小值，否则取两个数组的最小值再拼接。

class Solution {

    fun minNumber(nums1: IntArray, nums2: IntArray): Int {

        val set1 = nums1.toHashSet()

        val set2 = nums2.toHashSet()

        // 优先选择交集

        val set = set1.intersect(set2)

        if (!set.isEmpty()) return Collections.min(set)

        // 选择最小值

        val min1 = Collections.min(set1)

        val min2 = Collections.min(set2)

        // 拼接

        return Math.min(10 * min1 + min2, 10 * min2 + min1)

    }

}

复杂度分析：

时间复杂度：$O(n + m)$ 其中 $n$ 是 $nums1$ 数组的长度，$m$ 是 $nums2$ 数组的长度；
空间复杂度：$O(n + m)$ 散列表空间

题解二（位运算）

使用二进制位标记代替散列表

class Solution {

    fun minNumber(nums1: IntArray, nums2: IntArray): Int {

        var flag1 = 0

        var flag2 = 0

        for (num in nums1) {

            flag1 = flag1 or (1 shl num)

        }

        for (num in nums2) {

            flag2 = flag2 or (1 shl num)

        }

        // numberOfTrailingZeros：最低位连续 0 的个数

        // 交集

        val flag = flag1 and flag2

        if (flag > 0) return Integer.numberOfTrailingZeros(flag)

        // 最小值

        val min1 = Integer.numberOfTrailingZeros(flag1)

        val min2 = Integer.numberOfTrailingZeros(flag2)

        // 拼接

        return Math.min(10 * min1 + min2, 10 * min2 + min1)

    }

}

复杂度分析：

时间复杂度：$O(n + m)$ 其中 $n$ 是 $nums1$ 数组的长度，$m$ 是 $nums2$ 数组的长度；
空间复杂度：$O(1)$ 散列表空间

---

2606. 找到最大开销的子字符串（Medium）

题目地址

https://leetcode.cn/problems/find-the-substring-with-maximum-cost/

题目描述

给你一个字符串 s ，一个字符 互不相同 的字符串 chars 和一个长度与 chars 相同的整数数组 vals 。

子字符串的开销 是一个子字符串中所有字符对应价值之和。空字符串的开销是 0 。

字符的价值 定义如下：

如果字符不在字符串 chars 中，那么它的价值是它在字母表中的位置（下标从 1 开始）。

比方说，'a' 的价值为 1 ，'b' 的价值为 2 ，以此类推，'z' 的价值为 26 。
否则，如果这个字符在 chars 中的位置为 i ，那么它的价值就是 vals[i] 。

请你返回字符串 s 的所有子字符串中的最大开销。

题解（动态规划）

简单动态规划问题。

先根据题意维护 a-z 每个字母的开销，再求 53. 最长子数组和 问题。

定义 dp[i] 表示以 [i] 为结尾的最大子数组和，则有

与 $a[0, i - 1]$ 拼接：$dp[i] = dp[i - 1] + vals[i]$
不与 $a[i - 1]$ 拼接（单独作为子数组）：$dp[i] = vals[i]$

class Solution {

    fun maximumCostSubstring(s: String, chars: String, vals: IntArray): Int {

        // 初值

        val fullVals = IntArray(26) { it + 1 }

        // 更新

        for ((i, c) in chars.withIndex()) {

            fullVals[c - 'a'] = vals[i]

        }

        // 动态规划

        val n = s.length

        var max = 0

        val dp = IntArray(n + 1)

        for (i in 1..n) {

            val curValue = fullVals[s[i - 1] - 'a']

            dp[i] = Math.max(curValue, dp[i - 1] + curValue)

            max = Math.max(max, dp[i])

        }

        return max

    }

}

滚动数组优化：

class Solution {

    fun maximumCostSubstring(s: String, chars: String, vals: IntArray): Int {

        // 初值

        val fullVals = IntArray(26) { it + 1 }

        // 更新

        for ((i, c) in chars.withIndex()) {

            fullVals[c - 'a'] = vals[i]

        }

        // 动态规划

        val n = s.length

        var max = 0

        var pre = 0

        for (i in 1..n) {

            val curValue = fullVals[s[i - 1] - 'a']

            pre = Math.max(curValue, pre + curValue)

            max = Math.max(max, pre)

        }

        return max

    }

}

另一种理解，视为 vals[i] 总与前序子数组拼接，而前序子数组的权值不低于 0：

$dp[i] = Math.max(dp[i - 1], 0) + vals[i]$

class Solution {

    fun maximumCostSubstring(s: String, chars: String, vals: IntArray): Int {

        // 初值

        val fullVals = IntArray(26) { it + 1}

        // 更新

        for ((i, c) in chars.withIndex()) {

            fullVals[c - 'a'] = vals[i]

        }

        // 动态规划

        val n = s.length

        var max = 0

        var pre = 0

        for (i in 1..n) {

            pre = Math.max(pre, 0) + fullVals[s[i - 1] - 'a']

            max = Math.max(max, pre)

        }

        return max

    }

}

---

2607. 使子数组元素和相等（Medium）

题目地址

https://leetcode.cn/problems/make-k-subarray-sums-equal/

题目描述

给你一个下标从 0 开始的整数数组 arr 和一个整数 k 。数组 arr 是一个循环数组。换句话说，数组中的最后一个元素的下一个元素是数组中的第一个元素，数组中第一个元素的前一个元素是数组中的最后一个元素。

你可以执行下述运算任意次：

选中 arr 中任意一个元素，并使其值加上 1 或减去 1 。

执行运算使每个长度为 k 的 子数组 的元素总和都相等，返回所需要的最少运算次数。

子数组 是数组的一个连续部分。

问题分析

分析 1： 先不考虑循环数组的前提，分析数据约束 “对于满足每个长度为 k 的子数组的和相等”，那么

$a[i]+a[i+1] +…+a[i+k-1] == a[i+1]+a[i+2]+…+a[i+k-1]+a[i+k]$

等式两边化简得：

$a[i]=a[i+k]$

也就是说，数组上每间隔 k 的元素要相等。因此我们需要将每间隔 k 的元素分为一组，再将组内元素调整为相等值；

分析 2： 如何将组内元素调整为相等值呢？可以证明选择中位数的贪心做法是最优的。

分析 3： 考虑循环数组的前提，对于 i + k ≥ len(arr) 的情况，需要对数组下标取模来模拟循环

题解一（拼接数组 + 中位数贪心 · 错误）

循环数组有拼接一倍数组的模拟做法，我们模拟出 2*n 长度的数组，在访问每个位置时，将所有同组的数组分为一组，再排序取中位数。

不过，这个思路在这道题里是不对的，因为同一个分组有可能循环多轮才会遇到。即使不考虑错误，在这道题的数据范围上也会内存溢出。

错误测试用例：$arr = [1, 5, 8, 10], k = 3$

class Solution {

    fun makeSubKSumEqual(arr: IntArray, k: Int): Long {

        val n = arr.size

        var ret = 0L

        // 延长一倍数组

        val visited = BooleanArray(2 * n)

        for (i in 0 until 2 * n) {

            if (visited[i]) continue

            // 分组

            val bucket = ArrayList<Int>()

            for (j in i until 2 * n step k) {

                bucket.add(arr[j % n])

                visited[j] = true

            }

            // 排序

            Collections.sort(bucket)

            // println(bucket.joinToString())

            // 中位数贪心

            val midVal = bucket[bucket.size / 2]

            for (element in bucket) {

                ret += Math.abs(element - midVal)

            }

        }

        return ret / 2 // 扩充了一倍数组，所以操作数也翻倍了

    }

}

题解二（数组分组 + 中位数贪心）

既然不能使用数组，那么可以在内存循环中一直循环取同分组为止，直到出现回环后退出：

class Solution {

    fun makeSubKSumEqual(arr: IntArray, k: Int): Long {

        val n = arr.size

        var ret = 0L

        val visited = BooleanArray(n)

        for (i in 0 until n) {

            if (visited[i]) continue

            // 分组

            val bucket = ArrayList<Int>()

            var j = i

            while (!visited[j]) {

                bucket.add(arr[j % n])

                visited[j] = true

                j = (j + k) % n

            }

            // 排序

            Collections.sort(bucket)

            // 中位数贪心

            val midVal = bucket[bucket.size / 2]

            for (element in bucket) {

                ret += Math.abs(element - midVal)

            }

        }

        return ret

    }

}

复杂度分析：

时间复杂度：$O(nlgn)$ 其中 $n$ 为 $arr$ 数组长度，每个元素最多访问一次，且排序一次，所以整体时间是 $O(nlgn)$；
空间复杂度：$O(n + lgn)$ 标记数组空间 + 排序递归栈空间。

题解三（裴蜀定理 + 中位数贪心）

根据前文分析，我们需要保证最终数组是以 $k$ 为循环周期的，而循环数组本身又是以 $n$ 为循环周期的。根据 裴蜀定理 ，如果一个数组存在周期 $k$ 和周期 $n$，那么必然存在周期 $gcb(k, n)$，而 $gcb(k, n)$ 必然小于 $n$，我们就将问题变成非循环数组问题。

裴蜀定理：设 a，b 是不全为零的整数，则存在整数 x , y，使得 ax + by = gcb(a,b)

class Solution {

    fun makeSubKSumEqual(arr: IntArray, k: Int): Long {

        val n = arr.size

        // 最大公约数

        val m = gcb(n, k)

        var ret = 0L

        // 最多只有 m 组

        for (i in 0 until m) {

            // 分组

            val bucket = ArrayList<Int>()

            for (j in i until n step m) {

                bucket.add(arr[j])

            }

            // 排序

            Collections.sort(bucket)

            val midVal = bucket[bucket.size / 2]

            for (element in bucket) {

                ret += Math.abs(element - midVal)

            }

        }

        return ret

    }

    private fun gcb(a: Int, b: Int): Int {

        if (b == 0) return a

        return gcb(b, a % b)

    }

}

复杂度分析：

时间复杂度：$O(nlgn)$ 其中 $n$ 为 $arr$ 数组长度，每个元素最多访问一次，且排序一次，所以整体时间是 $O(nlgn)$；
空间复杂度：$O(n + lgn)$ 分组空间 + 排序递归栈空间，分组空间最大为 $n$；

题解四（裴蜀定理 + 中位数贪心 + 快速选择）

排序是为了寻找中位数，没必要对整个分组排序，可以优化为快速选择，时间复杂度优化到 $O(n)$，Nice！

class Solution {

    fun makeSubKSumEqual(arr: IntArray, k: Int): Long {

        val n = arr.size

        // 最大公约数

        val m = gcb(n, k)

        var ret = 0L

        // 最多只有 m 组

        for (i in 0 until m) {

            // 分组

            val bucket = ArrayList<Int>()

            for (j in i until n step m) {

                bucket.add(arr[j])

            }

            // 快速选择

            quickSelect(bucket)

            val midVal = bucket[bucket.size / 2]

            for (element in bucket) {

                ret += Math.abs(element - midVal)

            }

        }

        return ret

    }

    // 快速选择中位数

    private fun quickSelect(bucket: ArrayList<Int>) {

        val mid = bucket.size / 2

        var left = 0

        var right = bucket.size - 1

        while (true) {

            val pivot = partition(bucket, left, right)

            if (mid == pivot) {

                break

            } else if (pivot < mid) {

                left = pivot + 1

            } else {

                right = pivot - 1

            }

        }

    }

    // return：分区

    private fun partition(bucket: ArrayList<Int>, left: Int, right: Int): Int {

        var p = left

        for (i in left until right) {

            if (bucket[i] < bucket[right]) {

                bucket.swap(p++, i)

            }

        }

        bucket.swap(p, right)

        return p

    }

    private fun <T> ArrayList<T>.swap(first: Int, second: Int) {

        val temp = this[first]

        this[first] = this[second]

        this[second] = temp

    }

    // 迭代写法

    private fun gcb(a: Int, b: Int): Int {

        var x = a

        var y = b

        while (y != 0) {

            val temp = x % y

            x = y

            y = temp

        }

        return x

    }

}

复杂度分析：

时间复杂度：$O(n)$ 其中 $n$ 为 $arr$ 数组长度，每个元素最多访问一次；
空间复杂度：$O(n)$ 分组空间，分组空间最大为 $n$；

相似题目：

462. 最小操作次数使数组元素相等 II

---

2608. 图中的最短环（Hard）

题目地址

https://leetcode.cn/problems/shortest-cycle-in-a-graph/

题目描述

现有一个含 n 个顶点的 双向 图，每个顶点按从 0 到 n - 1 标记。图中的边由二维整数数组 edges 表示，其中 edges[i] = [ui, vi] 表示顶点 ui 和 vi 之间存在一条边。每对顶点最多通过一条边连接，并且不存在与自身相连的顶点。

返回图中 最短 环的长度。如果不存在环，则返回 -1 。

环 是指以同一节点开始和结束，并且路径中的每条边仅使用一次。

题解一（枚举边 + Dijkstra 最短路 + 最小堆）

这道题是 最小环 模板题：给出一个图，问图中边权和最小的环是多大，图的最小环也称围长。

暴力解法：对于每条边 $(u, v)$，求不经过 $(u,v)$ 边从 $u$ 到 $v$ 的最短路 $len$，那么包含 $(u,v)$ 的最短环就是 $len + 1$。枚举所有边，则所有答案的最小值就是图的最小环。

class Solution {

    private val INF = Integer.MAX_VALUE

    fun findShortestCycle(n: Int, edges: Array<IntArray>): Int {

        // 建图

        val graph = Array(n) { ArrayList<Int>() }.apply {

            for (edge in edges) {

                this[edge[0]].add(edge[1])

                this[edge[1]].add(edge[0])

            }

        }

        // 枚举边

        var ret = INF

        for (edge in edges) {

            ret = Math.min(ret, dijkstra(graph, edge[0], edge[1]))

        }

        return if (INF == ret) -1 else ret

    }

    private fun dijkstra(graph: Array<ArrayList<Int>>, u: Int, v: Int): Int {

        // 最短路长度

        val dis = IntArray(graph.size) { INF }.apply {

            this[u] = 0

        }

        // 最小堆

        val heap = PriorityQueue<Int>() { e1, e2 ->

            dis[e1] - dis[e2]

        }.apply {

            this.offer(u)

        }

        // BFS

        outer@ while (!heap.isEmpty()) {

            // 使用 O(lgn) 找出已选集中最短路长度最小的节点

            val x = heap.poll()

            // 松弛相邻点

            for (y in graph[x]) {

                // 忽略 (u, v) 边

                if (x == u && y == v) continue

                if (dis[x] + 1 /* 边权为 1 */ < dis[y]) {

                    dis[y] = dis[x] + 1

                    heap.offer(y)

                }

                // 找到 u -> v 的最短路

                if (y == v) break@outer

            }

        }

        return if(INF == dis[v]) INF else dis[v] + 1

    }

}

复杂度分析：

时间复杂度：$O(m + m^2·lgn)$ 其中 $n$ 为顶点个数，$m$ 为边个数，每条边跑 Dijkstra 最短路每轮迭代以 $O(lgn)$ 取出已选集中最短路长度最小的节点，每次 Dijkstra 的时间是 $O(m·lgn)$；
空间复杂度：$O(m + n)$ 图空间 + 最小堆空间，使用邻接表可以降低空间到 $O(m + n)$。

题解二（枚举边 + BFS）

由于这道题的边权是 1，所以不需要使用高级的图论算法也能做。

为什么呢，因为每个边权的长度是 1，所以已经访问过的节点是不会存在更短路径的。所以我们不需要使用堆，直接使用队列，最先进入队列中的节点一定是最短路长度最短的节点。

class Solution {

    private val INF = Integer.MAX_VALUE

    fun findShortestCycle(n: Int, edges: Array<IntArray>): Int {

        // 建图

        val graph = Array(n) { ArrayList<Int>() }.apply {

            for (edge in edges) {

                this[edge[0]].add(edge[1])

                this[edge[1]].add(edge[0])

            }

        }

        // 枚举边

        var ret = INF

        for (edge in edges) {

            ret = Math.min(ret, bfs(graph, edge[0], edge[1]))

        }

        return if (INF == ret) -1 else ret

    }

    private fun bfs(graph: Array<ArrayList<Int>>, u: Int, v: Int): Int {

        // 最短路长度

        val dis = IntArray(graph.size) { INF }.apply {

            this[u] = 0

        }

        // 最小堆

        val queue = LinkedList<Int>().apply {

            this.offer(u)

        }

        // BFS

        outer@ while (!queue.isEmpty()) {

            // 取队头

            val x = queue.poll()

            // 松弛相邻点

            for (y in graph[x]) {

                // 忽略 (u, v) 边

                if (x == u && y == v) continue

                // 已经访问过的节点不会存在更短路

                if (INF != dis[y]) continue

                dis[y] = dis[x] + 1

                queue.offer(y)

                // 找到 u -> v 的最短路

                if (y == v) break@outer

            }

        }

        return if (INF == dis[v]) INF else dis[v] + 1

    }

}

复杂度分析：

时间复杂度：$O(m + m^2)$ 在每轮 BFS 中，每条边最多访问 2 次，因此每轮 BFS 的时间复杂度是 $O(m)$；
空间复杂度：$O(m + n)$。

LeetCode 双周赛 101，DP/中心位贪心/裴蜀定理/Dijkstra/最小环的相关教程结束。