首先，需要看出来特殊的二进制字符串，性质上与合法的括号串完全相同。
- 左括号数目与右括号数目一致 <-
0``1数目一致 - 每个右括号都有左括号与其匹配 <- 前缀字符串
1数目始终大于0
有了这个认识，分析合法字符的形态变得简单。因为合法的括号形态是比较熟悉的。合法的括号有两种：
- 拼接 ：即
(())+(()())这种 - 嵌套 : 即
(()())
那么现在的问题是，对于这两种合法的情况，怎么判断其字典序最大的方式呢。对于拼接方式，只要每个拼接子块的字典序都是最大的，只需要对每个子块组成的数组进行一次排序再拼接，即可得到满足要求的最大的字典序。要想每个子块最大，就又回到了嵌套上。对于嵌套，左右两侧是不可变的，我们需要嵌套内部达到最大。这样就从(()())转移到了子问题()()怎么排序最大的问题上。这种拼接形式的处理上面已经处理过。
class Solution:def makeLargestSpecial(self, s: str) -> str:# 递归返回条件 如果长度<=2表示只是（），直接返回。不计算子问题if len(s)<=2:return sdiff=0start=0sub_strings=[]for i,ch in enumerate(s):if ch=='1':diff+=1else:diff-=1# 当合法时if diff==0:# 获取当前子块的最优排序sub_strings.append('1'+self.makeLargestSpecial(s[start+1:i])+'0')start=i+1# 对当前层级的拼接合法子串进行排序。使得当前层级字典序最大sub_strings.sort(reverse=True)# 返回最大字典序的字符串return ''.join(sub_strings)