一和零(二维01背包)

给你一个二进制字符串数组 strs 和两个整数 m 和 n 。
请你找出并返回 strs 的最大子集的大小，该子集中 最多 有 m 个 0 和 n 个 1 。
如果 x 的所有元素也是 y 的元素，集合 x 是集合 y 的 子集 。

示例 1： 输入：strs = [“10”, “0001”, “111001”, “1”, “0”], m = 5, n = 3
输出：4
解释：最多有 5 个 0 和 3 个 1 的最大子集是 {“10”,“0001”,“1”,“0”} ，因此答案是 4 。
其他满足题意但较小的子集包括 {“0001”,“1”} 和 {“10”,“1”,“0”} 。{“111001”} 不满足题意，因为它含 4 个 1 ，大于 n 的值 3 。

示例 2： 输入：strs = [“10”, “0”, “1”], m = 1, n = 1
输出：2 解释：最大的子集是 {“0”, “1”} ，所以答案是 2 。

提示：
1 <= strs.length <= 600
1 <= strs[i].length <= 100
strs[i] 仅由 ‘0’ 和 ‘1’ 组成
1 <= m, n <= 100

这道题同样是01背包的问题，但是不好看出来，我们来分析一下：
每个字符串数组中的字符串都只会使用一次，所以符合01背包特点；
m 和 n 就类似于背包容量，但是这里却是二维的；
strs就相当于物品
相对应的我们可以将每个字符串1和0的个数求出来，就相当于物品的重量
字符串的个数就相当于物品价值

接下来就可以分析解题步骤了
1，dp[i][j]是 i 个0和 j 个1的strs的最大子集大小
2，dp[i][j] 可以由前一个strs里的字符串推导出来，strs里的字符串有zeronums个0，onenums个1。
dp[i][j] 就可以是 dp[i - zeronums][j - onenums] + 1，取最大值后即
dp[i][j] = max(dp[i][j], dp[i - zeronums][j - onenums] + 1);
3，物品价值不会为负，所以初始化都为0即可
4，遍历顺序依旧是外面是物品正序遍历，里面是背包大小逆序遍历；

代码如下：

class Solution {
public:
    int findMaxForm(vector<string>& strs, int m, int n) {
        vector<vector<int>> dp(m + 1, vector<int>(n + 1, 0));
        for (auto str : strs) {
            int zeronums = 0, onenums = 0;
            for (auto ch : str) {
                if (ch == '0') zeronums++;
                else onenums++;
            }
            for (int i = m; i >=zeronums; --i) {
                for(int j = n; j >= onenums; --j) {
                    dp[i][j] = max(dp[i][j], dp[i - zeronums][j - onenums] + 1);
                }
            }
        }
        return dp[m][n];
    }
};

总结

这道题关键是对二维背包的理解，了解01背包有这种形式。