[논문 리뷰] Minkowski Sum Construction and other Applications of Arrangements of Geodesic Arcs on the Sphere

Efi Fogel|ArXiv.org|2009. 06. 17.

Computational Geometry and Mesh Generation참고 문헌 107인용 수 11

한 줄 요약

이 논문은 정확한 유리 산술과 CGAL 라이브러리를 활용하여 3차원에서 볼록 다면체의 민코프스키 합을 계산하기 위한 정확하고 출력에 민감한 알고리즘을 제시한다. 구면 상의 지오데식 호의 배치를 사용하며, 민코프스키 합의 복잡도에 대한 날카운 계bounds를 수립하고, 정확한 기하 계산을 통한 강력한 충돌 탐지, 근접 쿼리 및 다면체 분할을 가능하게 한다.

ABSTRACT

We present two exact implementations of efficient output-sensitive algorithms that compute Minkowski sums of two convex polyhedra in 3D. We do not assume general position. Namely, we handle degenerate input, and produce exact results. We provide a tight bound on the exact maximum complexity of Minkowski sums of polytopes in 3D in terms of the number of facets of the summand polytopes. The algorithms employ variants of a data structure that represents arrangements embedded on two-dimensional parametric surfaces in 3D, and they make use of many operations applied to arrangements in these representations. We have developed software components that support the arrangement data-structure variants and the operations applied to them. These software components are generic, as they can be instantiated with any number type. However, our algorithms require only (exact) rational arithmetic. These software components together with exact rational-arithmetic enable a robust, efficient, and elegant implementation of the Minkowski-sum constructions and the related applications. These software components are provided through a package of the Computational Geometry Algorithm Library (CGAL) called Arrangement_on_surface_2. We also present exact implementations of other applications that exploit arrangements of arcs of great circles embedded on the sphere. We use them as basic blocks in an exact implementation of an efficient algorithm that partitions an assembly of polyhedra in 3D with two hands using infinite translations. This application distinctly shows the importance of exact computation, as imprecise computation might result with dismissal of valid partitioning-motions.

연구 동기 및 목표

• 일반 위치를 가정하지 않고 R³ 내 볼록 다면체의 민코프스키 합을 계산하기 위한 정확하고 출력에 민감한 알고리즘을 개발하는 것.
• 다면체의 면 수를 기준으로 다면체의 민코프스키 합의 최대 복잡도에 대한 날카운 이론적 경계를 수립하는 것.
• 정확한 기하 계산을 통해 충돌 탐지, 근접 쿼리 및 다면체 분할과 같은 강력한 응용을 가능하게 하는 것.
• 표면 상의 배열 소프트웨어 컴포넌트, 특히 구면 상의 배열을 CGAL 라이브러리에 통합하여 확장성과 정밀도를 확보하는 것.
• 다중 부품 조립 분할 문제와 같이 복잡한 기하 작업에서 정확한 계산이 필수적임을 보여주는 것. 부동소수점 오차로 유효한 운동이 잘못 거부될 수 있다.

제안 방법

• 구면 상에 임bed된 지오데식 호(대원의 호)의 배열을 구면 가우시안 지도 및 관련 구조의 매개변수 표현으로 사용한다.
• 구면 및 정육면체 매개변수 표면에 대해 특화된 CGAL Arrangement on Surface 2 패키지의 변종을 사용하여 이러한 배열을 정확하게 표현하고 조작한다.
• 수치적 강건성과 기형 입력에서의 탈진 문제를 방지하기 위해 오직 정확한 유리 산술에 의존하는 알고리즘을 적용한다.
• 민코프스키 합 구축 및 부울 연산을 지원하기 위해 스위프트라인 및 맵 오버랩 기법을 구면 배열에 적응시킨 핵심 연산을 수행한다.
• Sgal 툴킷과 CGAL에 통합되어 정확한 유리 좌표와 특수 기하 노드(예: SphericalGaussianMap, ArrangementOnSphere)를 사용하여 3차원 시나리오 표현을 수행한다.
• 이 컴포넌트 위에 충돌 탐지, 근접 쿼리 및 무한 이동을 이용한 다면체 어셈블리의 정확한 분할을 포함한 응용을 구축한다.

실험 결과

연구 질문

• RQ1 입력 다면체의 면 수를 기준으로 R³ 내 두 볼록 다면체의 민코프스키 합의 정확한 최대 복잡도는 얼마인가?
• RQ2 기형 입력(예: 평행한 면)이 존재할 경우 민코프스키 합 구축이 어떻게 정확하고 강건하게 수행될 수 있는가?
• RQ3 구면 상의 지오데식 호의 배열이 3차원 다면체 계산을 위한 정확하고 효율적인 기하 연산을 어떻게 가능하게 하는가?
• RQ4 정확한 기하 계산이 다중 부품 조립 문제에서 유효한 분할 운동을 잘못 거부하는 것을 방지할 수 있는가?
• RQ5 정확한 산술과 CGAL 프레임워크와 호환되며 일반적이고 확장 가능한 소프트웨어 컴포넌트로 구면 배열을 어떻게 설계할 수 있는가?

주요 결과

• 논문은 R³ 내 다면체의 민코프스키 합의 복잡도에 대한 날카운 정확한 상한을 입수한 면 수의 함수로 제시한다.
• R³ 내 k개의 볼록 다면체의 민코프스키 합의 최대 복잡도는 ∑₁≤i<j≤k (2mi−5)(2mj−5) + ∑₁≤i≤k mi + (k choose 2)로 유계이며, 여기서 mi는 i번째 다면체의 면 수이다.
• 제안된 알고리즘은 출력에 민감하고 오직 정확한 유리 산술만을 사용하여 기형 케이스에서도 강건한 결과를 보장한다.
• 구현 결과는 정확한 계산이 분할 문제에서 필수적임을 입증하며, 정밀도가 떨어지는 계산은 유효한 운동을 잘못 거부할 수 있음을 보여준다.
• Arrangement on Surface 2 패키지와 Sgal 툴킷을 포함한 소프트웨어 컴포넌트는 공개되어 있으며, 구면 배열과 다면체 연산의 정확한 표현 및 시각화를 지원한다.
• 이 프레임워크는 정확한 기하 계산에 기반하여 충돌 탐지, 근접 쿼리 및 무한 이동을 이용한 어셈블리의 정확한 분할과 같은 실용적 응용을 가능하게 한다.