UVA12545

看错题WA了俩发，菜得真实

解析 ： 设 str1 为上面字符串 str2为下面字符串

-1 : 只有当 str1 ? +  0 <  str2 0 时 成立

-> 表示对应

贪心 如果 str1 ? -> str2 0 时  ？一定变成 0     因为如果为1一定是需要去交换的，而0可能不会移动，可能上层0的个数多下层1的个数，只需要将 0 -> 1 就好了，所以转换次数只可能减少，不可能增加

现在所有的问号都只存在于１的上面

然后我们统计上下两个串中０的个数；

还有上面是０下面是１的错位个数；加入全部？都变了，那么上下０１个数是相同的；那么错位数就是交换的操作数；

如果上面０多；

那么剩下的？就都是１；并且还有几个０要变成１；０变成１之后操作数多了１，错位少了１（操作数也少了１）所以不影响；答案还是前面统计出来的错位数

如果下面多

那么？就要变成０，那么就多出几个错位，加上去就行

当然结果要加上问号的个数，问好都要变成０或１

#include<bits/stdc++.h>
#define rep(i, n) for(int i=0;i!=n;++i)
#define per(i, n) for(int i=n-1;i>=0;--i)
#define Rep(i, sta, n) for(int i=sta;i!=n;++i)
#define rep1(i, n) for(int i=1;i<=n;++i)
#define per1(i, n) for(int i=n;i>=1;--i)
#define Rep1(i, sta, n) for(int i=sta;i<=n;++i)
#define L rt<<1
#define R rt<<1|1
#define inf (0x3f3f3f3f)
#define llinf (1e18)
#define ALL(A) A.begin(),A.end()
#define SIZE(A) ((int)A.size())
#define MOD (1e9 + 7)
#define PII pair<int,int>
typedef long long i64;
using namespace std;
int main() {
    ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
    int kase = 0,n; cin >> n;
    string str1,str2;
    while(n--){
        cin >> str1 >> str2;
        int cnt1 = 0,cnt2 = 0,cnt3 = 0,ans = 0;//cnt3 为?个数
        int len = str1.length();
        for(int i=0;i!=len;++i){
            if(str1[i] == '0')
                ++cnt1;
            if(str2[i] == '0')
                ++cnt2;
            if(str1[i] == '?'){
                ++ans;
                ++cnt3;
            }
            if(str2[i] == '0' && str1[i] == '?'){
                str1[i] == '0';
                --cnt3;
                ++cnt1;
            }               
        }
        cout << "Case "<< ++kase << ": ";
        if(cnt1 + cnt3 < cnt2){
            cout << -1 << endl;
            continue;
        }
        int sub = cnt2 - cnt1, dif = 0;//sub 下面比上面多的数目，即位差的个数
        for(int i=0;i!=len;++i)
            if(str1[i] == '0' && str2[i] == '1')
                ++dif;// 交换的差值
        if(sub > 0)
            dif += sub;
        cout << dif + ans << endl;
    }
    return 0;
}