[论文解读] Some Properties of Alphabet Overlap Graphs

Anant P. Godbole, Debra Knisley+1 more|ArXiv.org|Oct 5, 2005

graph theory and CDMA systems参考文献 10被引用 6

一句话总结

本文引入了字母重叠图 G(k,d,s)，其中顶点为 d 个字母表上的 k 个字母组成的单词，边连接那些在其中一个单词的末尾和另一个单词的开头共享 k−s 个字母重叠的单词。本文证明了在所有非平凡参数下该图是哈密顿图，并在 s≥k/2 时确定了其精确色数，对 s<k/2 的情况给出了界限，扩展了已知的 de Bruijn 环理论，并为这些组合图提供了结构洞见。

ABSTRACT

Consider a graph G = G(k,d,s) with vertex set the set of all k-letter words over an alphabet of size d. An edge e = vw is in E iff v is distinct from w and the last(first) k-s letters of v are identical to the first(last) k-s letters of w. In this paper we show that G is Hamiltonian for all non-trivial values of the parameters and obtain exact values for its chromatic number when s is greater than or equal to k/2. We also obtain bounds when the chromatic number is less than k/2.

研究动机与目标

• 研究字母重叠图 G(k,d,s) 的结构特性，其定义为 d 个字母表上长度为 k 的单词，边基于 k−s 个字母的重叠。
• 为所有非平凡参数值建立 G(k,d,s) 的哈密顿性，当 s=1 时扩展了已知的 de Bruijn 环结果。
• 当 s≥k/2 时计算 G(k,d,s) 的精确色数，并在 s<k/2 时提供界限。
• 探索 G(k,d,s) 与其他已知图（如 de Bruijn 图和 k 维网格）之间的联系。
• 识别未来研究中关于连通性、环结构和子图性质的开放问题。

提出的方法

• 定义字母重叠图 G(k,d,s)，其顶点集为 d 个字母表上所有长度为 k 的单词。
• 建立边规则：若两个不同的单词中，其中一个的最后 k−s 个字母与另一个的前 k−s 个字母匹配（或反之），则它们相邻。
• 通过将问题约化为已知的 de Bruijn 环结果，并利用递归分解与单词拼接构造环，证明哈密顿性。
• 使用结构分解，将 G(k,d,s) 与简化后的 AO 矩阵图关联，特别是在 k=2t 且 s=t 时。
• 应用着色技术对简化 AO 矩阵图的列进行处理，建立列着色与 G(t,d,k−t) 着色之间的对应关系，以改进色数界限。
• 利用子图同构与 K3,3 避免法分析平面性，并通过基于标签的支配集推导支配数。

实验结果

研究问题

• RQ1 字母重叠图 G(k,d,s) 对所有非平凡的 k、d 和 s 值是否都是哈密顿图？
• RQ2 当 s≥k/2 时，G(k,d,s) 的精确色数是多少？当 s<k/2 时，可以建立哪些界限？
• RQ3 G(k,d,s) 的结构如何与 de Bruijn 图和 k 维网格相关联？
• RQ4 在何种条件下 G(k,d,s) 是平面图？当 s≤k/2 时其支配数是多少？
• RQ5 G(k,d,s) 的连通性、环谱和团结构如何？其是否表现出泛环性或其他特殊性质？

主要发现

• 字母重叠图 G(k,d,s) 对所有非平凡的 k、d 和 s 值都是哈密顿图，推广了 s=1 时已知的 de Bruijn 环存在性。
• 当 s≥k/2 时，色数 χ(G(k,d,s)) 的精确值为 d^{2k−2s}+d^s，该结果通过结构分解与简化 AO 矩阵图的着色推导得出。
• 对于 s<k/2，本文给出了色数的上界，并通过列着色算法进一步优化，将上界从 d^{2k−2s}+d^s 降低至 1+d^{2k−3t}+d^{2t−k}（当 t≤2k/3 时）。
• 当 s≤k/2 时，G(k,d,s) 的支配数为 d^t，其中 t=k−s，该结果通过选择所有以固定长度为 t 的标签开头的单词实现。
• 唯一非平凡的平面字母重叠图出现在 d=2 或 3，t=1，且 k=2 时，其中 G(2,2,1) 是平面图，而 G(3,2,2) 非平面，因其包含一个 K4,4 子图。
• 通过在简化 AO 矩阵图的列上迭代着色，可进一步优化 G(k,d,s) 的色数，但由于存在非单色最小着色，精确值仍难以确定。