474 一和零（二维费用的零一背包问题）

1. 问题描述：

给你一个二进制字符串数组 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
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/ones-and-zeroes

2. 思路分析：

分析题目可以知道这是一个选择性的问题，选择性的问题本质上是背包问题，每个字符串只能够选择一次，并且存在两个限制：第一个是0的数目最多是m个，第二个是1的数目最多是n个，所以这是一个二维费用的零一背包裸题，我们可以将每个字符串看成是一个物品，0的数目看成是体积，1的数目看成是重量，价值为1，这样问题就转化为在体积为m重量为n的情况下背包能够装的物品的最大价值。我们可以定义dp[i][j]为体积为i重量为j的背包的最大价值，使用三重循环进行状态的计算，第一种循环枚举每个物品，第二重循环枚举体积，第三重循环枚举重量，因为是零一背包问题所以需要逆序枚举体积和重量，在循环中选择当前的物品要还是不要进行状态的计算即可，最后dp[m][n]就是最终的答案。

3. 代码如下：

from typing import List


class Solution:
    # 每一个01串表示物品, 0的个数表示体积, 1的个数表示重量, 价值为1
    # m, n表示0和1的最大数目
    def findMaxForm(self, strs: List[str], m: int, n: int) -> int:
        dp = [[0] * 110 for i in range(110)]
        for i in range(len(strs)):
            # 计算当前的01串中0和1的数目
            zero, one = strs[i].count("0"), strs[i].count("1")
            # 逆序遍历
            for j in range(m, zero - 1, -1):
                for k in range(n, one - 1, -1):
                    dp[j][k] = max(dp[j][k], dp[j - zero][k - one] + 1)
        return dp[m][n]