[논문 리뷰] Maximum Stable Sets and Pendant Vertices in Trees

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

Advanced Graph Theory Research참고 문헌 7인용 수 2

한 줄 요약

이 논문은 순서가 1을 초과하는 트리에서는 모든 최대 안정집합이 적어도 하나의 낙엽 정점을 포함해야 하며, 만약 트리가 완전 매칭을 갖지 않는다면, 두 개 이상의 낙엽 정점으로 이루어진 안정집합은 모든 최대 안정집합의 교집합에 속한다. 이 작업은 그래프에서 안정집합의 교차에 관한 이전 결과를 강화하며, 특히 트리에 대해서이다.

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.

연구 동기 및 목표

• 트리에서 최대 안정집합의 구조적 성질을 조사하는 것.
• 트리의 모든 최대 안정집합에 낙엽 정점이 반드시 포함되는지 여부를 규명하는 것.
• 완전 매칭이 없는 트리에서 모든 최대 안정집합의 교차를 특성화하는 것.
• 특히 Hammer 등과 Nemhauser 및 Trotter의 결과를 확장하고 강화하는 것.

제안 방법

• 트리에서는 단순 정점(simplicial vertices)이 낙엽 정점(pendant vertices)과 동치라는 사실을 활용하여, 낙엽 정점이 안정집합에서 수행하는 역할을 분석한다.
• 안정집합이 최대 안정집합으로 확장될 수 있는 조건을 확립하기 위해 Nemhauser-Trotter 정리를 적용한다.
• 완전 매칭이 없는 트리와 그 안정집합 성질을 분석하기 위해 구조적 그래프 이론을 사용한다.
• 이러한 트리에서 두 개 이상의 낙엽 정점으로 이루어진 임의의 안정집합은 모든 최대 안정집합에 포함된다는 것을 증명한다.
• 트리 분해와 매칭 이론을 통해 모든 최대 안정집합의 교차를 분석한다.
• 완전 매칭의 부재와 모든 최대 안정집합에 낙엽 정점 집합이 포함되는 것 사이의 이중성(duality)을 설정한다.

실험 결과

연구 질문

• RQ1 순서가 1을 초과하는 트리의 모든 최대 안정집합은 적어도 하나의 낙엽 정점을 포함하는가?
• RQ2 다수의 낙엽 정점으로 이루어진 안정집합이 트리의 모든 최대 안정집합의 교집합에 포함되는 조건은 무엇인가?
• RQ3 트리가 완전 매칭을 갖지 않을 경우, 그 최대 안정집합의 구조에 어떤 영향을 미치는가?
• RQ4 Nemhauser와 Trotter의 결과를 트리에 대해 역으로 또는 더 강화할 수 있는가?
• RQ5 낙엽 정점은 트리에서 모든 최대 안정집합의 교차를 어느 정도 특성화하는가?

주요 결과

• 순서가 1을 초과하는 트리의 모든 최대 안정집합은 적어도 하나의 낙엽 정점을 포함한다.
• 트리가 완전 매칭을 갖지 않는다면, 두 개 이상의 낙엽 정점으로 이루어진 임의의 안정집합은 그 모든 최대 안정집합의 교집합에 포함된다.
• 완전 매칭이 없는 트리에서 모든 최대 안정집합의 교차는 비어 있지 않으며, 이는 교차에 다수의 낙엽 정점 존재에 의해 보장된다.
• 이 결과는 Hammer 등의 정리보다 강화된 것으로, 그래프의 순서가 최대 안정집합의 크기의 두 배 이하이면 모든 최대 안정집합의 교차가 비어 있지 않다는 것을 주장한다.
• 논문은 구조적 이중성을 설정한다: 트리에서 완전 매칭이 존재하지 않으면, 크기가 ≥2인 낙엽 정점 집합이 모든 최대 안정집합에 포함된다.
• 트리에 대해서는 Nemhauser-Trotter 정리의 역이 성립한다: 낙엽 정점으로 이루어진 안정집합은 최대 안정집합에 포함되며, 일부 경우에 모든 최대 안정집합에 포함된다.