Uva - 12545 - Bits Equalizer

刚开始想了一个变换顺序，模拟进行操作，写了浩浩荡荡200多行最后WA了，感觉还是方法不对。。。后来从只能0变1，不能1变0入手，应该先满足上1下0的情况，其他的三种情况用简单的变换就可以了。

先用0-1和1-0进行配对，配对一次，交换S中的0和1。

如果没有0-1了，那就用?-1和1-0进行配对，先把?换成0，再执行上一步。

如果0-1和?-1都没有了，但是1-0还有，说明无解。

把上面的1配对成功之后，其他的都可以通过一次操作配对。

AC代码：

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cctype>
#include <cstring>
#include <string>
#include <sstream>
#include <vector>
#include <set>
#include <map>
#include <algorithm>
#include <stack>
#include <queue>
#include <bitset>
#include <cassert>
#include <cmath>
#include <functional>

using namespace std;

const int maxn = 105;
int oneVzero, zeroVone, qVone, qVzero;
int ans;
string S, T;

void solve()
{
for (int i = 0; i < S.length(); i++) {
if (S[i] == '1' && T[i] == '0') {
oneVzero++;
}
else if (S[i] == '0' && T[i] == '1') {
zeroVone++;
}
else if (S[i] == '?' && T[i] == '0') {
qVzero++;
}
else if (S[i] == '?' && T[i] == '1') {
qVone++;
}
}

while (oneVzero && zeroVone) { // 交换1-0和0-1
oneVzero--;
zeroVone--;
ans++;
}
while (oneVzero && qVone) { // 交换1-0和？-1
oneVzero--;
qVone--;
ans += 2;
}
if (oneVzero) {
ans = -1;
}
else {
ans += zeroVone + qVone + qVzero;
}
}

int main()
{
ios::sync_with_stdio(false);
int C;
cin >> C;
int kase = 0;
while (C--) {
cin >> S >> T;

// 初始化
ans = 0;
oneVzero = zeroVone = qVzero = qVone = 0;
solve();
cout << "Case " << ++kase << ": " << ans << endl;
}

return 0;
}