[論文レビュー] Boundary Labeling for Rectangular Diagrams

Prosenjit Bose, Paz Carmi+3 more|arXiv (Cornell University)|Jan 1, 2018

Computational Geometry and Mesh Generation参考文献 2被引用数 1

ひとこと要約

本稿では、po-leadersを用いた1曲がき2側面境界ラベリングのためのO(n³ log n)時間アルゴリズムを提示しており、従来のO(n⁸ log n)解法を顕著に改善している。また、動的計画法と重み付き文字列割り当てを用いて外ストリンググラフ上の最大重み独立集合として問題をモデル化することで、障害物を伴う3および4側面モデルにおいて、総リーダー長および曲がり数の最小化問題に対しても多項式時間解法を拡張している。

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).

研究の動機と目的

• 1曲がき2側面境界ラベリング（po-leadersを用いる）の効率的アルゴリズムの開発を目的とし、従来のO(n⁸ log n)解法を改善すること。
• 3および4側面境界ラベリングモデルにおける総リーダー長および総曲がり数の最小化に本手法を拡張すること。
• 障害物やスライディングポートを含む一般な制約下でも多項式時間で解けるように問題を扱うこと。
• 多側面境界ラベリングにおけるリーダー長および曲がり数の最小化の計算量的複雑性を解明すること。
• 外ストリンググラフと最大重み独立集合を用いた統一的フレームワークを提供し、境界ラベリング問題をモデル化・解法化すること。

提案手法

• 各潜在的リーダーをサイトからポートへつなぐストリングとして表現することで、境界ラベリング問題を外ストリンググラフとしてモデル化する。
• 曲がり数に応じてストリングに重みを割り当てる：0曲がきの場合はw(st(l)) = n+2、1曲がき（po-leaders）の場合はn+1、0, 1, 2曲がき（opo-leaders）の場合はそれぞれα+3, α+2, α+1（α = 2n）。
• 2つのリーダーが交差せず、各サイト・ポートが一度しか使われないことを保証するため、外ストリンググラフ上の最大重み独立集合に問題を還元する。
• 外ストリンググラフ上での最大重み独立集合をO(n³ log n)時間で解けるKeilらのアルゴリズムを用いて、問題を効率的に解く。
• 妥当なラベリングと十分な重みを持つ独立集合との同値性を証明し、動的計画法による正確な最適化を可能にする。
• 不正なリーダー経路を除外するようにストリング構築を変更することで、障害物の存在を扱うアプローチを一般化する。

実験結果

リサーチクエスチョン

• RQ1 1曲がき2側面境界ラベリング問題は、O(n⁸ log n)未満の時間で解けるか？
• RQ2 3および4側面境界ラベリングにおける総リーダー長の最小化問題は、多項式時間で解けるか？
• RQ3 障害物を伴う多側面境界ラベリングにおける総曲がり数の最小化は、多項式時間で達成可能か？
• RQ4 さまざまな境界ラベリング目的を1つのグラフ理論的問題に還元する統一的フレームワークは存在するか？
• RQ5 直交制約下での隣接2側面モデルにおける曲がり数およびリーダー長の最小化の計算量的複雑性は何か？

主な発見

• 本稿では、po-leadersを用いた1曲がき2側面境界ラベリングのためのO(n³ log n)時間アルゴリズムを提示しており、従来のO(n⁸ log n)解法を顕著に改善している。
• 3および4側面境界ラベリングにおける総リーダー長最小化問題は、多項式時間で解けるようになった。これは未解決の問題を解消した。
• 隣接および反対モデルにおいて、障害物を含む状況でも総曲がり数を多項式時間で最小化可能である。
• 本手法はopo-leaders（2曲がきリーダー）およびスライディングポートに対しても一般化可能であり、多項式時間の複雑性を維持する。
• 最大重み独立集合への還元により、複数の目的関数に対して正確な最適化が可能である。
• 本フレームワークは、Wolffの『グラフドローイングハンドブック』（2014年、表23.1）に列挙された未解決問題を解消しており、特に3および4側面モデルにおいて顕著な貢献を果たしている。