注意到如果可以构造出所有由\(\texttt{A}\)和\(\texttt{B}\)组成的字符串，那么在图上游走的路径必须成环，并且的环上的每一个点都必须同时有一个\(\texttt{A}\)邻居和\(\texttt{B}\)邻居。于是可以考虑把点拆分为入点和出点，相邻两个点为\(\texttt{AA},\texttt{BB}\)的，从