[论文解读] Deterministic Parameterized Algorithms for Matching and Packing Problems

Meirav Zehavi|arXiv (Cornell University)|Nov 3, 2013

Optimization and Packing Problems参考文献 1被引用 11

一句话总结

本论文提出了加权 $q$-维 $p$-匹配（(q,p)-WDM）和加权 $q$-集合 $p$-打包（(q,p)-WSP）的确定性参数化算法，实现了更优的时间复杂度：(q,p)-WDM 为 $O^{*}(2.85043^{(q-1)p})$，无权 (3,p)-WDM 为 $O^{*}(8.04143^p)$，(q,p)-WSP 为 $O^{*}((0.56201 \cdot 2.85043^q)^p)$。此外，还提出了一种大小为 $O(e^q q(p-1)^q)$ 的核，优于先前的 $O(q! q(p-1)^q)$ 上界。

ABSTRACT

We present three deterministic parameterized algorithms for well-studied packing and matching problems, namely, Weighted q-Dimensional p-Matching ((q,p)-WDM) and Weighted q-Set p-Packing ((q,p)-WSP). More specifically, we present an O*(2.85043^{(q-1)p}) time deterministic algorithm for (q,p)-WDM, an O*(8.04143^p) time deterministic algorithm for the unweighted version of (3,p)-WDM, and an O*((0.56201\cdot 2.85043^q)^p) time deterministic algorithm for (q,p)-WSP. Our algorithms significantly improve the previously best known O* running times in solving (q,p)-WDM and (q,p)-WSP, and the previously best known deterministic O* running times in solving the unweighted versions of these problems. Moreover, we present kernels of size O(e^qq(p-1)^q) for (q,p)-WDM and (q,p)-WSP, improving the previously best known kernels of size O(q!q(p-1)^q) for these problems.

研究动机与目标

• 为加权 $q$-维 $p$-匹配（(q,p)-WDM）和加权 $q$-集合 $p$-打包（(q,p)-WSP）问题设计更快速的确定性参数化算法。
• 在确定性环境下，改进此前已知的 $O^{*}$ 时间复杂度上界，尤其针对 (q,p)-WDM 和 (q,p)-WSP 问题。
• 为 (q,p)-WDM 和 (q,p)-WSP 提供更紧致的核化上界，将大小从 $O(q! q(p-1)^q)$ 降低至 $O(e^q q(p-1)^q)$。
• 在无权 (3,p)-WDM 情况下实现显著的运行时间优化，将指数底数从 8.125 降低至 8.04143。

提出的方法

• 基于新颖的递归分解与基于权重的剪枝，设计 (q,p)-WDM 的确定性算法，实现 $O^{*}(2.85043^{(q-1)p})$ 的运行时间。
• 通过利用结构约束，优化无权 (3,p)-WDM 情况下的算法，得到 $O^{*}(8.04143^p)$ 的运行时间。
• 通过保持最优权重和的变换，将该方法扩展至 (q,p)-WSP，得到 $O^{*}((0.56201 \cdot 2.85043^q)^p)$ 时间的算法。
• 提出一种核化算法（WDM-Ker），通过基于权重与互不相交约束选择代表性元组，将输入规模减少至 $O(e^q q(p-1)^q)$。
• 通过小幅修改（WSP-Ker），将 WDM-Ker 适配至 (q,p)-WSP，保持相同的核大小与正确性保证。
• 使用递归引理证明：原始实例中的任意最优解在核化实例中均对应一个权重至少相等的解。

实验结果

研究问题

• RQ1 在确定性环境下，(q,p)-WDM 的 $O^{*}$ 运行时间能否超越此前最优的 $O^{*}(4^{(q-1)p+o(qp)})$？
• RQ2 能否为 (q,p)-WDM 和 (q,p)-WSP 实现更紧致的核大小，将对 $q!$ 的依赖降低至 $e^q$？
• RQ3 能否在无权 (3,p)-WDM 情况下，进一步优化运行时间，超越已知的确定性上界？
• RQ4 该算法框架能否被扩展至 (q,p)-WSP，并实现显著改进的 $O^{*}$ 时间复杂度？

主要发现

• 本论文提出了一种 (q,p)-WDM 的确定性算法，运行时间为 $O^{*}(2.85043^{(q-1)p})$，优于此前确定性算法的最优上界 $O^{*}(4^{(q-1)p+o(qp)})$。
• 对于无权 (3,p)-WDM 问题，该算法的运行时间为 $O^{*}(8.04143^p)$，显著优于先前确定性上界 $O^{*}(8.125^p)$。
• 为 (q,p)-WSP 开发了 $O^{*}((0.56201 \cdot 2.85043^q)^p)$ 时间的确定性算法，优于此前的确定性上界。
• 本论文为 (q,p)-WDM 和 (q,p)-WSP 提出了大小为 $O(e^q q(p-1)^q)$ 的核，优于先前的 $O(q! q(p-1)^q)$ 上界。
• 核化算法 WDM-Ker 的运行时间为 $O([ ext{min}(|{rak S}|, e^q (p-1)^q)]^{ ilde{w}-1} |{rak S}| q^2 log|igcup U|)$，确保了正确性与规模上界。
• 理论分析证实：原始实例中的任意最优解在核化实例中均存在一个权重相等或更大的对应解，从而保持了最优性。