[論文レビュー] Deepening the Relationship between SEFE and C-Planarity

Patrizio Angelini, Giordano Da Lozzo|arXiv (Cornell University)|Apr 24, 2014

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

ひとこと要約

本稿は、連結な交差グラフをもつC-SEFE-2からC-Planarityへの多項式時間還元を確立し、C-SEFE-2のインスタンスが等価なC-Planarityインスタンスに変換可能であることを示している。主な貢献は、SEFE-2とC-Planarityの間の双方向還元リンクの確立であり、特に共通グラフが連結である場合に、計算的同等性の可能性を示唆している。

ABSTRACT

In this paper we deepen the understanding of the connection between two long-standing Graph Drawing open problems, that is, Simultaneous Embedding with Fixed Edges (SEFE) and Clustered Planarity (C-PLANARITY). In his GD'12 paper Marcus Schaefer presented a reduction from C-PLANARITY to SEFE of two planar graphs (SEFE-2). We prove that a reduction exists also in the opposite direction, if we consider instances of SEFE-2 in which the intersection graph is connected. We pose as an open question whether the two problems are polynomial-time equivalent.

研究の動機と目的

• SEFE-2とC-Planarityの間の計算的関係を、グラフ描画分野における長年の未解決問題として調査すること。
• C-SEFE-2がC-Planarityに還元可能かどうかを特定すること、特に逆方向への既知の還元を拡張すること。
• 共通グラフが連結である条件の下で、両問題が多項式時間同等であるかどうかを調査すること。
• 還元の構造的性質、特にクラスタ階層と元のグラフ構造に関して分析すること。
• クラスタ数と還元されたC-Planarityインスタンスの複雑さに関連する未解決問題を特定すること。

提案手法

• 著者らは、共通グラフが連結であるC-SEFE-2インスタンスからC-Planarityインスタンスへの多項式時間還元を構築した。
• 頂点の分割とクラスタ再編成を通じて、元のグラフを互いに素なパスの集合に変換した。
• クラスタ階層を変更し、c-Planarity制約を保持させ、エッジの交差とクラスタ境界の整合性を保った。
• 還元は、クラスタ境界を横切るパスが元のC-SEFE-2インスタンスと同一の順序で交差するようにして、等価性を維持した。
• 変換後のC-Planarityインスタンスにおいて、各頂点がパス上に存在し、すべてのクラスタがフラットであることを保証し、元の問題の構造的制約を維持した。
• 還元の等価性は、変換されたインスタンスの任意のc-Planar図が元のC-SEFE-2インスタンスにおける有効な同時埋め込みに対応することを示すことによって証明された。

実験結果

リサーチクエスチョン

• RQ1 共通グラフが連結である場合に、C-SEFE-2が多項式時間でC-Planarityに還元可能か。
• RQ2 SEFE-2とC-Planarityの間で双方向の多項式時間還元が存在するか、計算的同等性を示唆するか。
• RQ3 還元がクラスタ境界の交差やパスの順序といった構造的制約を保持するか。
• RQ4 還元されたC-Planarityインスタンスにおけるクラスタ数が、元のC-SEFE-2インスタンスのサイズに対して非線形的または定数的に抑えられるか。
• RQ5 パスや木などの元のグラフ構造が、このような還元を可能にする役割を果たすか。

主な発見

• 共通グラフが連結である場合に、C-SEFE-2からC-Planarityへの多項式時間還元が存在する。
• 還元は、フラットなクラスタ階層と、互いに素なパスからなる元のグラフを有するC-Planarityインスタンスを生成する。
• 構築されたC-Planarityインスタンスは、c-Planarityと埋め込み制約の点で元のC-SEFE-2インスタンスと等価である。
• 還元は、パスがクラスタ境界を横切る順序を保持しており、元の同時埋め込みと整合的である。
• 変換は、削除された頂点をその対応するクラスタに再挿入可能であり、c-Planarityを破壊しないように維持する。
• この結果は、SEFE-2とC-Planarityが、共通グラフに連結性制約がある場合に計算的に同等である可能性を支持する。