[論文レビュー] Balanced Schnyder woods for planar triangulations: an experimental study with applications to graph drawing and graph separators

Luca Castelli Aleardi|arXiv (Cornell University)|Aug 19, 2019

Computational Geometry and Mesh Generation参考文献 27被引用数 4

ひとこと要約

本稿では、平面三角形分割におけるバランスの取れたシュナイダー木を計算する線形時間のヒューリスティックを提案する。頂点の周囲の辺の色が可能な限り均等に分配される。この手法は、シュナイダー図法のレイアウト品質とサイクル分離子の効率を向上させ、実際のグラフ、特に実世界のグラフや正則なグラフにおいて、理論的保証はないが、多様なグラフタイプにおいて強く裏付けられた実験的結果を得ている。短く、よりバランスの取れた分離子が得られる。

ABSTRACT

In this work we consider balanced Schnyder woods for planar graphs, which are Schnyder woods where the number of incoming edges of each color at each vertex is balanced as much as possible. We provide a simple linear-time heuristic leading to obtain well balanced Schnyder woods in practice. As test applications we consider two important algorithmic problems: the computation of Schnyder drawings and of small cycle separators. While not being able to provide theoretical guarantees, our experimental results (on a wide collection of planar graphs) suggest that the use of balanced Schnyder woods leads to an improvement of the quality of the layout of Schnyder drawings, and provides an efficient tool for computing short and balanced cycle separators.

研究の動機と目的

• 実世界のグラフにおいてシュナイダー木の実験的・適応的分析が不足していること、特に理論的最悪ケース境界では捉えきれない正則性がしばしば存在することに対処すること。
• 頂点ごとの入力辺の色の不均衡を最小限に抑える、実用的なヒューリスティックを構築すること。
• バランスの取れたシュナイダー木がシュナイダー図法のレイアウト品質とサイクル分離子の性能に与える影響を評価すること。
• バランスの取れたシュナイダー木が実際のグラフにおいて、より短く、よりバランスの取れたサイクル分離子と、より規則的で美的なグラフ図法をもたらすことを示すこと。

提案手法

• 頂点 v の欠陥 δ(v) を、各色の入力辺数の最大値と最小値の差として定義する。次数が整除不能な場合の調整を含む。
• グリーディーで線形時間のヒューリスティックを提案。反復的に辺の向きを再設定し、頂点の欠陥を最小化し、色の分布を均等にする。
• 得られたバランスの取れたシュナイダー木を用いて、標準的なグリッド埋め込み手法によりシュナイダー図法を生成する。
• 選択した頂点 v からのパス P0(v), P1(v), P2(v) を特定し、分離子 S = P0(v) ∪ P1(v) ∪ {v0} を形成する。
• 複数のシードに対して分離子抽出プロセスを適用し、平均化することで、ロバストネスとバランスの評価を行う。
• エッジ長の美観指標として、平均エッジ長のパcent偏差である del を用い、el = 1 − del でレイアウト品質を定量化する。

実験結果

リサーチクエスチョン

• RQ1 実用的なヒューリスティックは、最小またはランダムな木と比較して、顕著に改善されたバランスの取れたシュナイダー木を生成できるか？
• RQ2 シュナイダー木のバランスが、シュナイダー図法の視覚的品質とエッジ長の一様性にどのように影響するか？
• RQ3 バランスの取れたシュナイダー木は、実世界および合成グラフの平面グラフにおいて、より短く、よりバランスの取れたサイクル分離子をもたらすか？
• RQ4 初期シードの選択が、得られるシュナイダー木のバランスや分離子品質に顕著な影響を与えるか？

主な発見

• 提案されたヒューリスティックは、多数のテストグラフにおいて平均欠陥 δavg を1.1を超える状態から1.0未塔にまで著しく低減し、バランスの取れたシュナイダー木を生成した。
• バランスの取れた木から生成されたシュナイダー図法は、優れたレイアウト品質を示し、δavg が増加するにつれてエッジ長の一様性（el）が低下する傾向にあり、不均衡が視覚的品質を劣化させることを示している。
• バランスの取れたシュナイダー木から抽出されたサイクル分離子は、不均衡な木よりも短く、理論的境界 √8m よりも著しく小さい境界サイズを示している。例えば、2k頂点のグラフでは |S| = 0.15√m であった。
• 小径グラフ（例：ランダムな三角形分割）では分離子が非常に短い（|S| ≈ √m）が、大径グラフではシードの選択がサイクル長に影響し、良いシードを選ぶことで過剰に長いサイクルを避けることができる。
• 分離子のバランス比（小さい部分集合の正規化サイズ）は、多様なグラフクラスにわたり一貫して2/3に近い値を示しており、良好なバランスの取れた分割が得られていることを示している。
• Javaで実装されたアルゴリズムは、同程度のハードウェア上での従来のC言語実装を上回り、1秒間に143万～192万頂点の処理速度を達成しており、シードやグラフ構造にほとんど依存しない。