[논문 리뷰] Forbidden subgraphs for constant domination number

Michitaka Furuya|arXiv (Cornell University)|2018. 03. 11.

Advanced Graph Theory Research인용 수 4

한 줄 요약

이 논문은 모든 연결된 $χ$-free 그래프에서 정점 수가 일정한 지배 수를 보장하는 연결된 금지된 부분그래프의 집합을 특성화한다. 이 집합 $χ$가 (A1)를 만족함과 동시에 $χ \leq \{K^{*}_k, S^{*}_\ell, P_m\}$인 것은 어떤 양의 정수 $k, \ell, m$에 대해 성립함을 증명한다. 여기서 $K^{*}_k$와 $S^{*}_\ell$는 특정한 별 모양의 그래프이며 $P_m$은 경로이다. 이 결과는 선형 등가성 조건을 만족하는 다른 지배 유사 불변량으로도 확장된다.

ABSTRACT

In this paper, we characterize the sets $\mathcal{H}$ of connected graphs such that there exists a constant $c=c(\mathcal{H})$ satisfying $γ(G)\leq c$ for every connected $\mathcal{H}$-free graph $G$, where $γ(G)$ is the domination number of $G$.

연구 동기 및 목표

• 모든 $\mathcal{H}$-free 연결 그래프가 고정된 상수 $c = c(\mathcal{H})$ 이내의 지배 수를 가짐을 보장하는 연결된 그래프 집합 $\mathcal{H}$를 식별하는 것.
• 이러한 금지된 부분그래프 집합 $\mathcal{H}$의 구조를 $K^{*}_k$, $S^{*}_\ell$, $P_m$ 등의 유도 부분그래프로 특성화하는 것.
• 지배 수와 선형 등가성을 만족하는 다른 지배 유사 불변량으로 이 특성화를 확장하는 것.

제안 방법

• $\{K^{*}_k, S^{*}_\ell\}$-free 그래프에서 이웃의 크기를 제한하기 위해 라마지 이론을 사용하며, 중심 정점에서 거리 $i$에 있는 지배 집합을 제어하기 위해 재귀 함수 $g_{k,\ell}(i)$와 $f_{k,\ell}(i)$를 정의한다.
• 고정된 정점 $a$로부터의 거리 $i$에 대한 귀납법을 적용하여 각 수준 $N^i_G(a)$에 대한 지배 집합을 구성함으로써 총 크기가 유계임을 보장한다.
• $\mathcal{H}_1 \leq \mathcal{H}_2$의 개념을 사용하여 금지된 부분그래프 집합을 비교함. 여기서 $H_1$은 $H_2$의 유도 부분그래프이다.
• 모든 $\mathcal{H}$-free 연결 그래프 $G$에 대해 $\gamma(G) \leq c$이기 위한 필요 조건은 $K^{*}_{c+1}, S^{*}_{c+1}, P_{3c+1}$가 $\mathcal{H}$-free일 수 없음을 이용한다.
• 만약 $\mathcal{H} \leq \{K^{*}_k, S^{*}_\ell, P_m\}$이면, $\gamma(G) \leq 1 + \sum_{2 \leq i \leq m-2} f_{k,\ell}(i)$임을 증명하며, 이는 $k, \ell, m$에만 의존하는 상수이다.
• 지배 수와 선형 등가성을 만족하는 불변량 $\mu$로 결과를 확장함. $c_1 \gamma(G) \leq \mu(G) \leq c_2 \gamma(G)$를 만족할 경우, $\mu(G)$가 유계임과 동시에 $\mathcal{H} \leq \{K^{*}_k, S^{*}_\ell, P_m\}$이어야 함을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 집합 $\mathcal{H}$ 에 대해 모든 연결된 $\mathcal{H}$-free 그래프에서 지배 수 $\gamma(G)$ 가 고정된 상수 $c$ 이내로 유계가 되는가?
• RQ2 $\gamma(G) \leq c$ 가 어떤 절대 상수 $c$ 에 대해 성립하도록 하는 $\mathcal{H}$ 의 구조적 성질은 무엇인가?
• RQ3 $K^{*}_k$, $S^{*}_\ell$, $P_m$ 그래프들이 정점 수가 일정하지 않은 지배 수를 방지하는 최소 장애물로 작용하는 방식은 무엇인가?
• RQ4 지배 수와 선형 등가성을 만족하는 다른 지배 유사 불변량 $\mu$로 특성화를 확장할 수 있는가?
• RQ5 라마지 수와 재귀적 이웃 지배 함수는 금지된 부분그래프 제약 조건 하에서 지배 수를 유계로 유지하는 데 어떤 역할을 하는가?

주요 결과

• 모든 연결된 $\mathcal{H}$-free 그래프에서 지배 수 $\gamma(G)$ 가 상수로 유계임은 $\mathcal{H} \leq \{K^{*}_k, S^{*}_\ell, P_m\}$ 인 것과 필요충분조건이다. 여기서 $k, \ell, m$ 은 양의 정수이다.
• 지배 수 $\gamma(G)$ 의 유계는 명시적으로 $\gamma(G) \leq 1 + \sum_{2 \leq i \leq m-2} f_{k,\ell}(i)$ 로 표현되며, 여기서 $f_{k,\ell}(i)$ 는 라마지 수에 기반한 재귀적으로 정의된 함수이다.
• $K^{*}_{c+1}$, $S^{*}_{c+1}$, $P_{3c+1}$ 는 최소 장애물이다: 이들이 유도 부분그래프로 존재하면 일정한 지배 수 유계 조건을 만족할 수 없다.
• 이 결과는 $c_1 \gamma(G) \leq \mu(G) \leq c_2 \gamma(G)$ 를 만족하는 모든 불변량 $\mu$ 로도 확장되며, $\mu(G)$ 가 유계임과 동시에 $\mathcal{H} \leq \{K^{*}_k, S^{*}_\ell, P_m\}$ 이어야 한다.
• 증명은 라마지 이론적 유계를 활용한 이웃 지배 추론에 기반하며, $\{K^{*}_k, S^{*}_\ell\}$-free 그래프에서 정점에서 거리 $i$에 있는 독립 집합은 거리 $i-1$에 있는 작은 집합에 의해 지배될 수 있음을 보여준다.
• 특성화는 날카롭다: 만약 $\mathcal{H}$ 가 $\{K^{*}_k, S^{*}_\ell, P_m\}$ 에 의해 지배되지 않는다면, $\mathcal{H}$-free 그래프에서 $\gamma(G)$ 는 무한히 커질 수 있다.