We prove that for $n\geq 2$, the size $b(t_n)$ of the smallest bidirectional scheme for the $n$th Thue--Morse word $t_n$ is $n+2$. Since Kutsukake et al. [SPIRE 2020] show that the size $\gamma(t_n)$ of the smallest string attractor for $t_n$ is $4$ for $n \geq 4$, this shows for the first time that there is a separation between the size of the smallest string attractor $\gamma$ and the size of the smallest bidirectional scheme $b$, i.e., there exist string families such that $\gamma = o(b)$.
翻译:我们证明,对于$\Geq 2美元来说,最小双向双向交易办法的大小为$b(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_n)美元(t_Geq 4美元),这表明最小的字符串吸引器的大小($\gamma$($\gamma$)与最小双向交易办法的大小(n)美元(t$)美元(e.b美元(t_n)的大小(n)美元(t_n)的大小(tmmma=o(n)美元(t=(n)美元) o(n),即存在这样的弦家族的大小(t==(gamma)=(o(o)=o(o(o(o)美元)美元)美元)=(o(o(o(o)美元)美元)美元)美元(t=(o(o(o(t)美元)美元)的大小。