这道题第一眼像是合并果子，我们考虑贪心。

我们先选择一种贪心策略：每次选当前最大的两个数合并，直到只剩最后一件物品。

接下来我们证明一下为什么这样是对的：

我们先想一想合并果子，那道题的贪心策略与这道题相反，每次选最小的两个数合并。考虑它为什么是对的——我们发现越先选的数对结果的贡献越大，为了使结果尽可能小，肯定是越小的先选越好。

作为一道英文题，我们先解释一下题意：

给你一个长度为 $n$ 的 01 串，其中可能至少有 $t_{i}$ 个 1，问最后你给出一个 01 串可能和其匹配的最大长度。

接下来我们进入正题。

第一眼看见觉得是水题，对于每个 $t_{i}$ 枚举应该全 0 还是全 1，但是这显然可以找出反例来。