[論文レビュー] Polygon Containment and Translational Min-Hausdorff-Distance between Segment Sets are 3SUM-Hard

Gill Barequet, Sariel Har-Peled|ArXiv.org|Dec 16, 2025

Computational Geometry and Mesh Generation参考文献 3被引用数 8

ひとこと要約

本論文は、いくつかの多角形包含問題とHausdorff距離の問題が3SUM-hardであることを、3SUM’から区間、線分、多角形包含、距離問題への翻訳・回転・剛体運動下の一連の還元によって示している。

ABSTRACT

The 3SUM problem represents a class of problems conjectured to require $Ω(n^2)$ time to solve, where $n$ is the size of the input. Given two polygons $P$ and $Q$ in the plane, we show that some variants of the decision problem, whether there exists a transformation of $P$ that makes it contained in $Q$, are 3SUM-Hard. In the first variant $P$ and $Q$ are any simple polygons and the allowed transformations are translations only; in the second and third variants both polygons are convex and we allow either rotations only or any rigid motion. We also show that finding the translation in the plane that minimizes the Hausdorff distance between two segment sets is 3SUM-Hard.

研究の動機と目的

• 標準仮説の下で幾何学的問題を3SUM-hardとして動機づけ、分類する。
• 翻訳下の区間包含、線分包含、多角形包含、およびHausdorff-distanceが3SUM-hard性を継承することを示す。
• 回転または剛体運動の下で凸多角形にも3SUM-hard性を拡張する。
• 3SUM’のインスタンスを、同程度のサイズの幾何学的インスタンスへ写像する構成的還元を提供する。

提案手法

• 3SUM-hard性フレームワークと代表的な問題（3SUMと3SUM’）を導入する。
• 3SUM’を実数直線上のEqual DistanceとSeg ContPntへ、区間と点/線分の構成を介して還元する。
• Seg ContPntを、 comb constructionsと平面への埋め込みを用いて翻訳下のPolygon Containmentへ還元する。
• 円弧写像と凸包技法を用いてConvexPolyContRotおよびConvPolyContRigid Motへ拡張する。
• Seg ContPntをSegHausDistへ、分離補題と補助線を用いて翻訳下の2D距離を得るよう還元する。

実験結果

リサーチクエスチョン

• RQ1 両方の集合が点のみを含む場合、Seg ContPntは3SUM-hardですか？
• RQ2 翻訳下で、最小Hausdorff距離問題の他の変種は3SUM-hardですか？
• RQ3 これらの硬直性は、回転または剛体運動の下ですべての凸多角形包含変種にも拡張されますか？
• RQ4 幾何包含と距離問題の3SUM-hard性の正確な境界を分類する上で、残された未解決問題は何ですか？

主な発見

• いくつかの包含問題が3SUM-hardであることが示されている：Seg ContPnt、翻訳下のPolyCont、ConvPolyContRot、およびConvPolyContRigid Mot。
• 平面上の線分集合間の最小翻訳Hausdorff距離は3SUM-hardである。
• 還元は、解の存在を保存する幾何学的アナログ（comb polygons、円弧写像）を構築することに依存している。
• 3SUM’のインスタンスは、検討対象の問題に対して、同程度のサイズの幾何学的インスタンスへ効率的に変換できる。