Leetcode 416. 分割等和子集

给你一个 只包含正整数 的 非空 数组 nums 。请你判断是否可以将这个数组分割成两个子集，使得两个子集的元素和相等。

示例 1：

输入：nums = [1,5,11,5]
输出：true
解释：数组可以分割成 [1, 5, 5] 和 [11] 。
示例 2：

输入：nums = [1,2,3,5]
输出：false
解释：数组不能分割成两个元素和相等的子集。

提示：

1 <= nums.length <= 200
1 <= nums[i] <= 100
思路：这道题要首先转化成从数组中选某些数，这些数的和恰好等于总和的一半。
也就是经典的01背包问题。

代码思想：首先，我们计算出数组 nums 的总和 m，并检查它是否为奇数。如果 m 为奇数，则无法分割成两个相等的子集，直接返回 false。
然后，我们将 m 除以 2，得到目标子集的和，因为我们需要分割成两个相等的子集，所以每个子集的和必然是 m 的一半。
接下来，我们创建一个大小为 m+1 的一维数组 f，其中 f[i] 表示是否可以从数组 nums 的部分元素中选取若干个数，使得它们的和等于 i。初始化时，我们将 f[0] 设为 1，因为可以从任何数组中选取 0 个数，使得它们的和为 0。
然后，我们开始遍历数组 nums。对于数组中的每个元素 x，我们从后往前遍历数组 f，更新数组 f 的值。具体来说，对于每个 j，如果 f[j-x] 为 true，那么说明可以从之前的选取中选取一部分数，使得它们的和为 j-x。那么将这个 x 添加到这部分数中，即可使得它们的和为 j，因此我们将 f[j] 设为 true。这个过程相当于在动态规划中递推求解状态转移方程。
最后，我们返回 f[m] 的值，即表示是否可以从数组 nums 的部分元素中选取若干个数，使得它们的和等于 m。如果 f[m] 为 true，说明可以分割成两个相等的子集，返回 true；否则返回 false。
整体而言，这段代码是一个典型的 0-1 背包问题的动态规划求解过程，其时间复杂度为 O(n*m)，其中 n 为数组 nums 的长度，m 为数组 nums 的总和。

class Solution {
public:
    bool canPartition(vector<int>& nums) {
        int n = nums.size(), m = 0;
        for(auto x : nums) m += x;
        if(m % 2 == 1) return false;
        m /= 2;
        vector<int> f(m + 1);
        f[0] = 1;
        for(auto x : nums)
            for(int j = m; j >= x; j -- )
                f[j] |= f[j - x];
        return f[m];
    }
};