【省内训练2018-12-23】String

【思路要点】

• 考虑无问号的情况，分为两种：
  $1$ 、 $S=T$ ，那么 $A$ 和 $B$ 取任意字符串均可，贡献为 $arbitrary={\sum }_{i=1}^N{2}^i{\sum }_{j=1}^N{2}^j$ 。
  $2$ 、 $S̸=T$ ，那么要求 $A$ 和 $B$ 均具有一个长度为 $gcd(|A|,|B|)$ 的周期，此周期不需要为整周期，也不需要是最小周期，并且要求填入 $A$ 和 $B$ 后 $|S|=|T|$ 。可以证明，上述条件是 $(A,B)$ 合法的充要条件。
  假设 $S$ 中有 $a$ 个 $A$ ， $b$ 个 $B$ ， $T$ 中有 $c$ 个 $A$ ， $d$ 个 $B$ ，则 $|S|=|T|\iff a|A|+b|B|=c|A|+d|B|$ 。
  因此，该情况的贡献为 ∑