[논문 리뷰] Discretized Approaches to Schematization

Wouter Meulemans|arXiv (Cornell University)|2016. 06. 21.

Computational Geometry and Mesh Generation참고 문헌 29인용 수 5

한 줄 요약

이 논문은 $Χ$-방향 평면 그래프 $G$ 상에 위치하도록 도표적 개선을 제약하는 이산화된 접근 방식을 조사한다. 두 가지 방법을 제안한다: 단순 지ap 매칭(입력 다각형 $P$와 낮은 프리셰트 거리를 가지는 $G$ 내 순환을 찾기)과 연결된 면 선택(입력 다각형 $P$와 낮은 대칭 차이를 가지는 $G$ 내 연결된 면 집합을 찾기). 두 문제 모두, 영역 보존 제약 조건이 있거나 표준 격자, 삼각형, 또는 육각형 타일링인 경우조차도 NP-완전임을 증명한다.

ABSTRACT

To produce cartographic maps, simplification is typically used to reduce complexity of the map to a legible level. With schematic maps, however, this simplification is pushed far beyond the legibility threshold and is instead constrained by functional need and resemblance. Moreover, stylistic geometry is often used to convey the schematic nature of the map. In this paper we explore discretized approaches to computing a schematic shape $S$ for a simple polygon $P$. We do so by overlaying a plane graph $G$ on $P$ as the solution space for the schematic shape. Topological constraints imply that $S$ should describe a simple polygon. We investigate two approaches, simple map matching and connected face selection, based on commonly used similarity metrics. With the former, $S$ is a simple cycle $C$ in $G$ and we quantify resemblance via the Fréchet distance. We prove that it is NP-hard to compute a cycle that approximates the minimal Fréchet distance over all simple cycles in a plane graph $G$. This result holds even if $G$ is a partial grid graph, if area preservation is required and if we assume a given sequence of turns is specified. With the latter, $S$ is a connected face set in $G$, quantifying resemblance via the symmetric difference. Though the symmetric difference seems a less strict measure, we prove that it is NP-hard to compute the optimal face set. This result holds even if $G$ is full grid graph or a triangular or hexagonal tiling, and if area preservation is required. Moreover, it is independent of whether we allow the set of faces to have holes or not.

연구 동기 및 목표

• 평면 그래프를 해 공간으로 사용하여 단순 다각형을 도표적으로 개선하는 데 있어 형식화하고 분석하는 것.
• 단순 지도 매칭과 연결된 면 선택이라는 두 핵심 도표적 개선 방법의 계산 복잡도를 조사하는 것.
• 영역 보존 및 $Χ$-방향 기하학과 같은 현실적인 기하 제약 조건 하에서 효율적인 알고리즘이 존재하는지 판단하는 것.
• 지도 제작에서 흔히 사용되는 기하학적 단순화나 입력 가정 조건이 하드니스 결과에 영향을 미치는지 탐색하는 것.

제안 방법

• 단순 다각형 $P$ 위에 $Χ$-방향 평면 그래프 $G$를 겹쳐서 도표적 형태의 이산 해 공간을 정의한다.
• 단순 지도 매칭의 경우, 도표적 형태 $S$를 $G$ 내의 단순 순환 $C$로 모델링하고, 유사도를 프리셰트 거리 $d_{\textrm{F}}(C,P)$로 측정한다.
• 연결된 면 선택의 경우, $S$를 $G$ 내의 연결된 면 집합으로 모델링하고, 유사도를 대칭 차이 $d_{\textrm{SD}}(S,P)$로 측정한다.
• 기존의 알려진 NP-난해 문제(예: 직선 스티너 나무 및 평면 3-SAT)로의 축소를 통해 두 문제의 NP-완전성을 증명한다.
• 해의 구조를 강제하기 위해 특정 영역 및 가중치 제약 조건을 가진 고유한 다각형 입력을 구성한다.
• 완전한 격자 그래프, 삼각형/육각형 타일링, 영역 보존 요구 조건 등으로 제한하더라도 하드니스가 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 입력 다각형 $P$와 프리셰트 거리가 $\varepsilon$ 이하인 평면 그래프 $G$ 내 단순 순환을 찾는 문제는 계산적으로 다룰 수 있는가?
• RQ2 평면 그래프 $G$ 내 연결된 면 집합과 입력 다각형 $P$ 사이의 대칭 차이를 효율적으로 최소화할 수 있는가?
• RQ3 이러한 문제들의 NP-완전성은 영역 보존 제약 조건과 격자, 삼각형, 또는 육각형과 같은 표준 타일링 유형에서도 유지되는가?
• RQ4 제한된 날카기 정도(예: 유한한 좁은 범위)와 같은 현실적인 기하 입력 가정 조건이 존재할 경우, 일반적인 하드니스에도 불구하고 다항 시간 알고리즘이 존재하는가?
• RQ5 실제 제약 조건 하에서 이러한 문제들에 대해 고정 매개변수 트랙태블 또는 근사 알고리즘을 개발할 수 있는가?

주요 결과

• 입력 다각형 $P$와 프리셰트 거리가 $\varepsilon$ 이하인 평면 그래프 $G$ 내 단순 순환을 찾는 단순 지도 매칭 문제는 NP-완전하다.
• 이 NP-완전성은 $G$가 부분 격자 그래프이고, 영역 보존이 요구되며, 고정된 전방향 순서가 지정된 경우에도 유지된다.
• 입력 다각형 $P$와 대칭 차이가 $D$ 이하인 평면 그래프 $G$ 내 연결된 면 집합을 찾는 연결된 면 선택 문제 역시 NP-완전하다.
• 이러한 하드니스는 $G$가 완전한 격자 그래프이거나 삼각형 또는 육각형 타일링이거나, 면 집합의 구멍을 허용하는 경우에도 유지된다.
• NP-완전성 결과는 평면 그래프 및 구조화된 타일링을 포함한 다양한 그래프 클래스에서 강건하게 유지된다.
• 최소 프리셰트 거리를 근사하는 데 있어 NP-난해성으로 인해 단순 지도 매칭에 대한 합리적인 근사 알고리즘이 존재하지 않는다. P = NP 가 아닌 한이다.