[論文レビュー] On distance r-dominating and 2r-independent sets in sparse graphs

Zdenĕk Dvořák|arXiv (Cornell University)|Oct 27, 2017

Advanced Graph Theory Research参考文献 7被引用数 3

ひとこと要約

この論文は、線形計画法の双対性とグラフの拡張技術を用いて、スパースなグラフにおける距離 $r$-支配集合と $2r$-独立集合の間の tighter な境界を確立する。$\gamma_r(G)/\alpha_{2r}(G)$ の比が $\text{wcol}_r^2(G)$ で有界であることを証明し、先行研究を改善し、有界拡張性または低次数の向き付けを持つグラフにおいて定数乗数近似アルゴリズムの実現を可能にする。

ABSTRACT

Dvorak (2013) gave a bound on the minimum size of a distance r dominating set in the terms of the maximum size of a distance 2r independent set and generalized coloring numbers, thus obtaining a constant factor approximation algorithm for the parameters in any class of graphs with bounded expansion. We improve and clarify this dependence using an LP-based argument inspired by the work of Bansal and Umboh (2017).

研究の動機と目的

• スパースなグラフにおける距離 $r$-支配集合と $2r$-独立集合の関係をより深く理解すること。
• 線形計画法に基づく議論を用いて、$\gamma_r(G)$ と $\alpha_{2r}(G)$ 間の依存関係を洗練・明確化すること。
• 有界拡張性または低次数の向き付けを持つグラフクラスにおける $\gamma_r(G)$ のよりtightな近似保証を確立すること。
• 弱彩色数とグラフの拡張を用いて、スパースグラフにおける支配と独立の先行結果を一般化すること。

提案手法

• 距離 $r$-支配集合問題と $2r$-独立集合問題の間の線形計画法の双対性を活用し、$\alpha^\star_{2r}(G) = \gamma^\star_r(G)$ を示す。
• 距離制約をモデル化し、双対線形計画法における近傍サイズを制御するために、グラフ $G$ の $r$-拡張を導入する。
• 頂点の向き付けと次数制御を用いて、$2r$-独立集合を $(2r,b)$-独立集合に変換する変換を適用する。
• $(2r,b)$-独立集合の誘導部分グラフに彩色論法を適用し、サイズが少なくとも $|Y|/(2b\Delta_{2r}(\widehat{G}))$ である $2r$-独立部分集合を抽出する。
• 弱彩色数と次数パラメータを介して、$\gamma_r(G)$、$\alpha_{2r}(G)$、$\alpha_{2r,b}(G)$ を結ぶ不等式の連鎖を確立する。
• 弱彩色数 $\text{wcol}_k(G)$ を用いた枠組みを適用し、有界拡張性や低森林被覆性グラフからの結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 弱彩色数のようなスパarsityパラメータを用いて、比 $\gamma_r(G)/\alpha_{2r}(G)$ をどのように有界化できるか。
• RQ2 線形計画法に基づく技術は、スパースグラフにおける距離 $r$-支配集合の既存の近似因子を改善できるか。
• RQ3 グラフの拡張下で、$2r$-独立集合と $(2r,b)$-独立集合の関係は何か。
• RQ4 弱彩色数と向き付けに基づくパラメータは、$\gamma_r(G)$ の近似にどのように影響するか。
• RQ5 $\gamma_r(G) \leq \text{wcol}_{2r}^2(G) \cdot \alpha_{2r}(G)$ の境界は、構造的グラフパラメータを用いてさらにtightにできるか、一般化できるか。

主な発見

• 論文は $\gamma_r(G) \leq \text{wcol}_r^2(G) \cdot \alpha_{2r}(G)$ を確立し、Dvořák の以前の境界を改善した。
• 線形計画法の緩和の正確な計算が多項式時間で可能であることを示し、$\alpha^\star_{2r}(G) = \gamma^\star_r(G)$ を証明した。
• 最大入次数 $d$ の向き付けを持つ任意のグラフ $G$ に対して、$\frac{1}{2d+1}\gamma(G) \leq \alpha^\star_2(G)$ が成り立つことを示し、既知の結果を一般化した。
• $b = (\Delta_{r-1}(\widehat{G})+1)\Delta_r(\widehat{G}) - \Delta_{r-1}(\widehat{G})$ のとき、$\alpha_{2r,b}(G) \geq \alpha^\star_{2r}(G)/2$ を示し、定数乗数近似を可能にした。
• $\alpha_{2r}(G) \geq \frac{1}{2b\Delta_{2r}(\widehat{G})} \alpha_{2r,b}(G)$ を導出し、$2r$-独立集合と $(2r,b)$-独立集合の関係を結んだ。
• 最終的な不等式の連鎖により、$\gamma_r(G) \leq 4\text{wcol}_r^2(G)\text{wcol}_{2r}(G) \cdot \alpha_{2r}(G)$ を得た。これは、有界拡張性クラスにおいてtightな近似因子を提供する。