[论文解读] Characterizing Sparse Graphs by Map Decompositions

Ruth Haas, Audrey Lee+2 more|arXiv (Cornell University)|Apr 29, 2007

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

一句话总结

本文刻画了在添加 $\ell$ 条边后可分解为 $k$ 条边不相交的映射的图，为 $0 \leq \ell \leq 2k-1$ 提供了统一的拟阵刻画。研究证明，当且仅当图是 $(k,0)$-稀疏且有 $kn - \ell$ 条边时，添加任意 $\ell$ 条边后图即为 $k$-map-可分解图，该结论与构造的二分多重图中的完美匹配相关联。

ABSTRACT

A {\bf map} is a graph that admits an orientation of its edges so that each vertex has out-degree exactly 1. We characterize graphs which admit a decomposition into $k$ edge-disjoint maps after: (1) the addition of {\it any} $\ell$ edges; (2) the addition of {\it some} $\ell$ edges. These graphs are identified with classes of {\it sparse} graphs; the results are also given in matroidal terms.

研究动机与目标

• 刻画在添加 $\ell$ 条边后可分解为 $k$ 条边不相交映射的图，其中 $0 \leq \ell \leq 2k-1$。
• 将先前关于 $(k,\ell)$-稀疏图与 $k$-有根生成森林的结果推广至映射分解的情形。
• 利用基于映射的分解，统一所有 $\ell$ 值下紧图的刻画。
• 通过二分匹配与截断操作，为理解 $k$-map-可分解性提供拟阵理论框架。

提出的方法

• 构造一个二分多重图 $B_k(G)$，其包含 $k$ 个顶点集 $V$ 的副本，其中边对应于 $G$ 中的边。
• 应用霍尔婚姻定理，证明 $G$ 是 $(k,0)$-紧当且仅当 $B_k(G)$ 存在完美匹配。
• 利用完美匹配对边进行定向，使得在 $k$ 个边不相交的子图中每个顶点的出度恰好为 1，从而形成 $k$ 个映射。
• 证明：若一个 $(k,0)$-稀疏图有 $kn - \ell$ 条边，则添加任意 $\ell$ 条边后成为 $k$-map 当且仅当原图是 $(k,0)$-稀疏图。
• 利用拟阵截断与独立性，将类 $\mathcal{N}_{k,\ell}$ 刻画为具有 $kn - \ell$ 条边的 $(k,0)$-稀疏图的集合。
• 借助关于 $(k,\ell)$-紧图及其分解为 $\ell$ 棵生成树与 $k-\ell$ 个映射的已有结果，建立等价性。

实验结果

研究问题

• RQ1 哪些图在添加任意 $\ell$ 条边后可分解为 $k$ 条边不相交的映射？
• RQ2 稀疏性条件 $kn - \ell$ 如何与这种映射分解的存在性相关联？
• RQ3 是否可以对所有 $\ell \in [0, 2k-1]$ 统一表达 $k$-map-可分解性的刻画？
• RQ4 $(k,0)$-稀疏性在添加边后实现 $k$-map-分解中起到何种作用？
• RQ5 拟阵结构（如截断与独立性）如何与 $k$-map-分解相关联？

主要发现

• 具有 $kn - \ell$ 条边的图 $G$，在添加任意 $\ell$ 条边后为 $k$-map-可分解图，当且仅当其为 $(k,0)$-稀疏图。
• 二分多重图 $B_k(G)$ 存在完美匹配，等价于 $G$ 是 $(k,0)$-紧图，这确保了添加边后可实现 $k$-map-分解。
• 在添加任意 $\ell$ 条边后可分解为 $k$ 条边不相交映射的图的集合，恰好等于具有 $kn - \ell$ 条边的 $(k,0)$-稀疏图的集合。
• 该刻画对所有 $\ell \in [0, 2k-1]$ 均保持一致，统一了先前关于稀疏图与映射分解的结果。
• 结果建立了拟阵等价关系：$G \in \mathcal{N}_{k,\ell}$ 当且仅当 $G$ 在 $k$ 重自行车拟阵的并集中是独立的，且具有 $kn - \ell$ 条边。
• 本文表明，添加 $\ell$ 条边后 $k$-map-可分解性等价于在紧情形下存在分解为 $\ell$ 条边不相交生成树与 $k-\ell$ 条边不相交映射的分解，从而推广了 Whiteley 的结果。