[論文レビュー] Packing Directed Cycles Quarter- and Half-Integrally

Masa\v{r}\'ik, Tom\'a\v{s}, Irene Muzi+3 more|arXiv (Cornell University)|Jul 4, 2019

Advanced Graph Theory Research被引用数 1

ひとこと要約

この論文は、サイクルパッキングの制約を四分の一つおよび半分の整数設定に緩和することにより、有向グラフにおけるErdős-Pósa性質の多項式的境界を確立する。もし各頂点が高々4つ（それぞれ2つ）のサイクルに属するようなk個のサイクルの族が存在しない場合、サイズO(k⁴)（それぞれO(k⁶)）のフィードバック頂点集合が存在する。証明は、有向木幅とwell-linked構造を、リンクの解体と退化性の議論を用いて展開する。

ABSTRACT

The celebrated Erd\H{o}s-P\'osa theorem states that every undirected graph that does not admit a family of $k$ vertex-disjoint cycles contains a feedback vertex set (a set of vertices hitting all cycles in the graph) of size $O(k \log k)$. After being known for long as Younger's conjecture, a similar statement for directed graphs has been proven in 1996 by Reed, Robertson, Seymour, and Thomas. However, in their proof, the dependency of the size of the feedback vertex set on the size of vertex-disjoint cycle packing is not elementary. We show that if we compare the size of a minimum feedback vertex set in a directed graph with the quarter-integral cycle packing number, we obtain a polynomial bound. More precisely, we show that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most four of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^4)$. Furthermore, a variant of our proof shows that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most two of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^6)$. On the way there we prove a more general result about quarter-integral packing of subgraphs of high directed treewidth: for every pair of positive integers $a$ and $b$, if a directed graph $G$ has directed treewidth $\Omega(a^6 b^8 \log^2(ab))$, then one can find in $G$ a family of $a$ subgraphs, each of directed treewidth at least $b$, such that every vertex of $G$ is in at most four subgraphs.

研究の動機と目的

• この論文の目的は、緩和されたパッキング制約の下で、有向Erdős-Pósa性質の多項式的境界を確立することである。
• 四分の一つおよび半分の整数サイクルパッキング数が、古典的有向Erdős-Pósa定理における非要素的境界よりも、フィードバック頂点集合のサイズに良い依存関係をもたらすかどうかを調査する。
• 頂点の多重度を制限することにより、フィードバック頂点集合のサイズに多項式的でない、多項式的境界が得られることを示すことが目的である。
• 有向グラフにおけるサイクルパッキングとフィードバック頂点集合サイズの間の構造的トレードオフの理解を深めることを目的とする。

提案手法

• 著者たちは、サイクルパッキングとフィードバック頂点集合のサイズを制御するための構造的パラメータとして、有向木幅を用いる。
• 高木幅を持つグラフから構造的サブグラフを抽出するために、well-linked性に関する補題を適用する。
• well-linked集合間のリンクを、パラメータqを用いた入れ違いパス構成により解体する。
• リンクの交差グラフの次数が閾値を超えると、退化性の議論により矛盾を導く。
• 証明は、トポロジカルマイナーとリンク構造に関する結果を組み合わせており、特にAmiriらの補題2を用いてトポロジカルマイナーの包含を活用する。
• p=4およびp=2の場合、異なる補題の組み合わせを用いて、先行研究の2次的吹き上がりを回避する形でフィードバック頂点集合のサイズを上限づける。

実験結果

リサーチクエスチョン

• RQ1 各頂点が高々4つのサイクルに属するようなパッキングを許容する場合、有向Erdős-Pósa性質に対して多項式的境界を確立できるか？
• RQ2 各頂点が高々2つのサイクルに属するパッキング制約に緩和された場合、フィードバック頂点集合のサイズは多項式的境界で保たれるか？
• RQ3 四分の一つまたは半分の整数パッキング制約を用いることで、古典的有向Erdős-Pósa定理における非要素的依存関係を回避できるか？
• RQ4 高有向木幅を持つグラフのどのような構造的性質が、多重度制限の下でこのような多項式的境界を可能にするか？
• RQ5 well-linked性のテクニックを用いることで、先行の補題における2次的吹き上がりを回避できるか、その条件は何か？

主な発見

• 四分の一つの整数パッキング（各頂点が高々4つのサイクルに属する）の場合、このようなk個のサイクル族が存在しない限り、サイズO(k⁴)のフィードバック頂点集合が存在する。
• 半分の整数パッキング（各頂点が高々2つのサイクルに属する）の場合、同じ条件下でサイズO(k⁶)のフィードバック頂点集合が存在する。
• 先行の補題の2次的吹き上がりを回避するために、well-linked性に基づく構成に置き換えることで、p=4の場合の依存関係が改善された。
• 一般化された結果が得られた：有向グラフが有向木幅Ω(a⁶b⁸ log²(ab))をもつならば、各々が有向木幅少なくともbであるa個の部分グラフの族を含み、各頂点は高々4つの部分グラフに属する。
• p=3の場合、p=2とp=4のアプローチを組み合わせることで、サイズO(k⁵)のフィードバック頂点集合が存在することが示された。
• 結果は、非交差性を多重度制限に緩和することで多項式的境界が得られることを示しており、古典的有向Erdős-Pósa定理における非要素的境界とは対照的である。