【Lintcode】1822. Minimum Moves（配数学证明）

题目地址：

https://www.lintcode.com/problem/minimum-moves/description

给定一个只含a和b的字符串$s$，允许将其中的a变为b或者将b变为a。问至少经过多少次变换可以使得$s$中没有字母全相同的长度大于等于$3$的子串。

直接求出所有长度大于等于$3$的子串的长度$l$，然后累加$l/3$即可。

算法正确性证明：
首先，考虑一个长度大于等于$3$且字母全相同的字符串$t$。我们先证明，至少要修改$t/3$个字母才能使得没有连续相同的字母出现$3$次或以上。不妨设$t$是$3$的倍数，将第$0,1,2$个字母染成红色，$3,4,5$染成蓝色，这样每三个染成红色，再三个染成蓝色，再三个又染成红色，以此类推。如果存在一种方案少于$t/3$次修改，那么必然有一个红色块或者蓝色块没有被修改，矛盾；接下来给出一个方案，首先找到不大于$t$的最大的能被$3$整除的数，设为$t^{\prime }$，将$t^{\prime }$个字母按照上面方法染色，然后将每个色块的最中间的那个字母换一下，这样需要$t/3$次，如果$t=t^{\prime }$或者$t=t^{\prime }+1$，那么这样就够了；如果$t=t^{\prime }+2$，那么就取每个颜色块的最后一个字母变一下，（比如(aaa)(aaa)aa，就变成(aab)(aab)aa）。代码如下：

public class Solution {
    /**
     * @param s: a string
     * @return: return the minimum number of moves
     */
    public int MinimumMoves(String s) {
        // write your code here
        int res = 0;
        for (int i = 0; i < s.length(); i++) {
            int j = i;
            while (j < s.length() && s.charAt(j) == s.charAt(i)) {
                j++;
            }
            
            res += (j - i) / 3;
            i = j - 1;
        }
        
        return res;
    }
}

时间复杂度$O(n)$，空间$O(1)$。