最小化位替换，使 01 子串的计数等于 10 子串

给定一个只包含 0 和 1 的字符串 s，你可以将任意位置上的字符替换成 0 或 1。

请返回替换后的最短且能够使 s 中 01 和 10 子串个数相同的字符串。

思路

首先，我们需要统计原始字符串中 01 和 10 子串的个数，记为 count_01 和 count_10。

然后，我们需要将原始字符串的某些位置进行替换，使得最终字符串中 01 和 10 子串的个数相等。

对于替换操作，我们可以采用贪心的策略。具体来说，我们从左到右遍历原始字符串，统计遍历到每个位置时的 01 和 10 子串个数，并计算它们的差值 delta。如果 delta 大于 0，则说明在当前位置将字符替换为 1 可以让 01 子串的个数增加 1，同时不会影响 10 子串的个数。如果 delta 小于 0，则说明在当前位置将字符替换为 0 可以让 10 子串的个数增加 1，同时不会影响 01 子串的个数。如果 delta 等于 0，则当前位置可以保持原样。

最终，我们得到的字符串即为替换后最短且能够满足条件的字符串。

代码

def min_adjacent_swaps(s: str) -> str:
    count_01 = count_10 = delta = 0
    for i in range(len(s)):
        if s[i:i+2] == '01':
            count_01 += 1
            delta += 1
        elif s[i:i+2] == '10':
            count_10 += 1
            delta -= 1
    if delta not in [-1, 0, 1]:
        return ''
    res = []
    for i in range(len(s)):
        if delta > 0:
            if s[i:i+2] == '01':
                res += ['1', '0']
                delta -= 1
            else:
                res += [s[i]]
        elif delta < 0:
            if s[i:i+2] == '10':
                res += ['0', '1']
                delta += 1
            else:
                res += [s[i]]
        else:
            res += [s[i]]
    return ''.join(res)

复杂度分析

• 时间复杂度：$O(n)$，其中 $n$ 为字符串的长度。
• 空间复杂度：$O(n)$，需要维护一个字符串的数组作为答案。