[논문 리뷰] Online Paintability: The Slow-Coloring Game

Thomas A. Mahoney, Gregory J. Puleo외 1명|arXiv (Cornell University)|2015. 07. 23.

Graph Labeling and Dimension Problems참고 문헌 11인용 수 3

한 줄 요약

이 논문은 Lister가 점수를 극대화하기 위해 정점을 표시하고, Painter가 독립집합을 칠하여 점수를 최소화하는 온라인 그래프 색칠 게임인 스로우-컬러링 게임을 도입한다. 저자들은 $\overline{s}(G)$의 합색비용에 대한 날카운 경계를 확립하고, $n$-정점 트리 중에서 별이 최소화되고 경로가 최대화함을 증명하며, 완전 이분 그래프 $K_{r,s}$에 대해 정확한 값과 점점 가까워지는 경계를 제공한다. 특히 $\operatorname{\mathaccent 23{s}}(K_{r,r}) \sim 4r$를 포함한다. 주요 기여는 기존의 온라인 합리스트 색칠과 칠 수 있는 성질을 일반화한 재귀 공식과 날카운 경계이다.

ABSTRACT

The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the uncolored vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter and Lister want to minimize and maximize the total score, respectively. The best score that each player can guarantee is the sum-color cost of $G$, written $\mathring{\mathrm{s}}(G)$. The game is an online variant of online sum list coloring. We proe $\frac{|V(G)|}{2α(G)} + \frac{1}{2} \leq \frac{\mathring{\mathrm{s}}(G)}{|V(G)|} \leq \max\left\{ \frac{|V(H)|}{α(H)} : H \subset G ight\}$, where $α(G)$ is the independence number, and we study when equality holds in the bounds. We compute $\mathring{\mathrm{s}}(G)$ for graphs with $α(G) = 2$. Among $n$-vertex graphs, we prove that $\mathring{\mathrm{s}}$ is minimized by the star and maximized by the path. We also obtain good bounds on $\mathring{\mathrm{s}}(K_{r,s})$.

연구 동기 및 목표

• 온라인 합리스트 색칠과 $f$-칠 수 있는 게임의 온라인 변형으로서 스로우-컬러링 게임을 정의하고 분석한다.
• 최적의 플레이 하에서 양 플레이어가 확보할 수 있는 합색비용 $\operatorname{\mathaccent 23{s}}(G)$를 결정한다.
• 독립수와 부분그래프 구조에 따라 $\operatorname{\mathaccent 23{s}}(G)$에 대한 날카운 상한과 하한을 유도한다.
• $\alpha(G) = 2$인 그래프, 트리, 완전 이분 그래프 $K_{r,s}$에 대해 $\operatorname{\mathaccent 23{s}}(G)$를 계산한다.

제안 방법

