力扣 474. 一和零（中等）

题目

给你一个二进制字符串数组 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

题解

该题目是动态规划问题，可以转为0-1背包问题。把总共的0和1个数视作背包容量，每一个字符串视为要装进背包的物品，这里的目标值是能放进背包的字符串数量最大。
定义状态： 题目问什么，就定义什么。
$dp[i][j][k]$表示输入字符串数组在子区间[0, i]最多有 j 个 0 和 k 个 1 的最大字符串数量。
状态转移方程
通过状态定义我们知道$dp[i][j][k]$可以由之前的状态得到，如果不添加当前字符串，则结果为之前状态的最大值；如果添加当前字符串，则结果为减去当前字符串0、1个数的状态的最大值+1。
d p [ i ] [ j ] [ k ] = { d p [ i − 1 ] [ j ]