【0-1背包】力扣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 <= numsi <= 100

动态规划

class Solution {
public:
    bool canPartition(vector<int>& nums) {
        int n = nums.size();
        if(n < 2){
            return false;
        }
        
        int sum = 0;
        int maxNum = 0;
        for(int i = 0; i < n; i++){
            sum += nums[i];
            maxNum = max(maxNum, nums[i]);
        }

        if(sum & 1){
            return false;
        }
        int target = sum / 2;
        if(maxNum > target){
            return false;
        }

        vector<int> dp(target + 1, 0);
        dp[0] = true;
        for(int i = 0; i < n; i++){
            for(int j = target;j >= nums[i]; j--){
                dp[j] |= dp[j-nums[i]];
            }
        }
        return dp[target];
    }
};

首先先判断数组可以被分割成等和子集的必要特征，当数组大小小于2的时候，返回false。接着计算出总和sum和最大的元素maxNum，当sum是奇数的时候，返回false，当最大元素大于sum / 2的时候，也返回false。

  dp[j] |= dp[j-nums[i]];

使用或运算，dpj 中的 j 代表的是当前要检查的子集和，也就是在给定的数组中，是否可以找到一个子集，使得这个子集的元素和等于 j。

在遍历数组 nums 时，对于每个元素 numsi，我们从 target 开始逆序遍历到 numsi，并更新 dpj：

例如，当我们处理 numsi = 5 时：

我们会检查 dp11 是否可以由 dp11-5 转化而来，即 dp6 如果为 true，那么 dp11 也可以变为 true。类似地，dp6 可以由 dp6-5 = dp1 转化而来。通过这种方式，dpj 会被不断更新，最终 dptarget 如果为 true，说明存在一个子集和等于 target。