[論文レビュー] On Large Induced Outerplanar Subgraphs in $2$-Outerplanar Graphs

Marco D’Elia, Fabrizio Frati|arXiv (Cornell University)|Feb 20, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

論文は前稿の誤りを是正し、任意のn頂点2-outerplaneグラフには少なくとも2n/3頂点を含む誘導外部平面部分グラフが存在することを証明する新しい帰納アルゴリズムを提供します。

ABSTRACT

Borradaile, Le and Sherman-Bennett [Graphs and Combinatorics, 2017] proved that every $n$-vertex $2$-outerplane graph has a set of at least $2n/3$ vertices that induces an outerplane graph. We identify a major flaw in their proof and recover their result with a different, and unfortunately much more complex, proof.

研究の動機と目的

• 2-outerplanarグラフ内で大きな誘導外部平面部分グラフを見つけることを動機づけ、Albertson–Berman型の森林結果へ向かう道を示す。
• 2-outerplaneグラフにおいて大きな誘導外部平面部分グラフを主張する既存の証明の重大な欠陥を特定し修正する。
• 任意のn頂点2-outerplaneグラフに対して2n/3サイズの外部平面誘導部分グラフを生み出す自己完結で厳密な構成的証明を提供する。

提案手法

• 2-outerplaneグラフ、外部平面埋め込み、誘導部分グラフに関する関連概念をレビュー・形式化する。
• 2n/3の界を主張した以前のアルゴリズムの欠陥を、反例を構築して示す。
• 内部三角形化された2-outerplaneグラフが与えられたとき、大きな良い集合Iを|I|≥2n/3となるように構築し、G[I]が外部平面となる新しい帰納アルゴリズムを開発する。
• G[L2]の終端成分とケージグラフをめぐる細かなケース分析を導入し、再帰的削減を導く根付きブロック-割頂木の枠組みを用意する。
• どのような場合でも帰納法を進められることを証明し、結果として得られる部分グラフが外部平面を保つことを保証する。

Figure 1 : Illustration for the correctness of Step 4 in the proof of Lemma ˜ 2.1 . The cycle $\mathcal{C}$ is represented by a thick line and the face $f$ is shaded orange.

実験結果

リサーチクエスチョン

• RQ1 任意のn頂点2-outerplaneグラフには少なくとも2n/3頂点の誘導外部平面部分グラフが存在するか？
• RQ2 Borradaile, Le and Sherman-Bennettの先行証明はどこで誤っていたのか、訂正された議論をどう構築できるのか？
• RQ3 終端成分、ケージグラフ、根付きブロック-割頂木が、正しい帰納的証明を可能にする構造分解としてどう機能するのか？
• RQ4 訂正されたアプローチは大きな誘導外部平面部分グラフを計算する多項式時間アルゴリズムを生み出すのか？
• RQ5 補助的構成（例えば困ったブロック vs 心地良いブロック）などは帰納ステップと停止条件にどのような影響を与えるのか？

主な発見

• 訂正された証明により、任意のn頂点2-outerplaneグラフには|I|≥2n/3で誘導部分グラフが外部平面となる集合Iが存在する。
• 本論文は先行証明の重大な欠陥を特定・説明し、従来のアプローチが機能しない反例を示す。
• G[L2]の終端成分とケージグラフを中心とした包括的なケース区別を備えた帰納アルゴリズムを開発し、2n/3界を達成する。
• 構築は各ステップでG[I]が外部平面を維持することを保証し、多項式時間で実装可能な手続きを導く（概要を提供）。
• 本研究はG[L2]とL1構造の境界を明確にし、推論削減を導く根付き双対木およびブロック-割頂木を用いる。

b