[论文解读] Parameterized Complexity of the $k$-Arc Chinese Postman Problem

Gregory Gutin, Mark Jones+1 more|arXiv (Cornell University)|Mar 6, 2014

Advanced Graph Theory Research参考文献 13被引用 8

一句话总结

本文证明了当以弧的数量 $k$ 为参数时，$k$-弧中国邮路问题（k-arc CPP）是固定参数可追踪的（fixed-parameter tractable），解决了 van Bevern 等人提出的一个开放问题。作者通过一种基于 Marx、O'Sullivan 和 Razgon 结果的小割类比的新树分解技术，将 k-arc CPP 归约到平衡中国邮路问题（BCPP），从而实现了一种尽管树宽无界但仍可在 FPT 时间内运行的动态规划方法。

ABSTRACT

In the Mixed Chinese Postman Problem (MCPP), given an edge-weighted mixed graph $G$ ($G$ may have both edges and arcs), our aim is to find a minimum weight closed walk traversing each edge and arc at least once. The MCPP parameterized by the number of edges was known to be fixed-parameter tractable using a simple argument. Solving an open question of van Bevern et al., we prove that the MCPP parameterized by the number of arcs is also fixed-parameter tractable. Our proof is more involved and, in particular, uses a well-known result of Marx, O'Sullivan and Razgon (2013) on the treewidth of torso graphs with respect to small separators. We obtain a small cut analog of this result, and use it to construct a tree decomposition which, despite not having bounded width, has other properties allowing us to design a fixed-parameter algorithm.

研究动机与目标

• 解决 van Bevern 等人于 2014 年提出的开放问题：混合中国邮路问题在以弧的数量 $k$ 为参数时是否为固定参数可追踪的？
• 开发一种针对 $k$-弧 CPP 的固定参数算法，克服以往基于边替换方法的局限性。
• 构建一种具有特定结构特性的树分解，使得即使树宽无界，也能支持动态规划。
• 将 $k$-弧 CPP 归约到带顶点不平衡需求函数的平衡中国邮路问题（BCPP）。
• 证明在特定连通性条件下，BCPP 是固定参数可追踪的，从而实现整体的 FPT 结果。

提出的方法

• 通过在顶点不平衡上引入需求函数，将 $k$-弧 CPP 归约到平衡中国邮路问题（BCPP），将弧转化为平衡约束。
• 利用 Marx、O'Sullivan 和 Razgon 结果的小割类比，分析具有小分隔符的躯干图（torso graphs），从而对图中的割实现结构控制。
• 构建一种树分解，其宽度不具界，但满足动态规划所需的平衡性和连通性关键属性。
• 在树分解上应用动态规划，其中每个节点存储由顶点不平衡函数 $t^*$ 和奇偶性函数 $h^*$ 定义的部分解。
• 对于树分解中的每个合并节点，通过检查不平衡与奇偶性上的一致性条件，组合子树中的解，确保通过递归约束保持正确性。
• 利用参数 $k$ 对每个节点可能的状态数进行界控，确保总状态数为 $k$ 的函数乘以 $n$ 的多项式。

实验结果

研究问题

• RQ1 当以弧的数量 $k$ 为参数时，混合中国邮路问题是否为固定参数可追踪的？
• RQ2 $k$-弧 CPP 是否可归约到一类即使在树宽无界时也允许动态规划的问题类别？
• RQ3 Marx–O’Sullivan–Razgon 结果的小割类比是否能为 $k$-弧 CPP 提供有效的分解？
• RQ4 在连通性约束下，平衡中国邮路问题（BCPP）是否可在固定参数时间内求解？
• RQ5 当用无向边替换弧时，是否存在一种方法可保持 FPT 运行时间，即使这种替换不保持解的结构？

主要发现

• $k$-弧中国邮路问题为固定参数可追踪，解决了 van Bevern 等人于 2014 年提出的一个开放问题。
• 作者建立了 Marx、O'Sullivan 和 Razgon 结果的小割类比，从而实现了对图中较小分隔符的结构控制。
• 构建了一种树分解，其宽度无界，但可通过顶点不平衡与奇偶性函数支持动态规划。
• 动态规划表中的状态数被界为 $k$ 的函数乘以 $n$ 的多项式，确保了固定参数可追踪性。
• 从 $k$-arc CPP 到 BCPP 的归约是正确的，并保持了解的最优性，从而可在连通性假设下使用已知的 BCPP 算法。
• 整体算法的运行时间为 $f(k) imes n^{O(1)}$，其中 $f$ 为某个可计算函数，从而证明了 $k$-弧 CPP 的固定参数可追踪性。