[論文レビュー] Partial and Simultaneous Transitive Orientations via Modular Decompositions

Ignaz Rutter, Stumpf, Peter|arXiv (Cornell University)|Jan 1, 2022

Computational Geometry and Mesh Generation被引用数 1

ひとこと要約

この論文は、平面グラフの同時埋め込み問題を調査し、同時幾何的埋め込み（SGE）、固定辺を伴う同時埋め込み（SEFE）、および同時埋め込み（SE）に焦点を当てる。理論的基盤、凸結合とモーフィングを用いたアルゴリズム的手法、複雑性、グリッドバウンド、パrameterized tractability に関する主要な未解決問題を特定する。

ABSTRACT

A natural generalization of the recognition problem for a geometric graph class is the problem of extending a representation of a subgraph to a representation of the whole graph. A related problem is to find representations for multiple input graphs that coincide on subgraphs shared by the input graphs. A common restriction is the sunflower case where the shared graph is the same for each pair of input graphs. These problems translate to the setting of comparability graphs where the representations correspond to transitive orientations of their edges. We use modular decompositions to improve the runtime for the orientation extension problem and the sunflower orientation problem to linear time. We apply these results to improve the runtime for the partial representation problem and the sunflower case of the simultaneous representation problem for permutation graphs to linear time. We also give the first efficient algorithms for these problems on circular permutation graphs.

研究の動機と目的

• 平面グラフの同時埋め込みに関する最近の理論的およびアルゴリズム的進展を調査すること。
• 動的グラフ可視化における可読性とマインドマップ保存のトレードオフを分析すること。
• SGE、SEFE、および関連するモーフィングと埋め込み問題における未解決問題を特定・形式化すること。
• さまざまな制約下での幾何的および固定辺を伴う同時埋め込みの複雑性と実現可能性を調査すること。
• パrameterized tractability およびグリッド複雑性について、同時埋め込みを調査すること。

提案手法

• 凸結合とタットゥの重心埋め込みを用いて、グラフの図形間の平面的モーフィングを構築する。
• 頂点の移動と頂点におけるエッジの「ねじれ」を介して、平面性と直交性を保つモーフィング技術を適用する。
• 三角形分割と剛体変換（平行移動、回転、スケーリング、せん断）を用いて、モーフィングの美しさを向上させる。
• モジュラー分解と推移的順序付け技術を活用して、部分的および同時順序付け問題を解く。
• 可読性とマインドマップ保存のバランスを取るために、直線エッジと曲線エッジの表現を統合する。
• 固定埋め込みおよび固定マッピングの変種を分析し、複雑性と実現可能性を評価する。

実験結果

リサーチクエスチョン

• RQ1 すべての平面グラフのペアが、頂点マッピングなしで同時に幾何的埋め込みを許容するか？
• RQ2 最大次数2のグラフのSGEに対して、多項式サイズの整数グリッドを保証できるか？
• RQ3 固定平面埋め込みを伴うSGEの計算複雑性は何か？
• RQ4 高連結な共通部分グラフに対して、SEFEは多項式時間で決定可能か？
• RQ5 木距離や最大次数といったパラメータに関して、SGE や SEFE 問題は固定パラメータ可 tractable か？

主な発見

• 幾何的制約のため、単純なグラフペアに対しても、同時に幾何的埋め込み（SGE）が常に可能であるとは限らない。
• 凸結合によるモーフィングは、平面的かつ滑らかな遷移をもたらすが、ステップ数は明示的にバウンドされていない。
• 曲がりのない直交図形では、平面性を保つモーフィングが常に存在するが、3つ以上のスロープを許容するとNP困難になる。
• 固定埋め込みを伴うSEFEは、小さなグリッド上での図形における交差数や曲がりの数を最小化するために利用できる。
• 頂点マッピングなしのn頂点の木同士のSGEは、凸点集合上では保証されるが、完全な頂点マッピングでは失敗する。
• 特に木や木-パスペアに関して、c ∈ {2, ..., n−1} 色を伴うCSEの未解決問題が残っている。