[논문 리뷰] Polygon Containment and Translational Min-Hausdorff-Distance between Segment Sets are 3SUM-Hard

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

Computational Geometry and Mesh Generation참고 문헌 3인용 수 8

한 줄 요약

본 논문은 다각형 포함 및 Hausdorff 거리 문제 중 여러 가지가 3SUM-난해하다고 보였으며, 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-난해하다고 동기 부여하고 분류한다.
• 평행이동 하에서의 구간 포함, 선분 포함, 다각형 포함 및 Hausdorff 거리 문제에 3SUM-난해성을 계승함을 보인다.
• 회전 또는 강체 이동에 따른 볼록 다각형에 대한 난해성을 확장한다.
• 3SUM’ 인스턴스를 비슷한 크기의 기하적 인스턴스로 매핑하는 구성적 환원을 제공한다.

제안 방법

• 3SUM-난해성 프레임워크와 대표 문제(3SUM 및 3SUM’)를 도입한다.
• 3SUM’를 실제선에서 Equal Distance와 Seg ContPnt로 환원하고, 구간 및 점/선분 구성으로 이를 수행한다.
• Seg ContPnt를 평행이동 아래의 Polygon Containment으로 변환하며, comb 구성 및 평면 임베딩을 통해 수행한다.
• 원호 매핑 및 볼록 껍질 기법을 사용하여 ConvexPolyContRot 및 ConvPolyContRigid Mot으로 확장한다.
• Seg ContPnt를 SegHausDist로 환원하는데, 분리 보조정리와 보조 직선을 통해 평행이동 하에서 2D 거리를 얻는다.

실험 결과

연구 질문

• RQ1 두 집합이 모두 점만을 포함할 때 Seg ContPnt가 3SUM-난해한가?
• RQ2 변환 하에서 최소 Hausdorff 거리 문제의 다른 변형들도 3SUM-난해한가?
• RQ3 이러한 난해성 결과가 회전이나 강체 이동 하에서 모든 볼록 다각형 포함 변형에까지 확장되는가?
• RQ4 기하학적 포함 및 거리 문제에 대한 3SUM-난해성의 정확한 경계를 분류하는 데 남은 미해결 문제는 무엇인가?

주요 결과

• 여러 개의 포함 문제에서 3SUM-난해성이 입증되었다: Seg ContPnt, Translation 하의 PolyCont, ConvPolyContRot, 그리고 ConvPolyContRigid Mot.
• 평면 구간 집합 간의 최소 평행이동 Hausdorff 거리도 3SUM-난해하다.
• 환원은 해법의 존재를 보존하는 기하적 유사체(콤 다각형 및 원호 매핑 등 구성)에 의존한다.
• 3SUM’ 인스턴스는 고려된 문제들의 비교 가능한 크기의 기하적 인스턴스로 효율적으로 변환될 수 있다.