目前猜想最短长度满足如下递归式：
$$f_1=2,f_n=2f_{n-1}+2$$
但是无法证明这个是对的
by Karry5307 @ 2021-02-27 07:34:42
更正：$f_1=1$
by Karry5307 @ 2021-02-27 07:51:12
不懂群论，晕。
by 传奇英雄 @ 2021-02-27 08:24:47
~~x1x2x3x1'x2'x3'为啥不行~~
by 渔歌 @ 2021-02-27 08:26:18
@[ZYCsdnx](/user/371136) 你要删掉一类记号他就变成可删除的了
比如说删了x1,变成x2x3x2'x3'不行
by w23c3c3 @ 2021-02-27 08:27:20
@[ZYCsdnx](/user/371136) 删掉 $x_1$ 和 $x_1^{\prime}$ 时候 为 $x_2x_3x_2^{\prime}x_3^\prime$ 无法化简
by Karry5307 @ 2021-02-27 08:28:06
不会啊,qwq
by Anita_Hailey @ 2021-02-27 08:29:21
这咋证啊/xia
by s_r_f @ 2021-02-27 08:33:27
@[Karry5307](/user/60990) 这样啊···
by 渔歌 @ 2021-02-27 08:33:50
这个在网上有证明，可以去找找。我记得没错的话我看过一篇关于这个最短的证明
by zhangzhaoke @ 2021-02-27 08:34:33