[论文解读] Cross-bifix-free sets via Motzkin paths generation

Elena Barcucci, Stefano Bilotta+3 more|arXiv (Cornell University)|Oct 17, 2014

Algorithms and Data Compression参考文献 7被引用 4

一句话总结

本文提出了一种基于Motzkin路径的新颖构造方法，用于在$q$-元字母表上生成交叉双前缀-free集合，相较于先前的构造方法，该方法在小词长下可生成更大的集合。该方法生成的集合为不可扩展的交叉双前缀-free集合，其大小超过[11]中状态最先进构造方法在初始$n$值下的结果，尤其在$q$增大时表现更优。

ABSTRACT

Cross-bifix-free sets are sets of words such that no prefix of any word is a sufix of any other word. In this paper, we introduce a general constructive method for the sets of cross-bifix-free q-ary words of fixed length. It enables us to determine a cross-bifix-free words subset which has the property to be non-expandable.

研究动机与目标

• 开发一种适用于$q$-元字母表的通用构造方法，超越二元和三元情况。
• 通过生成更大的交叉双前缀-free集合，改进现有构造方法，尤其针对小词长$n$。
• 证明所构造的集合为不可扩展集合，这是极大性的必要条件。
• 建立交叉双前缀-free集合生成与Motzkin路径计数之间的联系。
• 提供一个框架，以构造极大交叉双前缀-free集合，尽管完全极大性仍为开放问题。

提出的方法

• 该方法通过在离散平面上建模词生成为格路，具体使用Motzkin路径来构造交叉双前缀-free集合。
• 它基于路径约束定义了一类集合$\mathcal{CBFS}_q(n)$，以确保任一词的前缀不为另一词的后缀。
• 该构造方法固定前$k$个符号为零，并在第$k+1$位强制为非零符号，对剩余符号施加类似路径的约束。
• 所构造集合的基数由长度为$n-k-2$的有效Motzkin路径数量决定，再乘以$(q-1)^2$，以表示非零符号和最后一个符号的自由选择。
• 该方法将先前基于格路的二元构造[10]推广至$q>2$的$q$-元字母表，从而实现更大的集合大小。
• 通过在$k$上进行优化，引入改进变体$S^*(n,q)$，以最大化集合大小，允许在小$n$和大$q$时采用$k=1$以获得更优性能。

实验结果

研究问题

• RQ1 基于格路的构造方法能否在小词长$n$下，为$q$-元字母表生成比现有构造更大的交叉双前缀-free集合？
• RQ2 Motzkin路径的使用如何实现具有最大基数的不可扩展交叉双前缀-free集合的构造？
• RQ3 参数$k$（初始零块的长度）的变化对所生成交叉双前缀-free集合大小有何影响？
• RQ4 新构造$\mathcal{CBFS}_q(n)$是否在不同$q$和$n$值下始终优于[11]中的构造？
• RQ5 通过为每个$n$和$q$选择最优的$k$，能否进一步优化该方法，从而生成更大的集合？

主要发现

• 所构造的集合$\mathcal{CBFS}_q(n)$在初始$n$值下，其基数大于[11]中的构造，尤其当$q>2$时更为显著。
• 当$q=3$且$n=4$时，$|\mathcal{CBFS}_3(4)| = 7$，超过[11]中的$S(n,3)=4$，且随着$n$增大，差距进一步扩大。
• 改进的构造$S^*(n,q)$通过在$k$上优化，对$n \geq 4$且$q \geq 3$的情况，其集合大小大于$\mathcal{CBFS}_q(n)$，尤其在$k=1$时表现更优。
• 当$q=6$且$n=16$时，$|\mathcal{CBFS}_6(16)| = 2,089,302,415$，而$S^*(16,6) = 2,647,064,576$，显示出显著改进。
• 所构造的集合被证明为不可扩展，即无法再添加任何双前缀-free词而不破坏交叉双前缀-free性质。
• $\mathcal{CBFS}_q(n)$的大小随$q$增大而增长，且其优于[11]的$n$范围也随$q$增加而扩大。