[论文解读] Independence and matching numbers of some token graphs

Hernán de Alba, Walter Carballosa+2 more|arXiv (Cornell University)|Jun 21, 2016

Advanced Graph Theory Research参考文献 22被引用 6

一句话总结

本文研究了由基图 G 的 k-子集构成的令牌图（token graphs）的独立数与匹配数，其中顶点间通过对称差为 G 中边的关系定义邻接。当 G 具有完美匹配或近乎完美匹配时，本文建立了匹配数的紧下界；并精确确定了环图与约翰逊图的 2-令牌图的独立数，证明了 α(F₂(Cₚ)) = ⌊p⌊p/2⌋/2⌋。

ABSTRACT

Let $G$ be a graph of order $n$ and let $k\in\{1,\ldots,n-1\}$. The $k$-token graph $F_k(G)$ of $G$, is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. We study the independence and matching numbers of $F_k(G)$. We present a tight lower bound for the matching number of $F_k(G)$ for the case in which $G$ has either a perfect matching or an almost perfect matching. Also, we estimate the independence number for bipartite $k$-token graphs, and determine the exact value for some graphs.

研究动机与目标

• 确定特定图（尤其是环图与完全图）的 k-令牌图 Fₖ(G) 的独立数 α(Fₖ(G))。
• 当基图 G 具有完美匹配或近乎完美匹配时，建立匹配数 ν(Fₖ(G)) 的紧下界。
• 估计并计算二分图令牌图与约翰逊图的独立数。
• 解决关于约翰逊图独立数的开放问题，纠正先前错误的公式。

提出的方法

• 作者将 k-令牌图 Fₖ(G) 定义为：顶点集为 V(G) 的 k-子集，当两个子集的对称差是 G 中的一条边时，它们在 Fₖ(G) 中相邻。
• 通过分析令牌图的结构，特别是环图 Cₚ 与路径图 Pₙ，利用分层子集 Lᵢ 推导独立数的界。
• 关键技术包括将 F₂(Cₚ) 的顶点集划分为层 Lᵢ，并证明某些非相邻层的并集构成独立集。
• 应用已知的约翰逊图结果，并利用递推不等式来界定 α(Fₖ(G))，借助对偶性 Fₖ(G) ≅ Fₙ₋ₖ(G)。
• 独立数 α(F₂(Cₚ)) 的证明依赖于基于 p 的奇偶性与对称差结构的分类讨论。
• 通过组合恒等式与向下取整/向上取整函数，推导出闭式表达式 α(F₂(Cₚ)) = ⌊p⌊p/2⌋/2⌋。

实验结果

研究问题

• RQ1 环图 Cₚ 的 2-令牌图 F₂(Cₚ) 的独立数 α(F₂(Cₚ)) 的精确值是什么？
• RQ2 当 G 具有完美匹配或近乎完美匹配时，能否为匹配数 ν(Fₖ(G)) 建立紧下界？
• RQ3 环图与完全图的 k-令牌图的独立数与约翰逊图的独立数之间有何关系？
• RQ4 约翰逊图 J(n,k) 的独立数是否由 α(J(n,k)) = min{ n/k ⋅ α(J(n−1,k−1)), n/(n−k) ⋅ α(J(n−1,k)) } 给出？
• RQ5 公式 α(J(n,k)) = ⌊n⌊k/2⌋/2⌋ 是否适用于约翰逊图？其与已知值如 A(7,4,3) = 7 的比较如何？

主要发现

• 环图 Cₚ 的 2-令牌图的独立数精确为 α(F₂(Cₚ)) = ⌊p⌊p/2⌋/2⌋，该结果为紧致界，且与已知值一致，例如 α(F₂(C₇)) = 12。
• 对于任意具有完美匹配或近乎完美匹配的图 G，匹配数 ν(Fₖ(G)) 满足由 G 的结构性质导出的紧下界。
• 约翰逊图 J(n,k) 的独立数满足 α(J(n,k)) ≤ min{ n/k ⋅ α(J(n−1,k−1)), n/(n−k) ⋅ α(J(n−1,k)) }，且在某些情况下取等。
• 本文纠正了先前发表的 α(J(n,k)) 公式，证明文献 [22] 中的公式错误，因其给出 α(J(7,3)) = 6，而正确值应为 7。
• F₂(Cₚ) 的独立数通过构造非相邻层 Lᵢ 的并集实现，其大小取决于 p 的奇偶性与 t = ⌊p/2⌋ 的取值。
• 通过同构关系 Fₖ(Kₙ) ≅ J(n,k)，证明了 Fₖ(Kₙ) 的独立数精确等于 α(J(n,k))，且该界在已知情形下为紧致。