[论文解读] $k$-Blocks: a connectivity invariant for graphs

Johannes Carmesin, Reinhard Diestel+2 more|arXiv (Cornell University)|May 20, 2013

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

一句话总结

本文引入了 $k$-blocks 作为图中的一种连通性不变量，将其定义为大小至少为 $k$ 的极大顶点集合，且该集合无法被少于 $k$ 个顶点分离。本文建立了块数 $\beta(G)$ 与块宽 ${\rm bw}(G)$ 之间的对偶性，证明了 $\beta = {\rm bw}$，并提出了多项式时间算法来检测 $k$-blocks 和计算块分解，同时给出了保证有限图中存在 $k$-blocks 的度条件（最小度 $\geq 2(k-1)$，平均度 $\geq 3(k-1)$）。

ABSTRACT

A $k$-block in a graph $G$ is a maximal set of at least $k$ vertices no two of which can be separated in $G$ by fewer than $k$ other vertices. The block number $β(G)$ of $G$ is the largest integer $k$ such that $G$ has a $k$-block. We investigate how $β$ interacts with density invariants of graphs, such as their minimum or average degree. We further present algorithms that decide whether a graph has a $k$-block, or which find all its $k$-blocks. The connectivity invariant $β(G)$ has a dual width invariant, the block-width ${ m bw}(G)$ of $G$. Our algorithms imply the duality theorem $β= { m bw}$: a graph has a block-decomposition of width and adhesion $< k$ if and only if it contains no $k$-block.

研究动机与目标

• 定义并形式化 $k$-blocks 作为有限图中一种新的连通性不变量，用于捕捉对小规模分离具有鲁棒性的顶点集合。
• 研究 $k$-blocks 与经典图不变量（如最小度和平均度）的关系，特别是在稀疏图中的表现。
• 建立块数 $\beta(G)$ 与块宽 ${\rm bw}(G)$ 之间的对偶性，通过树分解证明 $\beta = {\rm bw}$。
• 设计多项式时间算法，用于检测 $k$-blocks 并计算具有有界附着度和宽度的块分解。
• 阐明 $k$-blocks 与 tangles 之间的关系，表明二者虽相关但为不同的结构概念。

提出的方法

• 将 $k$-block 定义为至少包含 $k$ 个顶点的极大集合，且该集合中任意两点无法被少于 $k$ 个顶点在图中分离。
• 利用树分解分析图的结构，其中树中边诱导的分离对应于附着度不超过的 $k$-分离。
• 证明图中不存在 $k$-block 当且仅当其存在宽度和附着度均小于 $k$ 的块分解，从而确立对偶性 $\beta = {\rm bw}$。
• 设计一种多项式时间算法，通过 $k$-精炼树分解和顶点分离性质来测试 $k$-block 的存在性。
• 应用极值图论推导出度条件：最小度 $\geq 2(k-1)$ 和平均度 $\geq 3(k-1)$ 可强制图中存在 $k$-block。
• 通过结构示例与反例，探讨局部引理的极限以及全局分解性质的必要性。

实验结果

研究问题

• RQ1 在稀疏图中，何种度条件（最小度或平均度）可强制有限图包含 $k$-block？
• RQ2 块数 $\beta(G)$ 与其他图不变量（如最小度和平均度）有何关系？
• RQ3 是否存在 $k$-block 存在性与有界宽度和附着度的树状分解之间的对偶性？
• RQ4 $k$-blocks 是否可被高效检测与计算，该任务的计算复杂度如何？
• RQ5 $k$-blocks 与结构图论中的 tangles 及其他宽度参数有何关系？

主要发现

• 最小度至少为 $2(k-1)$ 的图包含一个 $k$-block，且该界在一般情况下是紧的。
• 对于 $(k-1)$-连通图，最小度条件可降低至 $\frac{3}{2}(k-1)$ 以内，若图中无三角形，则可进一步降低至 $k$。
• 平均度至少为 $3(k-1)$ 的图包含一个 $k$-block，提供了基于密度的充分条件。
• 对偶性 $\beta(G) = {\rm bw}(G)$ 成立：图存在宽度和附着度均小于 $k$ 的块分解当且仅当其不包含 $k$-block。
• 存在多项式时间算法，可判断图是否包含 $k$-block，并基于 $k$-精炼树分解计算所有 $k$-blocks。
• 反例表明，即使在高度连通图中，$k$-分离为 T 形的局部引理也未必成立。