力扣刷题打卡12 特殊的二进制序列（困难）

考察知识点：

1. ArrayList 类是一个可以动态修改的数组，与普通数组的区别就是它是没有固定大小的限制，我们可以添加或删除元素。

2. Collections.sort（list,new Comparator<>）用法和要点：

对String或Integer这些已经实现Comparable接口的类来说，可以直接使用Collections.sort方法传入list参数来实现默认方式（正序）排序；

3. StringBuilder类也代表可变字符串对象。实际上，StringBuilder和StringBuffer基本相似，两个类的构造器和方法也基本相同。不同的是：StringBuffer是线程安全的，而StringBuilder则没有实现线程安全功能，所以性能略高。

题目：

特殊的二进制序列是具有以下两个性质的二进制序列：

0 的数量与 1 的数量相等。
二进制序列的每一个前缀码中 1 的数量要大于等于 0 的数量。
给定一个特殊的二进制序列 S，以字符串形式表示。定义一个操作 为首先选择 S 的两个连续且非空的特殊的子串，然后将它们交换。（两个子串为连续的当且仅当第一个子串的最后一个字符恰好为第二个子串的第一个字符的前一个字符。)

在任意次数的操作之后，交换后的字符串按照字典序排列的最大的结果是什么？

示例 1:

输入: S = "11011000"
输出: "11100100"
解释:
将子串 "10" （在S[1]出现） 和 "1100" （在S[3]出现）进行交换。
这是在进行若干次操作后按字典序排列最大的结果。
说明:

S 的长度不超过 50。
S 保证为一个满足上述定义的特殊 的二进制序列。

来源：力扣（LeetCode）
链接：https://leetcode.cn/problems/special-binary-string
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

答案：

class Solution {
    public String makeLargestSpecial(String s) {
        if (s.length() <= 2) {
            return s;
        }
        int cnt = 0, left = 0;
        List<String> subs = new ArrayList<String>();
        for (int i = 0; i < s.length(); ++i) {
            if (s.charAt(i) == '1') {
                ++cnt;
            } else {
                --cnt;
                if (cnt == 0) {
                    subs.add("1" + makeLargestSpecial(s.substring(left + 1, i)) + "0");
                    left = i + 1;
                }
            }
        }

        Collections.sort(subs, (a, b) -> b.compareTo(a));
        StringBuilder ans = new StringBuilder();
        for (String sub : subs) {
            ans.append(sub);
        }
        return ans.toString();
    }
}

思路：

方法一：分治

前言

对于本题而言，将 11 看成左括号 \text{`('}‘(’，00 看成右括号 \text{`)'}‘)’，那么一个特殊的二进制序列就可以看成一个合法的括号序列。这种「映射」有助于理解题目中的操作，即交换两个相邻且非空的合法括号序列。但为了与题目保持一致，下面的部分仍然使用 1/01/0 进行叙述。

思路与算法

对于一个特殊序列而言，它一定以 11 开始，以 00 结束。这是因为：

长度为 11 的前缀中 11 的数量一定要大于等于 00 的数量，所以首位一定是 11；

由于 00 和 11 的数量相等，并且任意前缀中 11 的数量一定大于等于 00 的数量，那么任意后缀中 00 的数量一定大于等于 11 的数量，因此与上一条类似，末位一定是 00。

如果给定的字符串是一个「整体」的特殊序列，也就是说，它无法完整地拆分成多个特殊序列，那么它的首位 11 和末位 00 是不可能在任何交换操作中出现的。这里给出首位 11 的证明，末位 00 的证明是类似的：

如果首位 11 可以在交换操作中出现，那么包含它的子串是给定字符串（特殊序列）的一个前缀，同时这个子串也是一个特殊序列。对于字符串中剩余的后缀部分，00 和 11 的数量相等（因为给定字符串和前缀子串的 00 和 11 数量均相等）并且满足「每一个前缀中 11 的数量大于等于 00 的数量」（因为后缀部分的每一个前缀可以映射为给定字符串在同一位置结束的前缀，再扣掉前缀子串，由于前缀子串中 00 和 11 的数量相等，因此扣除后仍然满足要求），那么后缀部分也是一个特殊序列，这就说明给定字符串可以拆分成两个特殊序列，与假设相矛盾。

因此，我们可以把首位 11 和末位 00 直接移除，进一步考虑剩余的字符串。

如果给定的字符串可以拆分成多个特殊序列（这里规定每一个拆分出来的特殊序列都是一个「整体」，不能继续进行拆分），那么我们可以「分别」进一步考虑每一个特殊序列，即把某个特殊序列的首位 11 和末位 00 移除后，递归地进行相同的拆分操作。

在递归返回后，我们可以进行「合并」操作：将所有的特殊序列按照字典序进行降序排序，再拼接起来，就可以得到字典序最大的字符串。由于每一次我们可以交换两个相邻的特殊序列，因此按照冒泡排序的方法，我们可以将这些特殊序列任意进行的排列，也就一定能得到字典序最大的字符串。

细节

在编写代码时，我们可以使用一个计数器，并从头遍历给定的字符串。当我们遇到 11 时计数器加 11，遇到 00 时计数器减 11。当计数器为 00 时，我们就拆分除了一个「整体」的特殊序列。

当递归到的字符串长度小于等于 22 时，说明字符串要么为空，要么为 1010，此时字符串就是字典序最大的结果，可以直接返回。

作者：LeetCode-Solution
链接：https://leetcode.cn/problems/special-binary-string/solution/te-shu-de-er-jin-zhi-xu-lie-by-leetcode-sb7ry/
来源：力扣（LeetCode）
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。