794G

一个比较垃圾的做法，卡着时限过了这道题。 首先大胆猜个结论：要么 $|s|=|t|$，此时 $A,B$ 任取，要么存在字符串 $c$ 和整数 $x,y$ 使得 $A=c^x,B=c^y$，其中 $c^x$ 表示 $x$ 个 $c$ 拼接得到的结果。证明的话感觉还挺复杂的，可能要 border 引理之 ......