[논문 리뷰] A Note on Connected Dominating Set in Graphs Without Long Paths And Cycles

Eglantine Camby, Oliver Schaudt|arXiv (Cornell University)|2013. 03. 12.

Advanced Graph Theory Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 k ≥ 6인 (Pk, Ck)-free 그래프에서 연결된 독립 집합 수(γc)와 독립 집합 수(γ)의 비율을 조사한다. 엄밀한 상한을 확립한다: (P6, C6)-free 그래프에서 γc ≤ γ + 1, (P8, C8)-free 그래프에서 γc ≤ 2γ이며, (P9, C9)-free 그래프에서 일반적인 상한 γc/γ < 3이 점 渐차적으로 날카롭게 되며, γ가 임의로 큰 그래프들에서 이러한 비율을 달성하는 구성이 존재한다.

ABSTRACT

The ratio of the connected domination number, $γ_c$, and the domination number, $γ$, is strictly bounded from above by 3. It was shown by Zverovich that for every connected $(P_5,C_5)$-free graph, $γ_c = γ$. In this paper, we investigate the interdependence of $γ$ and $γ_c$ in the class of $(P_k,C_k)$-free graphs, for $k \ge 6$. We prove that for every connected $(P_6,C_6)$-free graph, $γ_c \le γ+ 1$ holds, and there is a family of $(P_6,C_6)$-free graphs with arbitrarily large values of $γ$ attaining this bound. Moreover, for every connected $(P_8,C_8)$-free graph, $γ_c / γ\le 2$, and there is a family of $(P_7,C_7)$-free graphs with arbitrarily large values of $γ$ attaining this bound. In the class of $(P_9,C_9)$-free graphs, the general bound $γ_c / γ\le 3$ is asymptotically sharp.

연구 동기 및 목표

• k ≥ 6인 (Pk, Ck)-free 그래프에서 비율 γc/γ에 대한 엄밀한 상한을 결정하는 것.
• 일반적인 상한 γc ≤ 3γ가 특정 그래프 계열에서 점 渐차적으로 날카로운지 조사하는 것.
• 임의로 큰 독립 집합 수를 가진 (Pk, Ck)-free 그래프의 무한한 가족을 구성하여 유도된 상한을 달성하는 것.
• γc ≤ 2γ가 성립하는 가장 큰 유전적 그래프 계열을 특성화할 수 있는지 탐색하는 것.
• 최소 독립 집합에서 연결된 독립 집합으로의 변환을 가능하게 하는 구조적 증명을 제공하여 다항식 시간 알고리즘을 설계하는 것.

제안 방법

• 특히 Pk−2-free 성질을 갖는 (Pk, Ck)-free 그래프에서 최소 연결된 독립 집합의 구조적 성질을 활용하는 것.
• P6-free 그래프에서 연결된 독립 집합에 관한 기존 결과를 활용하며, 특히 독립 집합에 의해 유도되는 부분그래프에 완전 이분 부분그래프 또는 C6가 존재한다는 점.
• 구성적 접근: 최소 독립 집합 D가 주어지면, 금지된 부분그래프 제약 조건에 따라 각 성분당 최대 O(1)개의 정점을 추가하여 연결된 독립 집합을 구성하는 것.
• 독립 집합의 유도 부분그래프의 구조에 기반한 케이스 분석(예: C6나 완전 이분 부분그래프를 포함하는지 여부).
• γc/γ = 2이고 lim γc/γ = 3을 달성하는 구체적인 그래프 구성(Hk 및 Gk)을 도입하여 상한의 엄밀함을 입증하는 것.
• 귀납법과 이웃 분석을 사용하여 구성된 집합의 연결성과 독립 집합 성질을 보장하는 것.

실험 결과

연구 질문

• RQ1 연결된 (P6, C6)-free 그래프에서 비율 γc/γ에 대한 가장 날카로운 상한은 무엇인가요?
• RQ2 (P8, C8)-free 그래프에서 γc ≤ 2γ의 상한을 달성할 수 있으며, (P7, C7)-free 그래프에서 이것이 엄밀한가요?
• RQ3 (P9, C9)-free 그래프 계열에서 일반적인 상한 γc/γ < 3이 점 渐차적으로 날카로운가요?
• RQ4 γc ≤ 2γ가 성립하는 유전적 그래프 계열 중 가장 큰 것은 무엇이며, 이는 유도 부분그래프에 대해 닫혀 있나요?
• RQ5 구조적 결과를 활용하여 이 계열에서 독립 집합에서 연결된 독립 집합을 계산하는 효율적인 알고리즘을 설계할 수 있나요?

주요 결과

• 모든 연결된 (P6, C6)-free 그래프에서 연결된 독립 집합 수는 γc ≤ γ + 1를 만족하며, 이 상한은 γ가 임의로 큰 그래프들에 대해 무한히 성립하며 엄밀하다.
• 모든 연결된 (P8, C8)-free 그래프에서 비율 γc/γ는 최대 2이며, 이 상한은 (P7, C7)-free 그래프에서 엄밀하다. 이는 무한한 수의 이러한 그래프로 입증된다.
• (P9, C9)-free 그래프 계열에서 일반적인 상한 γc/γ < 3는 점 渐차적으로 날카로우며, lim_{k→∞} γc(Gk)/γ(Gk) = 3를 만족하는 그래프 Gk의 무한한 가족이 존재한다.
• Hk의 구성은 γc(Hk)/γ(Hk) = 2를 만족하는 (P7, C7)-free 그래프의 무한한 가족을 제공하며, 이는 2γ 상한의 엄밀함을 증명한다.
• Hk의 각 끝 정점에 펜던트 정점을 추가하여 구성된 Gk는 (P9, C9)-free 그래프이며, γ(Gk) = k+1이고 γc(Gk) = 3k를 만족하여 비율의 점 渐차적 수렴값 3을 확인한다.
• 증명은 모두 구성적이며, 각각의 그래프 계열 내에서 최소 독립 집합을 연결된 독립 집합으로 변환하는 다항식 시간 알고리즘을 암시한다.