[论文解读] A Modification of the Sarkar-Wang Algorithm and an Analysis of its Computational Complexity

Jonathan Hales, Dmytro Karabash+1 more|ArXiv.org|Nov 28, 2007

Geometric and Algebraic Topology参考文献 1被引用 3

一句话总结

本文通过在手柄附加和区域简化后将Heegaard距离减少至1，对计算Heegaard Floer纽结同调的帽版本（$ widehat{HFK}$）的Sarkar-Wang算法进行了修改，实现了$O(v^{15g})2^{O(g)}$的时间复杂度，其中$v$为顶点数，$g$为亏格。在关于纽结图构造的某些猜想下，该改进算法的运行速度可能快于Manolescu-Ozsváth-Sarkar算法。

ABSTRACT

The Sarkar-Wang algorithm computes the hat version of the Heegaard Floer homology of a closed oriented three manifold. This paper analyzes the computational complexity of the Sarkar-Wang algorithm; then the algorithm is modified to obtain a better bound. Then the computational complexity of calculating HFK hat from a Heegaard diagram by means of the modified Sarkar-Wang algorithm is also analyzed. Under certain assumptions it is shown that the modified Sarkar-Wang algorithm is faster than the Manolescu-Ozsvath-Sarkar algorithm.

研究动机与目标

• 分析并改进从Heegaard图计算$\nwidehat{HFK}$的Sarkar-Wang算法的时间复杂度。
• 通过手柄附加和区域简化，将图的Heegaard距离减少至1，以实现更高效的计算。
• 证明在关于纽结图构造的合理猜想下，改进后的算法在时间复杂度上优于Manolescu-Ozsváth-Sarkar算法。

提出的方法

• 步骤1：使用指形移动消除不包含基点$z$或$w$的二边形。
• 步骤2：通过附加手柄来减少劣度并简化图，从而消除非圆盘区域。
• 步骤3：通过在所有劣区域附加手柄，将Heegaard距离减少至1，确保所有通往$Z$的路径最多穿过一条$\beta$-曲线。
• 步骤4：应用修改后的Sarkar-Wang过程，将图转化为劣度为零的优美图。
• 使用修改后的算法计算$\partial\partial_{\alpha}^{-1}$、相对亚历山大和马索洛夫分次，以及同调计算所需的微分。
• 通过追踪每一步骤中的顶点增长和亏格增加，对总时间复杂度进行界定，最终得出$O(v^{15g})2^{O(g)}$的时间复杂度。

实验结果

研究问题

• RQ1 通过修改图的约化过程，能否降低Sarkar-Wang算法在计算$\nwidehat{HFK}$时的时间复杂度？
• RQ2 通过手柄附加将Heegaard距离减少至1，是否能显著提升算法效率？
• RQ3 在何种条件下，改进后的Sarkar-Wang算法在时间复杂度上优于Manolescu-Ozsváth-Sarkar算法？
• RQ4 能否在多项式时间内，以$O(k)$个顶点构造出亏格为$\tau+1$的Heegaard图（其中$k$为纽结的交叉数），该图对应于隧道数为$\tau$的纽结？
• RQ5 对于隧道数有界的纽结，改进后的Sarkar-Wang算法是否在渐近意义上快于Manolescu-Ozsváth-Sarkar算法？

主要发现

• 改进后的Sarkar-Wang算法可将亏格为$g$、具有$v$个顶点的Heegaard图转化为优美图，其顶点数最多为$v' = v2^{O(g)}$。
• 使用改进算法计算优美图的时间为$O(v')$，该时间在最终图的顶点数上为多项式时间。
• 使用改进算法计算$\nwidehat{HFK}$的总时间复杂度被界定为$O(v^{15g})2^{O(g)}$，其中$v$为初始顶点数，$g$为亏格。
• 在猜想1（即对于隧道数为$\tau$、交叉数为$k$的纽结，可在$2^{O(k)}$时间内构造出具有$2^{O(k)}$个顶点的亏格$\tau+1$图）下，该算法的运行时间为$2^{O(k)}$。
• 在猜想2（即此类图可在$O(k)$时间内构造）下，该算法以$k$的多项式时间计算$\nwidehat{HFK}$，从而快于运行时间为$2^{O(k\log k)}$的Manolescu-Ozsváth-Sarkar算法。