[논문 리뷰] The family of all local maximum independent sets is an augmentoid

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

Limits and Structures in Graph Theory인용 수 0

한 줄 요약

저자들은 모든 유한 단일 그래프 G에 대해 로컬 최대 독립집합의 전체 모임 Ψ(G)이 명시적 표준 증가를 갖는 augmentationoid임을 보이고 Ψ(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))가 augmentationoid임을 증명한다.
• Ψ(G)를 보존하고 크기의 등식도 보존하는 명시적 표준 증가 A = S \ N[T], B = T \ N[S]를 제공한다.
• α(G)와 α(G−N[S])를 잇는 닫힌 이웃 분해를 확립하고 주어진 로컬 최대 집합을 포함하는 최대 독립집합의 구조를 기술한다.
• Ψ(G−N[S])와 Ψ(G)에서 S를 포함하는 구성원 사이의 대응에 대한 개수 공식과 쌍대 매핑을 제공한다.

제안 방법

• 로컬 최대 독립집합과 augmentationoid 프레임워크를 정의한다.
• A = S \ni N[T] 및 B = T \ni N[S]를 사용한 명시적 증가를 구성하고 T∪A와 S∪B가 Ψ(G)에 속하며 |T∪A| = |S∪B|임을 증명한다.
• 보조 보조정리(예: S∩N(T)와 T∩N(S) 사이의 완전 매치의 존재)를 이용해 증가를 뒷받침한다.
• S+ = S ∪ (T \remove N[S]) 및 T+ = T ∪ (S \remove N[T])가 Ψ(G)에 속하고 크기가 같음을 보인다.
• Φ_S(T) = S ∪ T으로 Ψ(G−N[S])에서 Ψ(G)에서 S를 포함하는 구성원으로의 대응이 존재한다.
• α(G) = |S| + α(G−N[S]) 및 Ω_S(G) = {S ∪ Q : Q ∈ Ω(G−N[S])}에 대한 핵/코로나 구조를 도출한다.

실험 결과

연구 질문

• RQ1 Ψ(G) 가 모든 유한 그래프 G에 대해 augmentationoid를 형성하는가?
• RQ2 Ψ(G)를 보존하는 표준 증가 메커니즘은 무엇인가?
• RQ3 닫힌 이웃 분해가 주어진 로컬 최대 집합을 포함하는 최대 독립집합을 어떻게 특징지리는가?
• RQ4 S ∈ Ψ(G)를 고정할 때 Ψ(G−N[S])와 Ψ(G) 사이에 어떤 개수 관계가 나타나는가?
• RQ5 core/corona 구조가 로컬 최대 프레임워크와 어떻게 상호작용하는가?

주요 결과

• Ψ(G)는 그래프 G에 대해 augmentationoid이며 명시적 증가가 A = S \backslash N[T] 및 B = T \backslash N[S]를 사용한다.
• 표준 증가로 인해 S+ = S ∪ (T \backslash N[S]) 및 T+ = T ∪ (S \backslash N[T])가 Ψ(G)에 속하고 크기도 같다.
• Ψ(G−N[S])에서 Ψ(G)에서 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])| (Corollary 3.7).
• 본 연구는 Ψ(G)에 대한 기존 증가 메커니즘을 통합하고 확장하며 로컬 최대 독립집합의 재귀적 분석 및 수집을 위한 도구를 제공한다.