最少翻转使得字符串没有连续K个相同字符

问题定义

给定一个字符串S，包含字符’x’或’y’。在一次翻转中，你可以把某一个位置上的’x’变成’y’或把’y’变成’x’，求最少的翻转次数，使得该字符串不包含连续的K个相同的字符，如k个x连续或k个y连续。

如字符串’xxx’,经过一次翻转可以变成’yxx’或’xyx’或’xxy’。
当K=3时，字符串’xyyyx’最少翻转一次，变成’xyxyx’，使得没有连续的三个相同字符。

由问题的定义可知K应当为大于等于2的整数。以下我们分K的不同情况进行讨论。

K=3时的情况

我们先来讨论K=3，即没有三个连续的相同字符的情况，在这种特殊情况下讨论几种有效的算法。

算法一

以下假设给定的字符串长度为N，使用动态规划，对某位置 i，该位置的字符情况有四种：

• 它是第一个连续的x
• 它是第二个连续的x
• 它是第一个连续的y
• 它是第二个连续的y

在这四种情况之外的字符都将与题目要求冲突。

初始化四个数组x1,x2,y1,y2，长度都为N，分别记录四种情况下到某位置为止的最少翻转次数。如x1[i]表示字符串从开始到 i 位置，且 i 位置是第一个连续的x时，所需要的最少的翻转次数。
由以上定义，当S[i]的原始字符分别为x或y时，可分别得四个转移公式：

• 当S[i]的原始字符为x时

1. x1[i]=min(y1[i-1],y2[i-1])
   i 位置为第一个x，则需要 i-1 位置为第一或第二个y，且由于该位置本身就是x，所以不需要翻转（不需要加1）
2. x2[i]=x1[i-1]
   i 位置为第二个x，则需要 i-1 位置为第一个x，且由于该位置本身就是x，所以不需要翻转（不需要加1）
3. y1[i]=min(x1[i-1],x2[i-1])+1
   i 位置为第一个y，则需要 i-1 位置为第一或第二个x，且由于该位置本身是x，所以需要翻转（翻转次数+1）
4. y2[i]=y1[i-1]+1
   i 位置为第二个y，则需要 i-1 位置为第一个y，且由于该位置本身是x，所以需要翻转（翻转次数+1）

• 当S[i]的原始字符为y时
  x1[i]=min(y1[i-1],y2[i-1])+1
  x2[i]=x1[i-1]+1
  y1[i]=min(x1[i-1],x2[i-1])
  y2[i]=y1[i-1]

根据以上的分析，我们可以写出如下的代码，返回值是四个数组最后一个值中最小的一个。
Python 3 代码：

def func(S):
    n = len(S)
    if n < 3:
        return 0
    x1 = [0] * n
    x2 = [0] * n
    y1 = [0] * n
    y2 = [0] * n

    if S[0] == 'x':
        x1[0] = x2[0] = 0
        y1[0] = y2[0] = 1
    else:
        y1[0] = y2[0] = 0
        x1[0] = x2[0] = 1

    for i in range(1, n):
        if S[i] == 'x':
            x1[i]