• 재귀 공식 제안: $\operatorname{\mathaccent 23{s}}(G) = \max_{\emptyset \neq M \subseteq V(G)} \left( |M| + \min \, \operatorname{\mathaccent 23{s}}(G - I) \right) $, 여기서 $I \subseteq M$은 독립집합이다.
• 수학적 귀납법과 케이스 분석을 통해 $\operatorname{\mathaccent 23{s}}(K_{r,s})$에 대한 하한을 증명하며, 더 큰 부분과 더 작은 부분에 있는 정점을 표시하는 전략을 사용한다.
• 소규모 그래프의 재귀 계산과 수치적 탐색을 통해 상한을 확립하고, $\operatorname{\mathaccent 23{s}}(K_{r,r}) = 4r - \sqrt{r} - \log_3 r + O(1)$라는 추측을 이끌어낸다.
• 기존의 합선택 가능성과 칠 수 있는 성질에 대한 결과를 활용하여 $\operatorname{\mathaccent 23{s}}(G)$를 $\chi_{\mathrm{SC}}(G)$와 $\chi_{\mathrm{SP}}(G)$와 연결하며, $\operatorname{\mathaccent 23{s}}(G) \leq \chi_{\mathrm{SP}}(G)$임을 보여준다.
• 극한 그래프 분석: $n$-정점 트리 중에서 별이 $\operatorname{\mathaccent 23{s}}(G)$를 최소화하고 경로가 최대화함을 증명한다.
• 임계 함수 $J = i\sqrt{r/s}$를 사용하여 $K_{r,s}$에 대한 상한을 검증하는 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 독립수 $\alpha(G) = 2$인 그래프에 대해 합색비용 $\operatorname{\mathaccent 23{s}}(G)$는 무엇인가?
• RQ2 $n$-정점 트리에 대해 $\operatorname{\mathaccent 23{s}}(G)$는 어떻게 행동하며, 어떤 트리가 최소화되고 최대화하는가?
• RQ3 $\operatorname{\mathaccent 23{s}}(K_{r,s})$에 대한 날카운 상한과 하한은 무엇이며, 그 점점 가까워지는 행동은 어떻게 되는가?
• RQ4 스로우-컬러링 게임은 합선택 가능성과 합칠 수 있는 성질과 어떻게 관련되어 있으며, $\operatorname{\mathaccent 23{s}}(G) \leq \chi_{\mathrm{SP}}(G)$의 함의는 무엇인가?
• RQ5 합색비용은 재귀적으로 계산될 수 있는가? 그리고 Lister와 Painter의 최적 전략의 구조는 어떠한가?

주요 결과

• 모든 $n$-정점 트리 중에서, 별이 $\operatorname{\mathaccent 23{s}}(G)$를 최소화하고 경로가 최대화되며, 동일한 순서의 모든 트리 중에서 가장 높은 점수를 기록한다.
• $K_{r,r}$의 합색비용은 $\operatorname{\mathaccent 23{s}}(K_{r,r}) \leq 4r$를 만족하며, 계산 데이터는 $\operatorname{\mathaccent 23{s}}(K_{r,r}) = 4r - \sqrt{r} - \log_3 r + O(1)$를 지지한다. 이는 $\operatorname{\mathaccent 23{s}}(K_{r,r}) \sim 4r$라는 추측을 뒷받침한다.
• $r \geq s \geq 1$인 $K_{r,s}$에 대해 하한 $\operatorname{\mathaccent 23{s}}(K_{r,s}) \geq r + \frac{5s - 3}{2} + u_{r-s}$가 성립하며, 여기서 $u_t = \left\lfloor \frac{-1 + \sqrt{8t + 1}}{2} \right\rfloor$이며, 작은 경우에 등호가 성립한다.
• 합색비용은 $\frac{|V(G)|}{2\alpha(G)} + \frac{1}{2} \leq \frac{\operatorname{\mathaccent 23{s}}(G)}{|V(G)|} \leq \max_{H \subseteq G} \frac{|V(H)|}{\alpha(H)}$를 만족하며, 등호 조건을 분석한다.
• 스로우-컬러링 게임은 Lister에게 $f$-칠 수 있는 게임보다 엄격히 강력하다. $\operatorname{\mathaccent 23{s}}(G) \leq \chi_{\mathrm{SP}}(G)$이지만, $\chi_{\mathrm{SC}}(G) \leq \chi_{\mathrm{SP}}(G)$이며, $\chi_{\mathrm{SC}}(G)$는 $\operatorname{\mathaccent 23{s}}(G)$보다 엄격히 작을 수 있어, 게임이 항상 합선택 가능성과 동일하지 않음을 보여준다.
• $K_{3,3}$의 정확한 합색비용은 $\operatorname{\mathaccent 23{s}}(K_{3,3}) = 10$이며, 이는 하한 비율을 $3$에서 $10/3 \approx 3.33$으로 향상시키며, 점점 가까워지는 경계가 $4r$에 수렴함을 시사한다.