核心观察：一个集合可行当且仅当集合中任意两个字母组成的新子集（即只保留这两个字母，两个字母可以相同）都可行。

证明：考虑归纳，每次加入一种新字母。新字母和自己组成的子集相同代表字母数量相同；新字母和已经加入的每个字母组成的集合结果相同代表新字母和老字母组成的串的相对位置相同，那么插入后自然还是相同。

复杂度 $O(18^2 \cdot (|A|+|B|+q)$。