这个问题是一个经典的动态规划问题，也可以通过回溯法解决。我们可以定义一个数组 dp，其中 dp[i] 表示是否可以从前 i 个元素中选取一些元素使得它们的和为 target * i。初始时，dp[0] = true，表示从前 0 个元素中选取一些元素使得它们的和为 target * 0（也就是 0）是可以的。 然后，我们遍历数组 nums，对于每个元素 nums[i]，我们尝试两种情况： 1. 如果 dp[j - 1] 是真的，那么我们尝试选取 nums[i]，使得之前的和变为 target * j - nums[i]。如果可以找到这样的 j，那么 dp[i] 就可以为真。 2. 否则，我们尝试不选取 nums[i]，也就是继续查看 dp[i - 1]，看看是否可以从前 i - 1 个元素中选取一些元素使得它们的和为 target * j。如果可以找到这样的 j，那么 dp[i] 就可以为真。 在遍历的过程中，我们用两个指针 low 和 high 来表示当前可以尝试的两个区间，一开始 low = 0，high = i - 1，表示从 nums[0] 到 nums[i - 1] 这个区间中选取元素。如果 dp[high] 是真的，并且 target * high - nums[high] < nums[i]，那么说明我们可以在选取了 nums[high] 之后仍然满足条件，因此我们更新 low = high + 1。如果 dp[low] 是真的，并且 target * low <= nums[i]，那么说明我们可以在不选取 nums[i] 的情况下满足条件，因此我们更新 high = low - 1。在遍历过程中，如果 low > high，那么就说明无法满足条件，我们可以直接返回 false。否则，我们就更新 dp[i]，并且继续遍历下一个元素。 最后，如果 dp[n] 是真的（n 是数组的长度），那么就说明可以找到 k 个非空子集使得它们的总和都相等，因此返回 true。 以下是具体的代码实现： ```go func canPartition(nums []int, k int) bool { totalSum := 0 for _, num := range nums { totalSum += num } if totalSum ％ k != 0 { return false } target := totalSum / k n := len(nums) dp := make([]bool, n+1) dp[0] = true for i := 1; i <= n; i++ { for low := 0; low <= i-1; low++ { if dp[low] && target*(i-low) <= nums[i-1] { dp[i] = true break } } for high := i - 1; high >= 0; high-- { if dp[high] && target*high <= nums[i-1] { dp[i] = true break } } if !dp[i] { return false } } return true } ```