[논문 리뷰] Area-Universal Rectangular Layouts

David Eppstein, Elena Mumford외 2명|ArXiv.org|2009. 01. 25.

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

한 줄 요약

이 논문은 직사각형 레이아웃이 한정된 영역 할당을 위해 어떤 영역 할당이라도 실현할 수 있을 때, 그리고 그때에만 일측성(one-sided)인 경우에만 면적 유일성(area-universal)을 갖는다는 것을 입증한다. 여기서 일측성은 모든 최대 선분이 일관된 T자 연결 방향을 가진 직사각형의 한 변이 되는 것을 의미한다. 저자들은 이러한 레이아웃을 계산하기 위한 수치 알고리즘을 제시하고, 임의의 레이아웃에 대해 주어진 면적 또는 둘레 할당을 만족하는 조합적으로 동일한 레이아웃이 최대 하나뿐임을 증명함으로써, 인접성 제약 조건으로부터 면적 유일성 레이아웃을 효율적으로 구성할 수 있음을 보여준다.

ABSTRACT

A rectangular layout is a partition of a rectangle into a finite set of interior-disjoint rectangles. Rectangular layouts appear in various applications: as rectangular cartograms in cartography, as floorplans in building architecture and VLSI design, and as graph drawings. Often areas are associated with the rectangles of a rectangular layout and it might hence be desirable if one rectangular layout can represent several area assignments. A layout is area-universal if any assignment of areas to rectangles can be realized by a combinatorially equivalent rectangular layout. We identify a simple necessary and sufficient condition for a rectangular layout to be area-universal: a rectangular layout is area-universal if and only if it is one-sided. More generally, given any rectangular layout L and any assignment of areas to its regions, we show that there can be at most one layout (up to horizontal and vertical scaling) which is combinatorially equivalent to L and achieves a given area assignment. We also investigate similar questions for perimeter assignments. The adjacency requirements for the rectangles of a rectangular layout can be specified in various ways, most commonly via the dual graph of the layout. We show how to find an area-universal layout for a given set of adjacency requirements whenever such a layout exists.

연구 동기 및 목표

• 직사각형 레이아웃이 면적 유일성을 갖기 위한 필요 및 충분 조건을 규명하는 것.
• 주어진 레이아웃에 대해 특정 면적 할당을 만족하는 조합적으로 동일한 레이아웃을 계산하는 알고리즘을 개발하는 것.
• 유사한 유일성 및 계산 가능성 결과를 확보하기 위해 둘레 할당으로의 분석 확장을 수행하는 것.
• 이웃 관계 제약 조건(이중 그래프 또는 스패닝 트리 통해)으로부터 면적 유일성 레이아웃을 구성하는 것.
• 특수 클래스인 슬라이스러블 또는 L자 형태 분해가 가능한 레이아웃에 국한되지 않고, 통합된 특성 기반의 일반화된 기준을 제공하는 것.

제안 방법

• 모든 최대 선분이 일관된 T자 연결 방향을 가진 직사각형의 한 변이 되는 레이아웃을 일측성 레이아웃으로 정의한다.
• 선분의 인접성에 관한 조합적 및 기하적 제약 조건을 사용하여, 레이아웃이 면적 유일성일 조건이 일측성임을 증명한다.
• 주어진 면적 할당에 대해 스케일링을 제외하고 일치하는 레이아웃을 계산하기 위한 수치 알고리즘을 제안한다.
• 임의의 레이아웃과 면적 할당에 대해 조합적으로 동일한 레이아웃이 최대 하나뿐 존재함을 보여주며, 이를 통해 유일한 해 복원이 가능함을 입증한다.
• 유일성 결과를 둘레 할당으로 확장하여 다항 시간 내 존재성과 계산 가능성을 증명한다.
• 이중 스패닝 트리로부터 면적 유일성 레이아웃을 구성하기 위해, 서브트리를 왼쪽 루트 레이아웃의 경우 오른쪽, 아래쪽 루트 레이아웃의 경우 위쪽으로 순차적으로 배치하는 재귀적 배치 전략을 사용하여 일측성 조건을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 직사각형 레이아웃이 영역에 관계없이 어떤 면적 할당이라도 실현할 수 있는가?
• RQ2 주어진 레이아웃과 면적 할당에 대해 스케일링을 제외하고 유일한 레이아웃을 계산할 수 있는가?
• RQ3 어떤 조건에서 이중 그래프가 면적 유일성 직사각형 레이아웃을 허용하는가?
• RQ4 주어진 이웃 관계 제약 조건으로부터 면적 유일성 레이아웃을 효율적으로 구성할 수 있는가?
• RQ5 면적 할당에 대한 결과가 둘레 할당으로 어떻게 확장되는가?

주요 결과

• 직사각형 레이아웃이 면적 유일성을 갖기 위해서는 반드시 일측성이어야 하며, 이는 모든 최대 선분이 일관된 T자 연결 방향을 가진 직사각형의 한 변이 되는 조건을 만족해야 한다.
• 임의의 직사각형 레이아웃과 면적 할당에 대해 조합적으로 동일한 레이아웃이 최대 하나뿐 존재함을 보여주며, 이는 해의 유일성을 보장한다.
• 일측성 레이아웃에 대해 주어진 면적 할당과 유사한 면적을 갖는 레이아웃을 계산하는 수치 알고리즘이 존재한다.
• 주어진 이중 스패닝 트리로부터 재귀적 배치 전략을 사용하여 일측성을 보장함으로써, 선형 시간 내에 면적 유일성 레이아웃을 구성할 수 있다.
• 둘레 할당에 대해서도 동일한 유일성 및 계산 가능성 결과가 성립하며, 존재성 판단과 해 계산에 다항 시간 알고리즘이 존재한다.
• 이 방법은 슬라이스러블 또는 L자 형태 분해가 가능한 레이아웃과 같은 특수 클래스를 초월하여, 면적 유일성의 광범위한 특성 기반의 일반화된 기준을 제공한다.