JZOJ1262. 为奶牛熄灯

Description

奶牛们喜欢在黑暗的环境里睡觉。当她们每晚回到牛棚准备睡觉时，牛棚里有L(3<=L<=50)盏灯仍然亮着。所有灯的开关按编号升序排成一列，最左边的那个开关控制1号灯（所谓控制，也就是如果1号灯现在亮着，那么按这个开关会使1号灯熄灭，否则这个操作会使1号灯被点亮）。由于奶牛们的蹄子过于粗大，没法方便地按开关，她们总是用一个特制的干草叉来进行对开关的操作。这个叉子设计了T(1<=T<=7)个叉尖，相邻叉尖的距离正好与相邻开关的距离相等。但是现在有些叉尖被折断了。比如说，T=4的一个干草叉，它的第3根叉尖被折断了，我们就用’1101’来描述它。
如果把这个叉子的最左端对准那一列开关的最左端，按下，那1号、2号和4号灯的状态会被改变（3号灯的状态不变，因为那个叉尖被折断了）。在进行这样的操作的时候，任何一个叉尖都必须有一个对应的开关，也就是说，叉子的边缘不能在那一列开关的范围外，即使边缘处的叉尖已经被折断。
现在，你已经知道了各个灯的状态，以及干草叉现在的情况，请你找出一个操作序列，使得在所有操作完成之后，仍然亮着的灯的数目最少。

Input

第1行: 两个用空格隔开的整数：L 和 T
第2行: 一个长度为L的字符串，串中不含空格且元素均为’0’或’1’。第i个元素是’1’则表示第i盏灯亮着，是’0’的话就表示第i盏灯已经被关掉
第3行: 一个长度为T的字符串，只含’0’或’1’（同样不含空格）。如果第i个元素是’1’，说明干草叉的第i根叉尖仍完好无损，否则说明第i根叉尖已经被折断

Output

第1行: 输出一个正整数K，即为了达到目的一共需要用叉子按多少次开关

Sample Input

10 4
1111111111
1101

Sample Output

5

Data Constraint

Hint

【样例说明】
所有的10盏灯都开着。奶牛们使用的干草叉有4个齿，其中第3个齿已经被折断了。
1111111111 开始
1100101111 操作 3（即为把叉子的第一个齿对准第3个开关，按下）
0001101111 操作 1
0000000111 操作 4
0000001010 操作 7
0000010000 操作 6
最后，有1盏灯仍然亮着。这是借助这个干草叉所能得到的最佳结果。当然，可行操作还有很多（最后剩下的灯可能不同）。
想法：
设f[i][j][l]为第i位，插了j次，i-m(y)+1~i的状态l（1011为13）的情况下最少会剩多少个灯
从f[i]转移到f[i+1]，
第i+1位往前面插，分为插和不插

f[i+1][j][s3]=min(f[i+1][j][s3],f[i][j][l]+a[i+1]);
f[i+1][j+1][s3^k]=min(f[i+1][j+1][s3^k],f[i][j][l]+ejz[s3^k]-ejz[l]+(l&1));

s3表示第i+1位插后会变成的状态
初始化f[m][0][s2]=ejz[s2];
f[m][1][k^s2]=ejz[k^s2];
k为长度为m的字符串的状态
s2是第一个字符串前m的状态
ejz[i]为i在二进制下1的个数
最后在f[n][j][k]下求最小值
然后在f[n][j][k]等于最小值下最小的j