[논문 리뷰] Domination games played on line graphs of complete multipartite graphs

Hovhannes G. Tananyan|arXiv (Cornell University)|2014. 05. 01.

Advanced Graph Theory Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 완전 다중부분 그래프의 선 그래프에 대한 정확한 게임 지배 수를 결정하며, 지배자 시작 및 스탤러 시작 게임에 대한 닫힌 형식의 공식을 제공한다. 지배자와 스탤러 양측에 대한 최적 전략을 도출하기 위해 완전 다중부분 그래프에서의 간선 지배의 구조적 분석을 사용한다. 주요 결과로는 게임 지배 수가 정점 수와 부분 집합 크기에 따라 달라지며, 특히 두 번째로 큰 부분 집합의 역할이 강조됨을 보여준다.

ABSTRACT

The domination game on a graph $G$ (introduced by B. Brešar, S. Klavžar, D.F. Rall \cite{BKR2010}) consists of two players, Dominator and Staller, who take turns choosing a vertex from $G$ such that whenever a vertex is chosen by either player, at least one additional vertex is dominated. Dominator wishes to dominate the graph in as few steps as possible, and Staller wishes to delay this process as much as possible. The game domination number $γ_{\small g}(G)$ is the number of vertices chosen when Dominator starts the game; when Staller starts, it is denoted by $γ_{\small g}^{\prime }(G).$ In this paper, the domination game on line graph $L\left( K_{\overline{m}} ight) $ of complete multipartite graph $K_{\overline{m}}$ $(\overline{m}\equiv (m_{1},...,m_{n})\in \mathbb{N} ^{n})$ is considered, the exact values for game domination numbers are obtained and optimal strategy for both players is described. Particularly, it is proved that for $m_{1}\leq m_{2}\leq ...\leq m_{n}$ both $γ_{\small g}\left( L\left( K_{\overline{m}} ight) ight) =\min \left\{ \left\lceil \frac{2}{3}\left\vert V\left( K_{\overline{m}} ight) ight\vert ight ceil , ight.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1} ight) ight ceil , ext{ }m_{n-1} ight\} ight\} -1$ when $n\geq 2$ and $γ_{g}^{\prime }(L\left( K_{\overline{m}} ight) )=\min \left\{ \left\lceil \frac{2}{3}\left( \left\vert V(K_{_{\overline{m}}}) ight\vert -2 ight) ight ceil , ight.$ $\left. 2\max \left\{ \left\lceil \frac{1}{2}\left( m_{1}+...+m_{n-1}-1 ight) ight ceil , ext{ }m_{n-1} ight\} ight\} $ when $n\geq 4$.

연구 동기 및 목표

• 완전 다중부분 그래프의 선 그래프에 대한 게임 지배 수의 정확한 값을 결정하는 것.
• 이 그래프에서 지배 게임에 대한 지배자와 스탤러의 최적 전략을 특성화하는 것.
• 지배자 시작 및 스탤러 시작 게임 지배 수에 대한 닫힌 형식의 표현식을 수립하는 것.
• 완전 다중부분 그래프에서 간선 지배의 구조적 성질을 분석하여 날카운 경계를 도출하는 것.
• 매칭 및 지배 분석을 통해 스탤러의 반-그리디 전략의 최적성을 증명하는 것.

제안 방법

• 논문은 완전 다중부분 그래프의 구조적 분해를 사용하고, 그 선 그래프에서의 간선 지배를 분석한다.
• 최대 독립 집합에 속하는 정점에 인접한 간선을 우선순위로 하는 반-그리디 전략을 스탤러에게 도입한다.
• 최대 매칭과 정점 커버 분석을 통해 상한과 하한을 조합하여 게임 지배 수를 유도한다.
• 정점들을 제거하고 분석함으로써 재귀적 감소를 통해 점화식을 도출한다.
• 그래프의 간선 게임 지배 수가 그 선 그래프의 정점 게임 지배 수와 같다는 항등식을 적용한다.
• 주요 공식은 부분 집합 크기의 합과 그 조합에 대해 최대값과 올림 함수를 사용하여 유도된다.

실험 결과

연구 질문

• RQ1 지배자가 먼저 수를 두는 경우, 완전 다중부분 그래프 $ K_{\bar{m}} $의 선 그래프에 대한 게임 지배 수의 정확한 값은 무엇인가요?
• RQ2 스탈러 시작 게임의 지배 수는 어떻게 다를까요? 그 값은 무엇에 의해 결정되나요?
• RQ3 이 그래프에서 지배 게임에 대해 두 플레이어 모두에 대한 최적 전략을 공식적으로 기술할 수 있나요?
• RQ4 두 번째로 큰 부분 집합의 크기가 게임 지배 수를 결정하는 데 어떤 역할을 하나요?
• RQ5 반-그리디 전략은 스탤러에게 최적일까요? 순수 그리디 접근 방식과 비교해 봤을 때 어떻게 다를까요?

주요 결과

• 완전 다중부분 그래프 $ K_{\bar{m}} $의 선 그래프에 대한 게임 지배 수는 $ \gamma_g(L(K_{\bar{m}})) = \min\left\{ \left\lceil \frac{2}{3}|V(K_{\bar{m}})| \right\rceil, \; 2\max\left\{ \left\lceil \frac{1}{2}(m_1+\cdots+m_{n-1}) \right\rceil, \; m_{n-1} \right\} \right\} - 1 $ 이다. 여기서 $ m_1 \leq \cdots \leq m_n $ 이고 $ n \geq 2 $ 이다.
• 스탈러 시작 게임에 대해 $ n \geq 4 $ 인 $ L(K_{\bar{m}}) $ 에서의 게임 지배 수는 $ \gamma_g'(L(K_{\bar{m}})) = \min\left\{ \left\lceil \frac{2}{3}(|V(K_{\bar{m}})|-2) \right\rceil, \; 2\max\left\{ \left\lceil \frac{1}{2}(m_1+\cdots+m_{n-1}-1) \right\rceil, \; m_{n-1} \right\} \right\} $ 이다.
• 스탈러의 반-그리디 전략이 최적임을 증명하였으며, 최대 독립 집합을 우선순위로 하는 순수 그리디 전략보다 뛰어난 성능을 보였다.
• 만약 $ m_{n-1} = m_n $ 이면, 스탤러 시작 게임 수식은 대칭성을 반영하기 위해 $ \mu $ 와 $ \eta $ 를 포함한 조정이 이루어진다.
• 결과적으로 게임 지배 수는 전반적인 정점 수와 局소적인 부분 집합 크기 제약 조건의 조합에 의해 날카롭게 경계됨을 보여주었다.
• 논문은 $ \gamma_{e,g}(G) = \gamma_g(L(G)) $ 를 확인하였으며, 선 그래프에서 간선 지배 게임과 정점 지배 게임 간의 등가성을 검증하였다.