[논문 리뷰] Self-overlapping curves revisited

David Eppstein, Elena Mumford|arXiv (Cornell University)|2009. 01. 04.

Computational Geometry and Mesh Generation참고 문헌 10인용 수 13

한 줄 요약

이 논문은 평면 투영으로부터 공간 표면을 알고리즘적으로 복원하는 것을 조사하며, 곡선이 공간 디스크를 경계로 하는지 여부를 판단하는 것은 다항식 시간 내에 해결 가능하지만, 투영된 디스크가 공간 매장과 대응되는지 여부를 판단하는 것은 NP-완전임을 보여준다. 교차점에서의 케이싱(위/아래 정보)이 제공되면 문제는 선형 시간 내에 해결 가능하며, 이 논문은 n개의 자가교차를 가진 표면에 대해 최대 2n/2개의 조합적으로 다른 공간 매장이 존재할 수 있음을 증명한다.

ABSTRACT

Let S be a surface embedded in space in such a way that each point has a neighborhood within which the surface is a terrain. Then S projects to an immersed surface in the plane, the boundary of which is a (possibly self-intersecting) curve. Under what circumstances can we reverse these mappings algorithmically? Shor and van Wyk considered one such problem, determining whether a curve is the boundary of an immersed disk; they showed that the self-overlapping curves defined in this way can be recognized in polynomial time. We show that several related problems are more difficult: it is NP-complete to determine whether an immersed disk is the projection of a disk embedded in space, or whether a curve is the boundary of an immersed surface in the plane that is not constrained to be a disk. However, when a casing is supplied with a self-intersecting curve, describing which component of the curve lies above and which below at each crossing, we may determine in time linear in the number of crossings whether the cased curve forms the projected boundary of a surface in space. As a related result, we show that an immersed surface with a single boundary curve that crosses itself n times has at most 2n/2 combinatorially distinct spatial embeddings, and we discuss the existence of fixed-parameter tractable algorithms for related problems.

연구 동기 및 목표

• 자기자신이 겹치는 평면 곡선이 3차원 공간에 매장된 표면의 투영이 될 수 있는 알고리즘적 조건을 규명하는 것.
• 주어진 평면에 임베딩된 디스크가 공간 디스크로 올라가기 위한 인식의 계산 복잡도를 분석하는 것.
• 자기자신이 겹치는 곡선이 반드시 디스크가 아니더라도 평면상의 어떤 임베딩된 표면을 경계로 할 수 있는지 조사하는 것.
• 교차점에서의 케이싱 정보(교차점에서의 위/아래 데이터)가 제공될 경우 공간 표면을 효율적으로 복원하는 알고리즘을 수립하는 것.

제안 방법

• 저자들은 공간 표면을 3차원 공간에 매장된 구조로 모델링하며, 각 점이 국소적인 지형적 구조를 가지게 하여 평면으로의 투영을 가능하게 한다.
• 자기중복 곡선의 구조와 가능한 공간적 상향 구조를 분석하기 위해 조합적 위상수학을 사용한다.
• 핵심 기법은 교차점에서 어느 곡선 세그먼트가 위에 있는지 아래에 있는지를 지정하는 케이싱을 통해 교차 정보를 인코딩하는 것이다.
• 공간 매장 복원 문제를 케이싱에 대한 제약 조건 시스템으로 환원하며, 그래프 기반의 순회 알고리즘을 사용해 선형 시간 내에 해결할 수 있다.
• n개의 자가교차를 가진 표면에 대해 최대 2n/2개의 조합적으로 다른 공간 매장이 존재할 수 있음을 유도한다.
• 교차점 수를 매개변수로 삼은 고정 매개변수 복잡도에 초점을 맞춰 관련 문제의 고정 매개변수 가용성에 대해 탐색한다.

실험 결과

연구 질문

• RQ1 주어진 자기자신이 겹치는 평면 곡선이 공간에 매장된 디스크의 투영일 수 있는지 알고리즘적으로 판단할 수 있는가?
• RQ2 평면에 임베딩된 디스크가 공간 디스크로 올라가는지 여부를 판단하는 계산 복잡도는 무엇인가?
• RQ3 케이싱 정보가 제공될 경우, 평면 투영으로부터 공간 표면을 효율적으로 복원할 수 있는가?
• RQ4 자기자신이 n번 교차하는 임베딩된 표면은 최대 몇 개의 서로 다른 공간 매장을 가질 수 있는가?
• RQ5 교차점 수를 기반으로 한 고정 매개변수 가용 알고리즘이 공간 표면 복원에 존재하는가?

주요 결과

• 평면에 임베딩된 디스크가 공간 디스크의 투영인지 여부를 판단하는 것은 NP-완전이다.
• 곡선이 평면상의 어떤 임베딩된 표면을 경계로 할 수 있는지 여부를 판단하는 것은 반드시 디스크일 필요 없이 역시 NP-완전이다.
• 케이싱 정보가 제공되면, 케이싱된 곡선이 공간 표면의 투영된 경계를 형성하는지 여부를 교차점 수에 대해 선형 시간 내에 해결할 수 있다.
• 단일 경계 곡선을 가지며 자기자신이 n번 교차하는 임베딩된 표면은 최대 2n/2개의 조합적으로 다른 공간 매장을 가질 수 있다.
• 논문은 교차점 수를 매개변수로 삼은 관련 복원 문제에 대해 고정 매개변수 가용 알고리즘이 존재함을 확립한다.