[论文解读] The Partition Spanning Forest Problem

Philipp Kindermann, Boris Klemz+3 more|arXiv (Cornell University)|Sep 7, 2018

Computational Geometry and Mesh Generation参考文献 5被引用 4

一句话总结

本文研究了分割生成森林问题的计算复杂性，该问题的目标是绘制一个无交叉的生成森林，使得每棵树恰好包含一个点的颜色类。当每个颜色类包含最多五个点时，证明该问题是 NP-完全的；但当每个类包含至多三个点时，可在 O(n²) 时间内求解；此外，即使每个类包含四个点，线性森林变体（即每个连通分量为路径）也证明为 NP-完全。

ABSTRACT

Given a set of colored points in the plane, we ask if there exists a crossing-free straight-line drawing of a spanning forest, such that every tree in the forest contains exactly the points of one color class. We show that the problem is NP-complete, even if every color class contains at most five points, but it is solvable in $O(n^2)$ time when each color class contains at most three points. If we require that the spanning forest is a linear forest, then the problem becomes NP-complete even if every color class contains at most four points.

研究动机与目标

• 确定在颜色类大小有界条件下，分割生成森林问题的计算复杂性。
• 研究当每个颜色类包含至多三个或四个点时，该问题是否仍具有可解性。
• 分析生成森林必须为线性森林（即每个连通分量为路径）这一变体的复杂性。
• 通过证明特定参数化情形下的 NP-完全性，建立紧致的复杂性界限。
• 针对每个颜色类至多包含三个点的情形，通过 2-SAT 公式化方法，提供一个多项式时间算法。

提出的方法

• 当每个颜色类包含至多三个点时，将问题公式化为 2-SAT 实例，编码连通性和无交叉约束。
• 利用几何约束和凸包交集，以在变量和导线模块中强制变量真值赋值。
• 构建专用模块——变量模块、导线模块、分叉模块、非门模块和或门模块——以实现从平面 3-SAT 的约化。
• 设计文字模块和或门模块，以在几何绘制背景下模拟逻辑满足。
• 通过证明存在有效几何绘制当且仅当原始平面 3-SAT 公式可满足，来证明约化的正确性。
• 利用平面嵌入和几何可实现性，确保构造中所有约束（无交叉、连通性）均被保持。

实验结果

研究问题

• RQ1 当每个颜色类包含至多三个点时，分割生成森林问题是否可在多项式时间内求解？
• RQ2 当每个颜色类包含至多四个或五个点时，该问题的复杂性如何？
• RQ3 即使每个颜色类包含至多四个点，线性森林变体是否仍为 NP-完全？
• RQ4 能否通过几何模块化方法将该问题约化为平面 3-SAT，同时保持无交叉和连通性约束？
• RQ5 当每个颜色类恰好包含四个点时，该问题的复杂性状态如何？

主要发现

• 当每个颜色类包含至多三个点时，分割生成森林问题可通过 2-SAT 公式化在 O(n²) 时间内求解。
• 当每个颜色类包含至多五个点时，即使点的位置为一般位置，该问题仍为 NP-完全。
• 线性森林变体（即每棵树为路径）即使每个颜色类包含至多四个点，也证明为 NP-完全。
• 当每个颜色类恰好包含四个点时，非线性情形的复杂性仍为开放问题。
• 通过自定义几何模块，实现了从平面 3-SAT 到几何问题的多项式时间约化，从而确立了 NP-完全性。
• 该构造确保存在有效无交叉绘制当且仅当原始平面 3-SAT 公式可满足。