[論文レビュー] 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インDEPENDENT集合に基づく従来の全域的特徴付けを、局所的木構造にのみ依存する特徴付けに置き換えること。
• 有限個の基本木と再帰的演算を用いた、このような木の完全で操作に基づく分類を確立すること。
• 木の2ドミネーション数と2独立数が等しいための必要十分条件が、定義された操作によって生成される特定の木の族に属することを証明すること。

提案手法

• 基本木 B₁ から B₁₀ に、有限個の操作 𝒪₁ から 𝒪₆ を適用して生成される木の族 𝒯 を定義する。
• 根付き木構造を用いて、局所的な近傍と部分木の型を分析し、サポート頂点とその部分木に注目する。
• 葉からそのサポート頂点までの距離を基に帰納的推論を適用し、直径が6を超える木は等式を満たせないことを証明する。
• PDI部分木（特定の性質を満たす経路および二重星）を用いて、等式を破る禁止構成を同定する。
• 既知の不等式：すべてのグラフに対して γ₂(G) ≤ α₂(G) が成り立つことを利用し、構造的条件が破られた場合に矛盾を導く。
• Fact 10.3 および Fact 10.2 を用いて、特定の部分木構造が存在する場合、木が 𝒯 に属するか、等式が破られることが示される。

実験結果

リサーチクエスチョン

• RQ1 2ドミネーション数が2独立数に等しい木を特徴付ける構造的性質は何か？
• RQ2 このような木は、集合論的性質に依存せず、局所的かつ再帰的な規則のみで構成可能か？
• RQ3 どの小さな基本木と操作が、2ドミネーション数と2独立数が等しいすべての木を生成するか？
• RQ4 特定の部分木型（例：PDI部分木）のような禁止構成は、等式の成立を妨げるか？
• RQ5 2ドミネーション数と2独立数が等しい木の族は、定義された操作によって生成される族とちょうど一致するか？

主な発見

• 木の2ドミネーション数と2独立数が等しいための必要十分条件は、基本木 B₁ から B₁₀ に操作 𝒪₁ から 𝒪₆ を適用して生成される族 𝒯 に属することである。
• この特徴付けは完全に局所的である：サポート頂点を根とする部分木およびその直近の近傍の構造にのみ依存する。
• 直径が6を超える木は、距離5を越えて特定のPDI部分木が存在しないため、等式を満たせない。
• 特定の部分木型（例：PDI部分木 B₅, B₈, B₁₀）が存在する場合、定義された操作による構成が行われない限り、矛盾が生じる。
• 族 𝒯 にはすべてのスターツリー、パス、および特定の次数制約を満たす二重スターツリーが含まれており、サポート頂点の次数が2で、その葉のサポート頂点の次数が3であるような木は除外される。
• 証明により、𝒯 に属しない任意の木は γ₂(T) < α₂(T) を満たすことが示され、この特徴付けが必要かつ十分であることが確認された。