[論文レビュー] The family of all local maximum independent sets is an augmentoid

Vadim E. Levit, Eugen Mandrescu|arXiv (Cornell University)|Mar 24, 2026

Limits and Structures in Graph Theory被引用数 0

ひとこと要約

著者らは、有限な単純グラフ G に対して、局所最大独立集合の全体族 Ψ(G) が明示的な標準的補集合を持つ augmentoid を形成することを証明し、Ψ(G) と Ψ(G−N[S]) の閉集合近傍分解を提供して局所最大独立集合の構造と個数関係を明らかにする。

ABSTRACT

It was proved in (Levit and Mandrescu, 2022) that both $(V(G), Crown(G))$ and $(V(G), CritIndep(G))$ are augmentoids, established partial augmentation phenomena for the family $Ψ(G)$ of local maximum independent sets, and asked in Problem~5.5 to characterize the graphs whose family $Ψ(G)$ is an augmentoid. We prove that the answer is positive in full generality: for every finite simple graph $G$, the set system $(V(G),Ψ(G))$ is an augmentoid. The proof is constructive. If $S,T\inΨ(G)$, then the explicit choice \[ A=S \setminus N[T],\qquad B=T \setminus N[S] \] satisfies \[ T\cup A\inΨ(G),\qquad S\cup B\inΨ(G),\qquad |T\cup A|=|S\cup B|. \] As a structural consequence, for every fixed $S\inΨ(G)$ the map $T\mapsto S\cup T$ induces a canonical bijection from $Ψ(G-N[S])$ onto the members of $Ψ(G)$ containing $S$, and \[ α(G)=|S|+α(G-N[S]). \] This decomposition also yields explicit formulas for the intersection and the union of all the maximum independent sets extending $S$, together with counting formulas for the local maximum and maximum independent sets containing $S$. We also add a short visual guide to the framework $CritIndep(G) \subseteq Crown(G)\subseteq Psi(G)$ and end with several natural follow-up problems suggested by the theorem.

研究の動機と目的

• augmentoid フレームワーク内で局所最大独立集合の研究を動機づける。
• (V(G), Ψ(G)) がすべての有限グラフに対して augmentoid であることを証明する。
• Ψ(G) を保存しサイズの等しさを保つ明示的な正準補集合 A = S \ N[T], B = T \ N[S] を提供する。
• α(G) と α(G−N[S]) を結ぶ閉集合近傍分解を確立し、与えられた局所最大集合を含む最大独立集合の構造を説明する。
• Ψ(G−N[S]) と Ψ(G) の Ψ(G) に含まれる要素との間に対応づけを提供する。

提案手法

• 局所最大独立集合と augmentoid フレームワークを定義する。
• A = S i N[T] および B = T i N[S] を用いて明示的な augmentations を構成し、T∪A と S∪B が Ψ(G) に属し |T∪A| = |S∪B| であることを証明する。
• 補助レマ (例: S∩N(T) と T∩N(S) の間の完全部一致の存在性) を用いて augmentation を裏付ける。
• S+ = S ∪ (T emove N[S]) および T+ = T ∪ (S emove N[T]) が Ψ(G) に属し、等サイズであることを示す。
• Φ_S(T) = S ∪ T による Ψ(G−N[S]) から Ψ(G) で S を含む要素への全射を示す。
• α(G) = |S| + α(G−N[S]) を導出し、Ω_S(G) のコア/コロナ構造を記述する。

実験結果

リサーチクエスチョン

• RQ1 Ψ(G) の族はすべての有限グラフ G に対して augmentoid を成すか？
• RQ2 Ψ(G) を保存する標準的な augmentation メカニズムは何か？
• RQ3 閉集合近傍分解は、特定の局所最大集合を含む最大独立集合をどう特徴づけるか？
• RQ4 S ∈ Ψ(G) を固定したとき、 Ψ(G−N[S]) と Ψ(G) の間にどのような個数関係が生じるか？
• RQ5 コア/コロナ構造は局所最大フレームワークとどう相互作用するか？

主な発見

• Ψ(G) はすべてのグラフ G に対して augmentoid を形成し、明示的な augmentation は A = S \backslash N[T] および B = T \backslash N[S] を用いる。
• 標準的 augmentation により S+ = S ∪ (T \backslash N[S]) および T+ = T ∪ (S \backslash N[T]) が Ψ(G) に属し、等サイズである。
• Ψ(G−N[S]) と Ψ(G) の S を含む要素間の全射 Φ_S が存在し、Φ_S(T) = S ∪ T によって定義される。
• 閉集合近傍分解が成り立つ： α(G) = |S| + α(G−N[S])、Ω_S(G) = {S ∪ Q : Q ∈ Ω(G−N[S])}、および S を含む最大集合の和集合/交差の対応。
• カウント公式：|Ψ_S(G)| = |Ψ(G−N[S])| および |Ω_S(G)| = |Ω(G−N[S])|（系3.7の系）.
• 本研究は Ψ(G) の既存補集合機構を統合・拡張し、局所最大独立集合の再帰的解析と列挙のためのツールを提供する。