题意：给定两个等长的串s和t，其中s串包括0，1，？，T包含0，1，每次可以把s中的0变成1或者交换任意两个数或者？变成任意01.求由s到t的最小步数。

思路：杂。所有带？的都要变成0或则1，那么至少要s步，然后加上需要交换的最多的01即可。如果s中的0的个数（加上？变的）<T的，那么该情况下为-1；

code：

#include <iostream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <cstring>
#include <sstream>
#include <string>
#include <vector>
#include <list>
#include <queue>
#include <stack>
#include <map>
#include <set>
#include <bitset>using namespace std;typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;const int INF=0x3fffffff;
const int inf=-INF;
const int N=1000000;
const int M=2005;
const int mod=1000000007;
const double pi=acos(-1.0);#define cls(x,c) memset(x,c,sizeof(x))
#define fr(i,s,n) for (int i=s;i<=n;i++)
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define lrt  rt<<1
#define rrt  rt<<1|1
#define middle int m=(r+l)>>1
#define lowbit(x) (x&-x)
#define pii pair<int,int>
#define mk make_pair
#define IN freopen("in.txt","r",stdin);
#define OUT freopen("out.txt","w",stdout);int main()
{int T,a,b,c,d,s,l;char s1[M],s2[M];scanf("%d",&T);fr(ca,1,T){scanf("%s %s",s1,s2);a=b=c=d=s=0;fr(i,0,strlen(s1)-1)if (s1[i]!=s2[i]){if (s2[i]=='0'){if (s1[i]=='?') s++,c++;else b++;}else{if (s1[i]=='?') s++,d++;else a++;}}if (b+c<=a+s) s+=max(a,b);else s=-1;printf("Case %d: %d\n",ca,s);}
}