[論文レビュー] Online Paintability: The Slow-Coloring Game

Thomas A. Mahoney, Gregory J. Puleo+1 more|arXiv (Cornell University)|Jul 23, 2015

Graph Labeling and Dimension Problems参考文献 11被引用数 3

ひとこと要約

本稿では、スローカラーイングゲームを導入し、リストラーがスコアを最大化するように頂点をマークし、ペインターが独立集合を彩色してスコアを最小化するオンライングラフ彩色ゲームを提示する。著者らは、和彩色コスト $\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 和彩色コストは再帰的に計算可能か？ リストラーおよびペインターの最適戦略の構造は？

主な発見

• $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)}$ を満たし、等号条件を分析した。
• スローカラーイングゲームはリストラーにとって $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$ に近づく漸近的境界を示唆している。