[论文解读] A characterization of trees with equal 2-domination and 2-independence numbers

Christoph Brause, Michael A. Henning+1 more|arXiv (Cornell University)|Apr 21, 2016

Advanced Graph Theory Research被引用 5

一句话总结

本文通过仅依赖局部结构特性而非全局集合性质，提供了2-支配数等于2独立数的树的构造性刻画。证明了此类树恰好是通过对若干小规模基树应用特定操作集所得到的，相较于以往工作，提供了更简单、更高效的刻画方式。

ABSTRACT

A set $S$ of vertices in a graph $G$ is a $2$-dominating set if every vertex of $G$ not in $S$ is adjacent to at least two vertices in $S$, and $S$ is a $2$-independent set if every vertex in $S$ is adjacent to at most one vertex of $S$. The $2$-domination number $γ_2(G)$ is the minimum cardinality of a $2$-dominating set in $G$, and the $2$-independence number $α_2(G)$ is the maximum cardinality of a $2$-independent set in $G$. Chellali and Meddah [{\it Trees with equal $2$-domination and $2$-independence numbers,} Discussiones Mathematicae Graph Theory 32 (2012), 263--270] provided a constructive characterization of trees with equal $2$-domination and $2$-independence numbers. Their characterization is in terms of global properties of a tree, and involves properties of minimum $2$-dominating and maximum $2$-independent sets in the tree at each stage of the construction. We provide a constructive characterization that relies only on local properties of the tree at each stage of the construction.

研究动机与目标

• 提供2-支配数与2-独立数相等的树的构造性刻画。
• 以仅依赖局部树结构的刻画取代基于最小2-支配集与最大2-独立集的全局刻画。
• 使用有限组基树与递归操作，对这类树进行完整且基于操作的分类。
• 证明一棵树的2-支配数与2-独立数相等，当且仅当它属于由定义操作生成的特定树族。

提出的方法

• 定义由对基树 B₁ 到 B₁₀ 应用有限组操作（𝒪₁ 到 𝒪₆）生成的树族 𝒯。
• 利用有根树结构分析局部邻域与子树类型，重点关注支撑顶点及其子树。
• 基于从叶节点到其支撑顶点的距离进行归纳推理，证明直径大于6的树无法满足等式。
• 利用PDI子树（具有特定性质的路径与双星）识别违反等式的禁止配置。
• 利用已知不等式：对所有图均有 γ₂(G) ≤ α₂(G)，并在结构条件被违反时推导出矛盾。
• 利用引理10.3与引理10.2，表明特定子树配置的存在意味着该树属于 𝒯 或违反等式。

实验结果

研究问题

• RQ1 哪些结构特性刻画了2-支配数等于2-独立数的树？
• RQ2 能否仅通过局部递归规则而非全局集合论性质来构造此类树？
• RQ3 哪些小规模基树与操作能生成所有2-支配数与2-独立数相等的树？
• RQ4 是否存在阻止等式成立的禁止配置（如特定子树类型）？
• RQ5 2-支配数与2-独立数相等的树族是否恰好是通过定义操作生成的树族？

主要发现

• 一棵树的2-支配数与2-独立数相等，当且仅当它属于由操作 𝒪₁ 到 𝒪₆ 对基树 B₁ 到 B₁₀ 应用生成的树族 𝒯。
• 该刻画完全是局部的：仅依赖于支撑顶点处子树及其邻近区域的结构。
• 直径大于6的树无法满足等式，因为距离超过5后不存在特定PDI子树。
• 若存在特定子树类型（如PDI子树B₅、B₈、B₁₀），除非树通过定义操作构造，否则将导致矛盾。
• 树族 𝒯 包含所有满足特定度约束的星形、路径与双星，且排除支撑顶点度为2而其叶节点的支撑顶点度为3的树。
• 证明表明，任何不属于 𝒯 的树必有 γ₂(T) < α₂(T)，从而确认该刻画既必要又充分。