同构字符串

单向映射只能保证“一个 s 字符不分裂成多个 t 字符”，不能保证“多个 s 字符不挤到同一个 t 字符”。

不变量：st 和 ts 始终互相吻合，表示目前读过的字符仍然是一一对应关系。

长度检查：paper 和 title 都是 5：同构必须逐字符一一对应。长度不同直接 false；这里两个字符串长度相同，继续建立双向映射。

初始化：两张映射表都为空：st 负责检查同一个 s 字符是否稳定；ts 负责检查同一个 t 字符是否只被一个 s 字符使用。

读 p -> t：检查通过并记录：p 还没有映射，t 也没有被占用，所以这一对可以接受。记录两个方向：以后再见 p，必须还是 t；以后再见 t，必须还是 p。

读 a -> i：新增第二组映射：a 和 i 也都没冲突，加入两张表。当前映射是 p->t、a->i。

读 p -> t：旧映射一致：第三对又是 p->t。两张表都能对上，说明重复字符保持了同样的映射。

读 e -> l：继续新增：e 和 l 都是新字符，加入映射表。

读 r -> e：新增最后一组：这里 t 中的 e 和 s 中的 e 是不同位置、不同方向的字符，不冲突。双向表只要求同一方向内保持一一对应。

扫描结束：没有冲突，返回 true：所有字符对都通过双向检查，所以 paper 和 title 同构。

同构字符串、单词规律、模式匹配，都常用这套双向表检查。