[論文レビュー] Maximum Stable Sets and Pendant Vertices in Trees

Vadim E. Levit, Eugen Mǎndrescu|arXiv (Cornell University)|Dec 6, 1999

Advanced Graph Theory Research参考文献 7被引用数 2

ひとこと要約

本稿では、1より大きい次数の木において、すべての最大安定集合は少なくとも1つの端点を含むことが示され、木に完全マッチングがない場合、2個以上の端点からなる安定集合は、すべての最大安定集合の共通部分に含まれる。本研究は、特に木における安定集合の共通部分に関する先行研究を強化するものである。

ABSTRACT

One theorem of Nemhauser and Trotter [10] ensures that, under certain conditions, a stable set of a graph G can be enlarged to a maximum stable set of this graph. For example, any stable set consisting of only simplicial vertices is contained in a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for trees of order greater than one, where, in fact, all the simplicial vertices are pendant. Namely, we show that any maximum stable set of such a tree contains at least one pendant vertex. Moreover, we prove that if T does not own a perfect matching, then a stable set, consisting of at least two pendant vertices, is included in the intersection of all its maximum stable sets. For trees, the above assertion is also a strengthening of one result of Hammer et al., [3], stating that if G is of order less that 2α(G) (where α(G) is the size of a maximum stable set of G), then the intersection of all its maximum stable sets is non-empty.

研究の動機と目的

• 木における最大安定集合の構造的性質を調査すること。
• 木のすべての最大安定集合に端点が必ず含まれるかどうかを特定すること。
• 完全マッチングのない木におけるすべての最大安定集合の共通部分を特徴づけること。
• ハマーらおよびネムハウザーとトロッターの先行研究を拡張・強化すること。

提案手法

• 木において単体的頂点は端点に等しいことを利用し、本稿は安定集合における端点の役割を分析する。
• ネムハウザー＝トロッターの定理を適用して、安定集合が最大安定集合に拡張可能な条件を確立する。
• 構造的グラフ理論を用いて、完全マッチングのない木の安定集合の性質を分析する。
• このような木において、2個以上の端点からなる安定集合が、すべての最大安定集合に含まれることを証明する。
• 木の分解とマッチング理論を用いて、すべての最大安定集合の共通部分を分析する。
• 完全マッチングの不在と、すべての最大安定集合に端点集合（サイズ≥2）が含まれるという関係の双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 1より大きい次数の木におけるすべての最大安定集合は、少なくとも1つの端点を含むか？
• RQ2 複数の端点からなる安定集合が、木のすべての最大安定集合の共通部分に含まれる条件は何か？
• RQ3 木に完全マッチングがない場合、その最大安定集合の構造にどのような影響を与えるか？
• RQ4 ネムハウザーとトロッターの結果を、木に対して逆転または強化できるか？
• RQ5 端点が、木におけるすべての最大安定集合の共通部分をどれほど特徴づけられるか？

主な発見

• 1より大きい次数の木におけるすべての最大安定集合は、少なくとも1つの端点を含む。
• 木に完全マッチングがない場合、2個以上の端点からなる安定集合は、すべての最大安定集合の共通部分に含まれる。
• 完全マッチングのない木におけるすべての最大安定集合の共通部分は空でなく、これは共通部分に複数の端点が存在することによって保証される。
• 本稿の結果は、ハマーらの定理を強化する。ハマーらの定理は、グラフの次数が最大安定集合のサイズの2倍未満であれば、すべての最大安定集合の共通部分は空でないことを示している。
• 本稿は構造的双対性を確立する：木に完全マッチングがない場合、サイズが2以上の端点集合は、すべての最大安定集合に普遍的に含まれる。
• 木において、ネムハウザー＝トロッターの定理の逆が成り立つ：端点の安定集合は最大安定集合に含まれ、一部の場合はすべての最大安定集合に含まれる。