[논문 리뷰] Generalized Delaunay Graphs with respect to any Convex Set are Plane Graphs

Deniz Sarıöz|arXiv (Cornell University)|2010. 12. 22.

Computational Geometry and Mesh Generation참고 문헌 2인용 수 4

한 줄 요약

이 논문은 임의의 볼록 집합 C를 기준으로 정의된 일반화된 델로네 그래프—C의 이동 또는 양의 스케일링된 이동(동형도)을 사용하여—항상 평면 그래프임을 증명한다. 이는 C가 유계이든 비유계이든 닫혀 있든 열려 있든 간주하지 않는다. 핵심 결과는 C가 볼록일 경우에만 성립하는 조건으로, 두 유형의 그래프에 대해 평면성을 확립하며, 이는 이전 연구에서 필요로 했던 컴act성 또는 유계성 조건을 제거하여 일반화한다.

ABSTRACT

We consider two types of geometric graphs on point sets on the plane based on a plane set C: one obtained by translates of C, another by positively scaled translates (homothets) of C. For compact and convex C, graphs defined by scaled translates of C, i.e., Delaunay graphs based on C, are known to be plane graphs. We show that as long as C is convex, both types of graphs are plane graphs.

연구 동기 및 목표

• 볼록 집합 C의 이동을 통해 정의된 일반화된 델로네 그래프의 평면성을 확립하기 위해.
• 이전 연구에서 C가 컴팩트하고 볼록해야 했던 델로네 그래프의 평면성 결과를, 유계이거나 닫혀 있지 않은 임의의 볼록 집합으로 확장하기 위해.
• 장노스 파치가 제기한, 이러한 그래프의 평면성에 관한 열린 문제를 해결하기 위해.
• 이동 기반 및 동형도 기반 일반화된 델로네 그래프에 대해 통합된 기하학적 증명을 제공하기 위해.

제안 방법

• 두 그래프 유형 정의: $ G_t(P,C) $ 는 C의 이동을 사용하고, $ G_{st}(P,C) $ 는 C의 양의 스케일링된 이동(동형도)를 사용한다.
• 두 교차하는 볼록 집합 간의 이동 벡터를 기준으로 좌표계를 설정하여, x좌표를 이용해 위치를 비교한다.
• 볼록성을 적용하여, $ C_1 \setminus C_2 $ 내에 있는 점과 $ C_2 $ 내에 있는 점이 있을 경우, 첫 번째 점은 두 번째 점보다 x방향으로 왼쪽에 있어야 한다고 보여준다.
• 특히, $ C_1 \setminus C_2 $ 내의 점이 $ C_2 $ 내의 선분의 왼쪽에 올 수 없음을 증명하여, 변의 교차를 방지한다.
• 동형도 스케일링에 대한 증명을 적응하기 위해, 스케일링 원점을 중심으로 한 극좌표계로 전환하고, 반지름 거리 $ r $ 과 각도 $ \theta $ 를 사용한다.
• 같은 $ \theta $ 에서 반지름 거리 $ r $ 을 이용해 순서 관계 $<$ 를 재정의하고, 동일한 볼록성 기반의 모순 논증을 재활용하여 변의 교차를 제거한다.

실험 결과

연구 질문

• RQ1 유계이거나 닫혀 있지 않은 볼록 집합의 이동 기반 일반화된 델로네 그래프는 항상 평면 그래프인가?
• RQ2 컴팩트성이 필요 없이, 볼록 집합의 동형도(스케일링된 이동) 기반 일반화된 델로네 그래프의 평면성은 성립하는가?
• RQ3 디스크 기반 델로네 삼각화에 사용되는 표준 증명 기법을 기하학적 및 볼록성 논증을 통해 임의의 볼록 집합으로 일반화할 수 있는가?
• RQ4 C가 볼록하지만 컴팩트하거나 닫혀 있지 않은 경우, $ G_{st}(P,C) $ 의 변들이 교차할 수 있는가?

주요 결과

• 모든 유한 점 집합 $ P $ 와 볼록 집합 $ C $ 에 대해 일반화된 델로네 그래프 $ G_t(P,C) $ 는 항상 평면 그래프이다.
• 동일한 볼록성 조건 하에, 동형도 기반 그래프 $ G_{st}(P,C) $ 에 대해서도 동일한 결과가 성립한다.
• 증명은 좌표 비교(직선 또는 반지름 거리)와 볼록성을 이용한 기하학적 순서 정렬 논증에 기반하며, 변의 교차를 방지한다.
• 이전 연구에서 필요로 했던 컴팩트성 조건이 없이도, C가 비유계이거나 닫혀 있지 않더라도 결과가 성립한다.
• 핵심 통찰은 볼록성이 보장하므로, $ C_1 \setminus C_2 $ 내의 점이 $ C_2 $ 내 선분의 '내부' 쪽에 올 수 없으며, 이는 교차를 차단한다.
• 표준 디스크 기반 델로네 사례에서 일반화된 결과는 임의의 볼록 거리 함수에 대해 통합된 평면성 결과를 제공한다.