[論文レビュー] Extending Orthogonal Planar Graph Drawings Is Fixed-Parameter Tractable

Sujoy Bhore, Robert Ganian+3 more|arXiv (Cornell University)|Jan 1, 2023

Computational Geometry and Mesh Generation被引用数 1

ひとこと要約

この論文は、平面的連結グラフの折り目最小化垂直線図の拡張問題が、欠落部分グラフのサイズ κ でパrameter化された固定パrameter tractable (FPT) であることを確立している。著者らは、セクターグリッドによる幾何的離散化と折り目同等の領域表現を活用し、treewidth を有界化する新しい動的計画法的手法を、木分解上で提案している。これにより、時間 2^κ^O(1) · n で最適な折り目最小化拡張が効率的に計算可能となる。

ABSTRACT

The task of finding an extension to a given partial drawing of a graph while adhering to constraints on the representation has been extensively studied in the literature, with well-known results providing efficient algorithms for fundamental representations such as planar and beyond-planar topological drawings. In this paper, we consider the extension problem for bend-minimal orthogonal drawings of planar graphs, which is among the most fundamental geometric graph drawing representations. While the problem was known to be NP-hard, it is natural to consider the case where only a small part of the graph is still to be drawn. Here, we establish the fixed-parameter tractability of the problem when parameterized by the size of the missing subgraph. Our algorithm is based on multiple novel ingredients which intertwine geometric and combinatorial arguments. These include the identification of a new graph representation of bend-equivalent regions for vertex placement in the plane, establishing a bound on the treewidth of this auxiliary graph, and a global point-grid that allows us to discretize the possible placement of bends and vertices into locally bounded subgrids for each of the above regions.

研究の動機と目的

• 平面的グラフの部分的垂直線図の拡張における折り目の最小化という計算複雑性を扱う。
• 動的ネットワーク可視化の文脈で自然なパラメータである、グラフの一部が欠落している場合に問題が依然として tractable であるかどうかを調査する。
• 従来の FPT 結果がトポロジカル図に焦点を当てていたのに対し、幾何的図の制約に特化した新しいアルゴリズム的手法を開発する。
• 折り目最小化垂直線図の拡張問題に対して、固定パラメータ tractable 解法を確立し、一般ケースの NP 困難性を克服する。

提案手法

• 平面内における折り目同等の領域の新しいグラフ表現を導入し、頂点および折り目の配置をモデル化する。
• 平面を局所的に有界な部分グリッドに分割するセクターグリッド離散化を定義し、折り目および頂点の有限な探索空間を可能にする。
• これらの領域に基づいて補助グラフを構築し、その treewidth が有界であることを証明し、動的計画法の適用を可能にする。
• 補助グラフ上で木分解に基づく動的計画法を用い、各バッグにおける頂点集合・辺集合および折り目構成を追跡する。
• 各木のノード（結合、導入、忘却）で、実行可能な構成と蓄積された折り目コストを追跡する状態記録を設計する。
• 問題を顔ベースの拡張問題に簡略化するための分岐および削減ルールを適用し、探索空間を削減する。

実験結果

リサーチクエスチョン

• RQ1 欠落部分グラフのサイズをパラメータとする場合、折り目最小化垂直線図の拡張問題は固定パラメータ tractable か？
• RQ2 垂直線図における幾何的制約は、その本質的な複雑性を考慮して、パラメータ化アルゴリズムで効果的に扱えるか？
• RQ3 平面を有界な部分グリッドに離散化することは、垂直線図における折り目最小化の最適性を保持できるか？
• RQ4 図の空間の構造的性質（例えば、領域グラフの treewidth）は、幾何的設定における効率的な動的計画法を可能にするか？
• RQ5 提案手法は、各辺の折り目数が有界であるなどの他の幾何的図制約へ拡張可能か？

主な発見

• 折り目最小化垂直線図拡張（BMOE）問題は、欠落部分グラフのサイズ κ でパラメータ化された固定パラメータ tractable である。
• 問題は、部分図の特徴点数 n を用いて、時間 2^κ^O(1) · n で解ける。
• 著者らは、頂点および折り目配置の有限かつ有界な探索空間を可能にする、セクターグリッドを用いた新しい幾何的離散化を導入した。
• 折り目同等の領域表現を導入し、その関連補助グラフは有界な treewidth を持つため、動的計画法が可能である。
• 動的計画法フレームワークは、結合・導入・忘却の各ノードで記録を組み合わせ、折り目コストを追跡することで最適解を正しく計算する。
• 本手法は拡張可能である：わずかな適応により、各辺の折り目数が δ 以下である場合の変種に対しても、κ + δ をパラメータとして FPT アルゴリズムが得られる。