定义$S_{1,i},S_{2,i}$为s1,s2在$i$处未被匹配且可以调用的字符集，若两个集合有交，则取出；否则必定为一个全1，一个全0，各自取出一个。