[논문 리뷰] On domination perfect graphs

Jerzy Topp, Paweł Żyliński|arXiv (Cornell University)|2018. 02. 10.

Advanced Graph Theory Research참고 문헌 1인용 수 8

한 줄 요약

이 논문은 $γ\beta$-완전 그래프—모든 비자명한 유도된 연결 부분그래프 $H$에 대해 지배 수 $\gamma(H)$가 커버링 수 $\beta(H)$와 일치하는 연결된 비자명한 그래프—의 특성에 대해 다룬다. 저자들은 기하학적 그래프 이론적 추론과 부분그래프 최소성 원리를 사용하여, 이러한 그래프가 직경이 4 이하인 트리이거나 $K_{2,n}$의 연결 부분그래프임을 증명하며, 이는 이전의 지배 및 정점 커버 완전성에 관한 결과들을 통합한다.

ABSTRACT

Let $γ(G)$ and $β(G)$ denote the domination number and the covering number of a graph $G$, respectively. A connected non-trivial graph $G$ is said to be $γβ$-{perfect} if $γ(H)=β(H)$ for every non-trivial induced connected subgraph $H$ of $G$. In this note we present an elementary proof of a characterization of the $γβ$-perfect graphs.

연구 동기 및 목표

• 모든 비자명한 유도된 연결 부분그래프 $H$에 대해 지배 수 $\gamma(H)$가 커버링 수 $\beta(H)$와 일치하는 그래프를 특성화하는 것.
• [1] 및 [3]에서 이전에 발표된 $γ\beta$-완전 그래프에 관한 결과들을 통합하고 기초적인 증명을 제공하는 것.
• 연결된 그래프가 모든 유도된 부분그래프에서 $\gamma$와 $\beta$가 동일하게 유지되는 데 필요한 필수 조건과 충분 조건을 설정하는 것.
• 특정 부분그래프인 $C_3$, $C_5$, $P_6$를 배제함으로써 이러한 그래프의 구조를 규명하고, 직경 ≤4인 트리 또는 $K_{2,n}$의 부분그래프만이 조건을 만족시킴을 보여주는 것.

제안 방법

• 기저 사례로 제안된 1을 사용하여, 직경 ≤4인 모든 비자명한 트리와 $K_{2,n}$의 모든 연결 부분그래프가 $γ\beta$-완전임을 증명한다.
• 제안된 2를 적용하여, 연결된 스패닝 부분그래프 $F$가 $\gamma(F) < \beta(F)$를 만족하면 $H$는 $γ\beta$-완전일 수 없다는 점을 이용한다.
• 모순에 의한 증명을 통해, $G$가 $γ\beta$-완전이라면 $C_3$, $C_5$, $P_6$가 부분그래프(즉, 유도된 부분그래프 포함)일 수 없다는 것을 보인다.
• 사이클을 포함하는 그래프의 구조를 분석하여, 어떤 사이클도 끈이 없는 4사이클($C_4$)이어야 하며, 나머지 모든 정점은 두 개의 지정된 정점에만 인접해야 한다는 점을 보여, 이는 $K_{2,n}$의 구조로 이어진다.
• $P_6$가 부분그래프로 존재하지 않음을 이용하여 이웃 구조를 제약하고, 사이클의 두 개의 비인접 정점에만 인접한 모든 정점이 존재해야 한다는 점을 증명한다.
• 극값 그래프 이론적 추론을 적용하여, $G$가 $C_3$, $C_5$, $P_6$를 모두 피한다면, 그 구조는 직경 ≤4인 트리 또는 $K_{2,n}$의 부분그래프로 제한됨을 보인다.

실험 결과

연구 질문

• RQ1 모든 비자명한 유도된 연결 부분그래프 $H$에 대해 $\gamma(H) = \beta(H)$를 만족하는 연결된 그래프는 무엇인가?
• RQ2 지배 수와 정점 커버 수가 모든 유도된 부분그래프에서 동일하게 유지되도록 하기 위해 그래프가 가져야 할 구조적 성질은 무엇인가?
• RQ3 $C_3$, $C_5$, $P_6$가 왜 $γ\beta$-완전 그래프에서 배제되는가? 그 존재하지 않음이 이 클래스를 어떻게 특성화하는가?
• RQ4 금지된 부분그래프와 구조적 제약 조건을 통해 $γ\beta$-완전 그래프의 클래스를 완전히 기술할 수 있는가?
• RQ5 이전 연구 결과들을 통합하는 통일된 기초적 특성화가 $γ\beta$-완전 그래프에 대해 존재하는가?

주요 결과

• 연결된 비자명한 그래프 $G$는 $\gamma(H) = \beta(H)$가 모든 비자명한 유도된 연결 부분그래프 $H$에 대해 성립할 때이고, 그때에만 $γ\beta$-완전이다. 이는 $G$가 직경이 4 이하인 트리이거나 어떤 $n \geq 2$에 대해 $K_{2,n}$의 연결 부분그래프임과 동치이다.
• $C_3$, $C_5$, $P_6$는 $γ\beta$-완전이 아니며, 이들이 부분그래프(유도된 부분그래프 포함)로 존재하면 $γ\beta$-완전 조건이 위반된다.
• 그래프 $H$가 $\gamma(F) < \beta(F)$를 만족하는 연결 스패닝 부분그래프 $F$를 포함하면 $H$는 $γ\beta$-완전일 수 없으며, 이는 $P_6$가 부분그래프일 수 없음을 제거하는 데 사용된다.
• $γ\beta$-완전 그래프에 존재하는 어떤 사이클도 끈이 없는 4사이클($C_4$)이어야 하며, 나머지 모든 정점은 이 사이클의 두 개의 비인접 정점에만 인접해야 한다.
• $P_6$가 부분그래프로 존재하지 않음을 통해, 4사이클 외부의 모든 정점은 두 정점 집합에만 이웃해야 하며, 이는 $K_{2,n}$의 구조로 이어진다.
• 이 특성화는 날카롭다: 조건을 만족하는 모든 그래프는 직경 ≤4인 트리이거나 $K_{2,n}$의 부분그래프이며, 이러한 모든 그래프는 $γ\beta$-완전이다.