【UVA12545】思维

链接在这里，(反正你们也进不去)
分析
这题看起来好像不太简单，刚一上来甚至想dp
然后又想模拟

其实，有些时候，我们不需要关注事物的细节，我们从宏观的角度就可以发现事物的真谛。

比如这道题目，我们不从细节去考虑，我们从统计的角度去思考。

只有以下四种情况：
(1) 0->1 cnt1
(2) 1->0 cnt2
(3) ?->1 cnt3
(4) ?->0 cnt4

然后我们可以观察到，cnt3+cnt4肯定是答案的一部分。因为我们总是需要把?改变的。
其次，cnt1可以通过变换得到，而cnt2只能通过交换得到。
如果cnt1>=cnt2，我们就直接交换，然后剩下的再变换，答案还是cnt1
如果cnt1<cnt2，那么我们就需要用cnt3凑，因为cnt3已经算过了，所以直接加上交换的数目cnt2

如果cnt1+cnt3<cnt2,那么无解

#include <bits/stdc++.h>
using namespace std;
string s,t;
int main()
{
	int T;
	scanf("%d",&T);
	for(int it=1;it<=T;it++)
	{
		int cnt1 = 0,cnt2 = 0,cnt3 = 0,cnt4 = 0;
		cin>>s>>t;
		for(int i=0;i<s.size();i++)
		{
			if(s[i]=='0' && t[i]=='1') cnt1++;
			if(s[i]=='?' && t[i]=='0') cnt2++;
			if(s[i]=='?' && t[i]=='1') cnt3++;
			if(s[i]=='1' && t[i]=='0') cnt4++;
		}
		printf("Case %d: ",it);
		if(cnt1+cnt3<cnt4) printf("%d\n",-1);
		else printf("%d\n",cnt2+cnt3+max(cnt1,cnt4));
	}
	return 0;
}