[论文解读] Decompositions of complete multipartite graphs via generalized graceful labelings

Anna Miriam Benini, Anita Pasotti|arXiv (Cornell University)|Oct 16, 2012

Graph Labeling and Dimension Problems参考文献 8被引用 3

一句话总结

本文提出了一种针对耙形图、毛毛虫环和环的新型 d-可除 α-标记构造方法，利用广义优美标记技术，建立了完全多部图中无限族的循环分解。关键贡献在于证明了此类标记可推导出 $K_{m \times n}$ 的循环 Γ-分解在无穷多对 $(m,n)$ 下的存在性，将经典的 α-标记与优美标记结果推广至更广泛的图族和参数范围。

ABSTRACT

We prove the existence of infinite classes of cyclic G-decompositions of the complete multipartite graph, G being a caterpillar, a hairy cycle or a cycle. All the results are obtained by the construction of d-divisible $α$-labelings of G, introduced in [A. Pasotti, On d-graceful labelings, to appear on Ars Combin.] as a generalization of classical $α$-labelings, whose existence implies that one of graph decompositions.

研究动机与目标

• 将经典的 α-标记与优美标记技术推广至广义的 d-可除框架，以实现图分解。
• 为特定图族（包括耙形图、毛毛虫环和环）建立 d-可除 α-标记的存在性。
• 证明此类标记可推导出完全多部图 $K_{m \times n}$ 中循环 Γ-分解的存在性，且对无穷多对参数 $(m,n)$ 成立。

提出的方法

• 引入并形式化 d-可除 α-标记的概念，作为经典 α-标记与奇数优美标记的推广。
• 通过一种称为标准 α_S-标记的新标记方案，显式构造耙形图的 d-可除 α-标记。
• 利用 d-可除 α-标记的存在性，通过定理 1.4 推导出 $K_{(\frac{e}{d}+1)\times 2dn}$ 的循环 Γ-分解。
• 基于底层耙形图结构与边类型，分情况提供毛毛虫环与环的标记构造。
• 根据边类型（来自 A/B 的悬挂边，形式为 [x_s,y_{s-1}] 或 [x_s,y_s] 的环边）区分标记规则，以确保单射性与正确的差值集合。
• 显式构造当 $t > 1$ 为奇数时，毛毛虫环 $H(2t,1)$ 的 2-可除 α-标记，按 $t \mod 4$ 分为两种情况。

实验结果

研究问题

• RQ1 能否对任意可接受的 d，系统地构造出耙形图的 d-可除 α-标记？
• RQ2 毛毛虫环与环是否对所有可接受的 d 值都存在 d-可除 α-标记，特别是当所有环上顶点度数相同时？
• RQ3 哪些完全多部图 $K_{m \times n}$ 的无限族允许分解为耙形图、毛毛虫环或环的循环分解？
• RQ4 d-可除 α-标记如何在图分解的语境下推广经典 α-标记与优美标记？
• RQ5 毛毛虫环与环的何种结构特性使得其在所有可接受的 d 下均存在 d-可除 α-标记？

主要发现

• 对任意耙形图与任意可接受的 d，d-可除 α-标记均存在，从而可构造出无限族的循环分解。
• 若图 Γ 的大小为 e，且存在 d-可除 α-标记，则对任意正整数 n，$K_{(\frac{e}{d}+1)\times 2dn}$ 存在循环 Γ-分解。
• 双分毛毛虫环具有奇数 α-标记；当所有环上顶点度数相等时，其对任意可接受的 d 均存在 d-可除 α-标记。
• 对任意正整数 k，环 $C_{4k}$ 对所有可接受的 d 值均存在 d-可除 α-标记。
• 当 $t > 1$ 为奇数时，显式提供了 $H(2t,1)$ 的 2-可除 α-标记构造，分别处理 $t \equiv 1 \pmod{4}$ 与 $t \equiv 3 \pmod{4}$ 两种情况。
• 当 d=1 时，所构造的 d-可除 α-标记恢复了 Rosa 对耙形图与环的经典 α-标记。