[论文解读] Graph and Union of Graphs Compositions

W. Bajguz|ArXiv.org|Jan 31, 2006

Advanced Graph Theory Research参考文献 1被引用 4

一句话总结

本文提出一种新颖的框架，用于构建由共享顶点或边的小型图组成的树状图结构，支持此类结构中图复合的递归计算。该框架建立了计数复合结构的递推关系，特别针对完全图和环图的E-树（边连通）与V-树（顶点连通）结构，推导出涉及贝尔数和2的幂的闭式公式。

ABSTRACT

Knopfmacher et all [1] was introduced the graph compositions` notion. In this note we add to these a new construction of tree-like graphs where nodes are graphs themselves. The first examples of these tree-like compositions, a corresponding theorem and resulting conclusions are provided.

研究动机与目标

• 将图复合的概念从单个图扩展到通过连接多个图形成的复合结构。
• 开发一种递归方法，用于计算通过共享顶点或边逐次连接子图所构成图的复合数量。
• 为由完全图 $K_n$ 和环图 $C_n$ 构成的E-树与V-树提供复合数量的显式公式。
• 将已知的图复合结果推广至使用并集和收缩操作的分层图结构。

提出的方法

• 将图复合定义为顶点集划分为连通诱导子图。
• 引入V-树与E-树作为递归构造：图通过识别一个顶点（V-树）或一条边（E-树）连接。
• 利用定理1证明：对于至多有一个公共顶点的不相交图，有 $C(G_1 \bigcup G_2) = C(G_1) \times C(G_2)$。
• 推导定理2：当两图恰好共享两个顶点和一条公共边时，有 $C(G \bigcup H) = C(G)C(H) + 2C(G/k)C(H/k) - C(G)C(H/k) - C(G/k)C(H)$。
• 应用收缩操作 $G/k$（将边 $k$ 的端点识别）以建模E-树中共享边的行为。
• 通过定理3建立E-树的递推关系，使用 $C(T_{r+1})$ 和 $C(T_{r+1}/k_{r+1})$ 表示 $C(T_r)$、$C(T_r/k_r)$ 以及图不变量 $B_n$。

实验结果

研究问题

• RQ1 如何在通过共享顶点或边连接较小图构成的图中，递归计算复合数量？
• RQ2 完全图 $K_n$ 的E-树中，复合数量的递推关系由什么决定？
• RQ3 在类似的递归构造下，环图 $C_n$ 的复合数量与完全图 $K_n$ 的复合数量有何异同？
• RQ4 共享边结构对E-树中复合数量的影响如何，特别是当多个副本共享一条公共边时？
• RQ5 能否利用贝尔数和递推关系，为 $K_n$ 和 $C_n$ 的结构化E-树推导出复合数量的闭式表达式？

主要发现

• 对于由 $n$ 个图 $G_1, \text{...}, G_n$ 构成的V-树，其复合数量为 $C(T) = \bigotimes_{i=1}^n C(G_i)$，表明其具有乘法独立性。
• 对于不共享公共边的 $K_n$ 的E-树，有 $C(T_{r+1}) = (B_n - 2B_{n-1} + 2B_{n-2})C(T_r) + (B_{n-1}^2 - B_n B_{n-2})C(T_{r-1})$，其中 $B_n$ 为第 $n$ 个贝尔数。
• 对于所有副本共享一条公共边 $k$ 的 $K_n$ 的E-树，有 $C(T_{r+1}) = (B_n - B_{n-1})C(T_r) + (2B_{n-1} - B_n)B_{n-1}^r$，提供了一个闭式递推关系。
• 对于环图 $C_n$ 的E-树，公式变为 $C(T_{r+1}) = (2^{n-1} - n + 2)C(T_r) + ((n-4)2^{n-2} + 1)C(T_{r-1})$，通过将 $B_n$ 替换为 $2^n - n$ 推导得出。
• 对于梯形图 $L_n$（$C_4$ 的E-树），有 $C(L_{n+1}) = 6C(L_n) + C(L_{n-1})$，与已知结果一致。
• 对于断轮图 $W_n^*$（$C_3$ 的E-树），有 $C(W_{n+1}^*) = 3C(W_n^*) - C(W_{n-1}^*)$，与先前工作一致。