[论文解读] 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性质的多项式界：若不存在一个由k个环组成的集合，其中每个顶点至多出现在四个（分别两个）环中，则存在大小为O(k⁴)（分别O(k⁶)）的反馈顶点集。证明利用了有向树宽和良好连通结构，通过链路解缠和退化性论证实现。

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定理中的非元素界，更好地控制反馈顶点集大小的依赖关系。
• 目标是证明：在环打包中允许顶点的有界重数，可将反馈顶点集大小的界从非元素界改进为多项式界。
• 该研究旨在深化对有向图中环打包与反馈顶点集大小之间结构性权衡的理解。

提出的方法

• 作者使用有向树宽作为结构参数，以控制环打包和反馈顶点集大小。
• 他们应用良好连通性引理，从高树宽图中提取结构化子图。
• 通过引入参数q的交错路径构造，对良好连通集之间的链路进行解缠。
• 当链路交集图的度数超过阈值时，利用退化性论证导出矛盾。
• 证明结合了关于拓扑极小图和链路结构的结果，特别利用了Amiri等人提出的引理2来实现拓扑极小图的包含。
• 对于p=4和p=2，作者采用不同组合的引理，以避免先前结果中出现的二次爆炸。

实验结果

研究问题

• RQ1 当环打包允许每个顶点至多出现在四个环中时，能否为有向Erdős-Pósa性质建立多项式界？
• RQ2 当环打包约束放松为每个顶点至多出现在两个环中时，反馈顶点集大小是否仍保持多项式有界？
• RQ3 通过使用四分之一或二分之一整数打包约束，能否避免经典有向Erdős-Pósa定理中的非元素依赖？
• RQ4 高有向树宽图的何种结构性质使得在有界重数下可获得此类多项式界？
• RQ5 通过使用良好连通性技巧，能否避免先前引理中的二次爆炸？若能，其成立条件为何？

主要发现

• 对于四分之一整数打包（每个顶点至多出现在四个环中），若不存在这样的k个环家族，则存在大小为O(k⁴)的反馈顶点集。
• 对于二分之一整数打包（每个顶点至多出现在两个环中），在相同条件下存在大小为O(k⁶)的反馈顶点集。
• 通过用基于良好连通性的构造替代先前引理，该证明避免了二次爆炸，从而改善了p=4情况下的依赖关系。
• 建立了通用结果：若一个有向图的有向树宽为Ω(a⁶b⁸ log²(ab))，则其包含a个子图，每个子图的有向树宽至少为b，且每个顶点至多出现在四个子图中。
• 作者证明了当p=3时，存在大小为O(k⁵)的反馈顶点集，该结果通过结合p=2和p=4情况的方法获得。
• 结果表明，将不相交性放松为有界重数，可获得多项式界，与经典有向Erdős-Pósa定理中的非元素界形成鲜明对比。