蓝桥杯——翻硬币

翻硬币

原题

小明正在玩一个“翻硬币”的游戏。

桌上放着排成一排的若干硬币。我们用 * 表示正面，用 o 表示反面（是小写字母，不是零）。

比如，可能情形是：oo*oooo

如果同时翻转左边的两个硬币，则变为：oooo***oooo

现在小明的问题是：如果已知了初始状态和要达到的目标状态，每次只能同时翻转相邻的两个硬币,那么对特定的局面，最少要翻动多少次呢？

我们约定：把翻动相邻的两个硬币叫做一步操作。

输入格式
两行等长的字符串，分别表示初始状态和要达到的目标状态。

输出格式
一个整数，表示最小操作步数

数据范围
输入字符串的长度均不超过100。
数据保证答案一定有解。

输入样例1：

**********
o****o****
输出样例1：
5
输入样例2：
*o**o***o***
*o***o**o***
输出样例2：
1
难度：简单
时/空限制：1s / 64MB
总通过数：6542
总尝试数：9430
来源：第四届蓝桥杯省赛C++B组

思路

异或

由于此题是两个相邻的一起翻，那么我们在处理时就无法一个一个处理，所以我们想能否把题中操作变成只改变一个数据的方法（思想大概就和差分差不多）由于此题中硬币只有正反两面，所以很自然的想到用二进制表示。接下来就是重头戏：

设*代表1，o代表0，则原字符串变为01串(记为a)，设b[i]为从a[i]异或到a[i]，我们设我们翻转了a[i]和a[i+1]，则

1. b[i-1]以前的肯定不会改变。
2. 对b[i]：b[i]=b[i-1] ^ a[i] ^ a[i] ^ (!a[i]) （此处用到了异或自己两遍就相当于不异或它的性质）不管b[i]原来是0还是1，我们穷举就知道此时它肯定改变。
3. 对b[i+1]：b[i+1]=b[i-1] ^ a[i] ^ a[i+1] ^ a[i] ^ a[i+1] ^ (!a[i]) ^ (!a[i+1]),其中，原先的b[i+1]=b[i-1] ^ a[i] ^ a[i+1],而我们可以看到，a[i]、 (!a[i])必定是0和1，同理，a[i+1]、 (!a[i+1])必定也是0和1（两个顺序不管），所以这四个中有两个0和两个1，根据异或性质，这跟没异或一样。所以b[i+1]不变。
4. 对b[i+1]以后的：b[i+1]都不变，以后的更无影响。
5. 证毕。

至此，我们把题中的操作变成了只改变一个元素的操作。

题解

此时，我们只需要求出原始串和最后的串的b， 然后我们统计b中不一样的个数就可以了，时间复杂度O(n)。
但我们可以看到，我们在判断b[i+1]其实只用b[i]，因此，空间复杂度就可以降成O(1)。

代码

#include<iostream>
using namespace std;
int main()
{
	string a1,a2;
	int b1,b2,l,i,ans=0;
	cin>>a1>>a2;
	l=a1.size();
	if(a1[0]=='*') b1=1;
	else b1=0;
	if(a2[0]=='*') b2=1;
	else b2=0;
	if(b1!=b2) ans++;
	for(i=1;i<l;i++)
	{
		if(a1[i]=='*') b1^=1;
		else b1^=0;
		if(a2[i]=='*') b2^=1;
		else b2^=0;
		if(b1!=b2) ans++;
	}
	cout<<ans;
 } 

后记

有些人也许会说，万一b中最后一个不一样怎么办，这样的话，因为我们选择a[i]变，a[i+1]会连带变，而对a[n-1]，它后面没东西了，不能变。事实上，这个担心是正确的，但题中说了，数据保证正确，而且，如果b1[n-1]与b2[n-1]不一样，那就意味着两个串1的数目的奇偶性不一样，这样的话绝对不可能达到目标状态（因为翻一次要么会使1的数目减2，要么加2，要么不变，绝不可能改变奇偶性）。