[논문 리뷰] Boundary Labeling for Rectangular Diagrams

Prosenjit Bose, Paz Carmi외 3명|arXiv (Cornell University)|2018. 01. 01.

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

한 줄 요약

이 논문은 po-leaders를 사용한 1-bend 2-sided boundary labeling에 대해 O(n³ log n) 시간 알고리즘을 제시하며, 이는 이전의 O(n⁸ log n) 해법보다 크게 향상된 것이다. 이 알고리즘은 동적 프로그래밍과 가중치 문자열 할당을 통해 외부 문자열 그래프 상의 최대 무게 독립 집합으로 문제를 모델링하여, 장애물이 있는 경우를 포함한 3- 및 4-sided 모델에서 총 리더 길이 및 굽힘 수 최소화 문제에 대해 다항시간 해법을 확장한다.

ABSTRACT

Given a set of $n$ points (sites) inside a rectangle $R$ and $n$ points (label locations or ports) on its boundary, a boundary labeling problem seeks ways of connecting every site to a distinct port while achieving different labeling aesthetics. We examine the scenario when the connecting lines (leaders) are drawn as axis-aligned polylines with few bends, every leader lies strictly inside $R$, no two leaders cross, and the sum of the lengths of all the leaders is minimized. In a $k$-sided boundary labeling problem, where $1\le k\le 4$, the label locations are located on the $k$ consecutive sides of $R$. In this paper, we develop an $O(n^3\log n)$-time algorithm for 2-sided boundary labeling, where the leaders are restricted to have one bend. This improves the previously best known $O(n^8\log n)$-time algorithm of Kindermann et al. (Algorithmica, 76(1):225-258, 2016). We show the problem is polynomial-time solvable in more general settings such as when the ports are located on more than two sides of $R$, in the presence of obstacles, and even when the objective is to minimize the total number of bends. Our results improve the previous algorithms on boundary labeling with obstacles, as well as provide the first polynomial-time algorithms for minimizing the total leader length and number of bends for 3- and 4-sided boundary labeling. These results settle a number of open questions on the boundary labeling problems (Wolff, Handbook of Graph Drawing, Chapter 23, Table 23.1, 2014).

연구 동기 및 목표

• po-leaders를 사용한 1-bend 2-sided boundary labeling에 대해 이전의 O(n⁸ log n) 해법보다 향상된 효율적인 알고리즘을 개발한다.
• 해결 방법을 3- 및 4-sided boundary labeling 모델에서 총 리더 길이 및 총 굽힘 수 최소화 문제로 확장한다.
• 장애물 및 슬라이딩 포트와 같은 일반적인 제약 조건을 고려하여 다항시간 해법 가능성을 확보한다.
• 다양한 측면을 가진 boundary labeling에서 리더 길이 및 굽힘 수 최소화 문제의 복잡도를 해결한다.
• 외부 문자열 그래프와 최대 무게 독립 집합을 사용하여 boundary labeling 문제를 모델링하고 해결하는 통합 프레임워크를 제공한다.

제안 방법

• 각 잠재적 리더를 사이트에서 포트로 연결하는 문자열로 표현하여 boundary labeling 문제를 외부 문자열 그래프로 모델링한다.
• 굽힘 수에 따라 문자열에 가중치를 할당한다: w(st(l)) = n+2 (0개의 굽힘), n+1 (1개의 굽힘, po-leaders용), α+3, α+2, α+1 (각각 0, 1, 2개의 굽힘, opo-leaders용), 여기서 α = 2n이다.
• 문제를 외부 문자열 그래프 상의 최대 무게 독립 집합으로 환원하여, 두 리더가 교차하지 않으며 각 사이트/포트가 최대 한 번씩 사용되도록 보장한다.
• Keil 등이 제안한 O(n³ log n)-시간 알고리즘을 활용하여 외부 문자열 그래프 상의 최대 무게 독립 집합을 효율적으로 해결한다.
• 가능한 레이블링과 충분한 무게를 가진 독립 집합 간의 동치성을 증명하여, 동적 프로그래밍을 통한 정확한 최적화를 가능하게 한다.
• 불가능한 리더 경로를 제거하도록 문자열 구성 방식을 수정하여 장애물 처리를 일반화한다.

실험 결과

연구 질문

• RQ1 1-bend 2-sided boundary labeling 문제는 O(n⁸ log n) 이하의 시간에 해결될 수 있는가?
• RQ2 3- 및 4-sided boundary labeling에서 총 리더 길이 최소화 문제는 다항시간 내에 해결 가능한가?
• RQ3 장애물이 있는 경우에도 다각도 모델에서 총 굽힘 수 최소화 문제가 다항시간 내에 해결 가능한가?
• RQ4 다양한 boundary labeling 목표를 단일 그래프 이론 문제로 환원하는 통합 프레임워크가 존재하는가?
• RQ5 직각 제약 조건이 있는 인접한 2-sided 모델에서 굽힘 수와 리더 길이 최소화 문제의 계산 복잡도는 무엇인가?

주요 결과

• 이 논문은 po-leaders를 사용한 1-bend 2-sided boundary labeling에 대해 O(n³ log n) 시간 알고리즘을 제시하며, 이는 이전의 O(n⁸ log n) 해법보다 향상된 것이다.
• 3- 및 4-sided boundary labeling에서 총 리더 길이 최소화 문제는 이제 다항시간 내에 해결 가능해졌으며, 이는 열린 문제를 해결한 것이다.
• 인접 및 반대 모델에서 장애물이 있는 경우에도 총 굽힘 수 최소화 문제가 다항시간 내에 해결 가능하다.
• 이 방법은 opo-leaders(2-bend 리더)로 일반화 가능하며, 슬라이딩 포트를 지원하면서도 다항시간 복잡도를 유지한다.
• 최대 무게 독립 집합으로의 환원은 다중 목표 최적화를 정확하게 가능하게 한다.
• 이 프레임워크는 Wolff의 그래프 도식화 핸드북(2014년, 표 23.1)에 나열된 열린 문제들을 해결하였으며, 특히 3- 및 4-sided 모델에 대해 중요한 기여를 하였다.