按 $1$ 的连通块分，预处理每个连通块 $0,1$ 的个数，从左到右匹配即可。 中间要分类讨论四种情况：

1. $t1_i=0,t2_i=0$；判断 $s1_i$ 是否等于 $s2_i$。
2. $t1_i=1,t2_i=0$；判断 $s1_i$ 所在连通块是不是有能和 $s2_i$ 匹配的。
3. $t1_i=0,t2_i=1$；判断 $s2_i$ 所在连通块是不是有能和 $s1_i$ 匹配的。
4. $t1_i=t2_i=1$。有相同的就匹配，$0/1$ 之间无优先级。 然后就是能相同就相同，贪心去做。过大样例了