[論文レビュー] Lower Bounds for Planar Electrical Reduction.

Hsien-Chih Chang, Jeff Erickson|arXiv (Cornell University)|Jul 15, 2017

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

ひとこと要約

この論文は、穴あき曲面上のホモトピー移動と関連付けることで、平面グラフにおける電気的変換のより強い下界を確立する。2つ以上の端子を持つグラフに対しては、環状ホモトピー移動を用いてΩ(n²)の下界を証明し、すべての平面埋め込みにおいて中点グラフの欠損値が不変であるという事実を用いて、一般の平面的電気的変換へΩ(n^{3/2})の下界を拡張する。

ABSTRACT

We strengthen the connections between electrical transformations and homotopy from the planar setting---observed and studied since Steinitz---to arbitrary surfaces with punctures. As a result, we improve our earlier lower bound on the number of electrical transformations required to reduce an $n$-vertex graph on surface in the worst case [SOCG 2016] in two different directions. Our previous $\Omega(n^{3/2})$ lower bound applies only to facial electrical transformations on plane graphs with no terminals. First we provide a stronger $\Omega(n^2)$ lower bound when the planar graph has two or more terminals, which follows from a quadratic lower bound on the number of homotopy moves in the annulus. Our second result extends our earlier $\Omega(n^{3/2})$ lower bound to the wider class of planar electrical transformations, which preserve the planarity of the graph but may delete cycles that are not faces of the given embedding. This new lower bound follows from the observation that the defect of the medial graph of a planar graph is the same for all its planar embeddings.

研究の動機と目的

• 電気的変換と平面的・穴あき曲面上のホモトピー移動との間の関係を強化すること。
• 曲面上のn頂点グラフを削減するために必要な電気的変換の数の最悪ケース下界を改善すること。
• 顔変換に対するΩ(n^{3/2})の下界を、非顔サイクルを削除する可能性を含む平面的電気的変換の広いクラスへ拡張すること。
• 環状ホモトピー移動を用いて、2つ以上の端子を持つグラフに対して二次下界を確立すること。

提案手法

• 穴あき曲面上のホモトピー移動の観点から電気的変換を分析すること。
• 環をモデル曲面として用い、端子を持つグラフに対するホモトピー移動の二次下界を導出すること。
• 平面グラフの中点グラフの欠損値の概念を導入し、すべての平面埋め込みにおいてその不変性を証明すること。
• この不変性を応用して、Ω(n^{3/2})の下界を一般の平面的電気的変換へ拡張すること。
• 既知の環状におけるホモトピー移動の結果を活用して、電気的変換列の下界を導出すること。
• 電気的変換の複雑さの問題を、グラフ埋め込みの位相的不変量へ還元すること。

実験結果

リサーチクエスチョン

• RQ1 2つ以上の端子を持つ平面的グラフを削減するために、最悪ケースでどの程度の電気的変換が必要か？
• RQ2 電気的変換の複雑さは、穴あき曲面上のホモトピー移動とどのように関係するか？
• RQ3 顔変換に対するΩ(n^{3/2})の下界は、平面的電気的変換の広いクラスへ拡張可能か？
• RQ4 平面グラフの中点グラフの欠損値は、異なる平面埋め込みにおいて不変か？
• RQ5 グラフ削減に必要な最小電気的変換数を支配する位相的不変量は何か？

主な発見

• 2つ以上の端子を持つn頂点平面グラフを削減するために必要な電気的変換数に対して、Ω(n²)の下界が確立された。
• この二次下界は、環状におけるホモトピー移動数の対応する下界に起因する。
• 平面グラフの中点グラフの欠損値は、すべての平面埋め込みにおいて不変であり、解析の鍵となる位相的不変量である。
• 先行研究で得られたΩ(n^{3/2})の下界が、平面的電気的変換のクラスへ拡張された。このクラスは平面性を保つが、非顔サイクルの削除を許容する。
• 電気的変換とホモトピー移動との間の関係が、任意の穴あき曲面に対して形式化され強化された。
• 中点グラフの欠損値の不変性は、電気的変換列に対する下界を証明するための新しい道具を提供した。