[논문 리뷰] Sixteen space-filling curves and traversals for d-dimensional cubes and simplices

HJ Herman Haverkort|arXiv (Cornell University)|2017. 11. 13.

Computational Geometry and Mesh Generation인용 수 4

한 줄 요약

이 논문은 d차원 입방체와单纯형에서 16개의 공간 충만 탐색을 위한 통합 프레임워크를 제시하며, 일관된 표기 체계를 사용해 기존 곡선을 일반화하고 새로운 곡선을 도입한다. 이는 재귀적 분할, 회전, 반사, 재정렬을 통해 이산적이고 연속적인 탐색을 정밀하게 재귀적으로 구성할 수 있도록 하며, 좌표에서 탐색 순서로의 매핑 및 그 역연산을 위한 알고리즘이 제공된다.

ABSTRACT

This article describes sixteen different ways to traverse d-dimensional space recursively in a way that is well-defined for any number of dimensions. Each of these traversals has distinct properties that may be beneficial for certain applications. Some of the traversals are novel, some have been known in principle but had not been described adequately for any number of dimensions, some of the traversals have been known. This article is the first to present them all in a consistent notation system. Furthermore, with this article, tools are provided to enumerate points in a regular grid in the order in which they are visited by each traversal. In particular, we cover: five discontinuous traversals based on subdividing cubes into 2^d subcubes: Z-traversal (Morton indexing), U-traversal, Gray-code traversal, Double-Gray-code traversal, and Inside-out traversal; two discontinuous traversals based on subdividing simplices into 2^d subsimplices: the Hill-Z traversal and the Maehara-reflected traversal; five continuous traversals based on subdividing cubes into 2^d subcubes: the Base-camp Hilbert curve, the Harmonious Hilbert curve, the Alfa Hilbert curve, the Beta Hilbert curve, and the Butz-Hilbert curve; four continuous traversals based on subdividing cubes into 3^d subcubes: the Peano curve, the Coil curve, the Half-coil curve, and the Meurthe curve. All of these traversals are self-similar in the sense that the traversal in each of the subcubes or subsimplices of a cube or simplex, on any level of recursive subdivision, can be obtained by scaling, translating, rotating, reflecting and/or reversing the traversal of the complete unit cube or simplex.

연구 동기 및 목표

• 기존 문헌에서의 일관성 부족과 모호함을 해결하기 위해 임의의 차원에서 공간 충만 탐색을 기술하기 위한 일관되고 확장 가능한 표기 체계를 제공하는 것.
• 힐버트, 페아노, Z-오더 곡선 등의 기존 공간 충만 곡선을 정밀한 기하 변환을 통해 고차원으로 체계적으로 일반화하는 것.
• 이전에 부족하게 기술되거나 새로운 탐색 방식인 인사이드아웃, 더블-그레이 코드, 마에하라-반사 탐색 방식을 도입하고 형식적으로 기술하는 것.
• 모든 16개 탐색 방식에 대해 재귀적 알고리즘을 사용해 탐색 순서와 역매핑(좌표에서 탐색 인덱스로의 변환)을 효율적으로 계산할 수 있도록 하는 것.
• 국소성 유지 및 측도 유지 성질을 보장함으로써 계산 기하학, 데이터 구조, 고성능 컴퓨팅 등 실용적 응용을 지원하는 것.

제안 방법

• 하위입방체/단체 인덱싱, 변환(회전, 반사, 역순), 좌표 순열을 기반으로 한 재귀적 표기 체계를 도입하여 각 탐색 방식을 정의한다.
• d차원 단위 입방체 또는 단체를 2^d 또는 3^d개의 하위셀로 재귀적 분할하고, 각 하위셀을 기본 탐색 방식의 스케일링 및 변형된 형태로 순서대로 탐색한다.
• 서명된 순열과 비어센트리 좌표를 사용해 기하 대칭성을 표현하며, 특히 힐즈-와이즈 및 마에하라-반사 곡선과 같은 단체 탐색에 특화된다.
• 각 재귀 수준에서 변환 시퀀스를 신중히 선택함으로써 연속성(예: 끝점 매칭)과 국소성 유지가 보장되는 체계적 방법을 제시한다.
• 비트 조작과 재귀적 분해를 사용해 임의의 격자 점의 탐색 인덱스와 그 역매핑(인덱스에서 좌표로의 변환)을 계산하는 알고리즘을 개발한다.
• 낮은 차원의 탐색 곡선을 반복 적용하는 스퀘어링 연산을 통해 고차원 탐색 곡선을 생성함으로써 모듈러 구조를 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떻게 일관되고 모호하지 않은 정의로 공간 충만 탐색을 임의의 차원으로 일반화할 수 있는가?
• RQ2 어떤 조합의 회전, 반사, 재정렬이 d차원에서 연속적이고 국소성을 유지하는 탐색을 생성하는가?
• RQ3 이산적 탐색(예: Z-오더, 그레이 코드)은 명확한 변환 규칙을 갖는 체계적 방법으로 d차원으로 확장될 수 있는가?
• RQ4 어떤 기하학적 및 위상수학적 제약 조건이 특정 탐색(예: 반면연결성)이 고차원에서 존재하지 못하게 하는가?
• RQ5 모든 16개 탐색 방식에 대해 재귀적이고 비트 수준의 연산을 사용해 역매핑과 효율적 인덱싱을 어떻게 구현할 수 있는가?

주요 결과

• 논문은 통합된 표기 체계를 사용해 16개의 서로 다른 공간 충만 탐색 방식을 임의의 차원으로 일반화했으며, 이 중 5개는 이산적이고 11개는 연속적이다.
• 베이스캠프, 하모니어스, 알파, 베타, 부츠-힐버트 곡선은 정밀한 변환 규칙을 통해 d차원으로 형식적으로 확장되었으며, 연속성과 국소성 유지가 보장된다.
• 페아노, 코일, 히프코일, 미르트 곡선은 3^d 분할 기반으로 d차원으로 일반화되었으며, 탐색 및 역매핑을 위한 알고리즘이 제공된다.
• 인사이드아웃과 더블-그레이 코드 탐색은 자가유사적이고 이산적인 새로운 곡선으로 도입되었으며, 유리한 국소성과 비트 병렬 인덱싱 성질을 지닌다.
• 힐즈-와이즈 및 마에하라-반사 곡선은 d차원 단체에 대해 형식적으로 정의되었으며, 후자는 대칭 반사 패턴을 통해 면연결성을 달성한다.
• 모든 16개 탐색 방식에 대해 효율적인 탐색 인덱싱과 역매핑을 지원하는 소프트웨어 프로토타입이 개발되었으며, 재귀적 분해와 비트 조작을 기반으로 한다.