UVA12545 Bits Equalizer

用cnt记录最终的变换次数,cnt1为0-1对的对数,cnt2为1-0的对数,cnt3为?-1与?-0对数之和,cnt4是S串的1的个数,cnt5是T串的1的个数.

那么显然,当cnt4>cnt5的时候是不可能变换成功的,因为S串中1的个数只增不减.然后....就是数学了.当cnt1>=cnt2的时候(即0-1对多于1-0对),我们先将1-0对与0-1对调换位置,调换次数为cnt2,接着考虑剩余的串,剩下的串中只有(cnt1-cnt2)个0-1对,以及cnt3个?对,我们不去详细考虑每个?会变成什么,但是我们可以知道,?对肯定需要cnt3次变换,而且当?全部变换完成,我们需要做cnt1-cnt2次调换或者变换使得剩余的0-1对全都变掉,所以对于剩下的串,我们还需要cnt3+cnt1-cnt2次变换.于是我们知道当cnt1>=cnt2时,我们总共需要cnt=cnt2+cnt3+cnt1-cnt2=cnt1+cnt3次变换.同理,当cnt2>cnt1的时候我们可以得到cnt=cnt1+cnt3+cnt2-cnt1=cnt2+cnt3.于是代码就很好写了....

AC代码如下:

#include <cstdio>
#include <cstring>
using namespace std;

char a1[105],a2[105];

int main(int argc, char const *argv[])
{
	int T,mark=0;
	scanf("%d", &T);
	while(T--)
	{
		mark++;
		scanf("%s%s", a1,a2);
		int cnt=0,cnt1=0,cnt2=0,cnt3=0,cnt4=0,cnt5=0;
		for(int i=0;i<strlen(a1);i++)
		{
			if(a1[i]=='0'&&a2[i]=='1')
				cnt1++;
			else if(a1[i]=='1'&&a2[i]=='0')
				cnt2++;
			else if(a1[i]=='?')
                                cnt3++;
			if(a1[i]=='1')
				cnt4++;
			if(a2[i]=='1')
				cnt5++;
		}
		if(cnt4>cnt5)
		 {
			printf("Case %d: -1\n",mark);
			continue;
		}
		if(cnt1>=cnt2)
                        cnt=cnt3+cnt1;
		else
			cnt=cnt3+cnt2;
		printf("Case %d: %d\n",mark, cnt);
	}
	return 0;
}