[論文レビュー] The internally 4-connected binary matroids with no M(K3,3)-minor

Dillon Mayhew, Gordon Royle+1 more|ArXiv.org|Feb 5, 2009

Advanced Graph Theory Research参考文献 14被引用数 10

ひとこと要約

本稿では、$M(K_{3,3})$-minor を含まない内部4連結な2進マトロイドを特徴づけ、それらがcographic、3次または4次モビウスラダーの結合マトロイドの単一要素拡張（三角形または3次的モビウスマトロイドを形成）、またはランクが11以下の18個の特定の散発的マトロイドのいずれかであることを示している。証明は構造的マトロイド理論と、同型および部分マトロイド包含のコンピュータ支援検証を組み合わせており、Macekソフトウェアパッケージと独立した独立性検証用カスタムコードを用いて検証が行われている。

ABSTRACT

We give a characterization of the internally 4-connected binary matroids that have no minor isomorphic to M(K3,3). Any such matroid is either cographic, or is isomorphic to a particular single-element extension of the bond matroid of a cubic or quartic Mobius ladder, or is isomorphic to one of eighteen sporadic matroids.

研究の動機と目的

• 内部4連結な2進マトロイドで $M(K_{3,3})$ を部分マトロイドとして含まないものをすべて特徴づけること。
• チューティの古典的結果（例：チューティの定理）を超えて、2進マトロイド理論における除外部分マトロイド特徴づけの理解を拡張すること。
• このクラスの構造的構成要素（cographicマトロイド、モビウスマトロイド、散発的ケース）を特定・分類すること。
• $M(K_{3,3})$-minor を含むかどうかを判定する多項式時間アルゴリズムの基盤を提供すること。

提案手法

• 構造的分類の概念的モデルとして、セイモアの分解定理を用いる。
• 基本的なマトロイド概念の適用：連結性、基本的グラフ、ブロッキング列、および $\Delta$-$Y$ 変換。
• 3次または4次モビウスラダーのcographicマトロイドの単一要素拡張として定義・分析する三角形および3次的モビウスマトロイド。
• Macekソフトウェアパッケージを用いたコンピュータ支援検証により、同型、部分マトロイド包含、拡張生成を検証する。
• 検証の再現性を確保するため、独立したカスタムソフトウェアを実装してコンピュータ検証を再確認する。
• 候補マトロイドの体系的ケース解析を行い、コンピュータ検証は記号（✠）でマークされ、オンライン文書に参照されている。

実験結果

リサーチクエスチョン

• RQ1 どの内部4連結な2進マトロイドが $M(K_{3,3})$ を部分マトロイドとして含まないか？
• RQ2 このようなマトロイドのクラスは、完全に構造的ファミリーに分解可能か？
• RQ3 モビウスラダーおよびその拡張は、除外部分マトロイドクラスの形成に果たす役割は何か？
• RQ4 全列挙を避けて、コンピュータ支援検証をマトロイド理論的証明に厳密に統合する方法は何か？
• RQ5 $M(K_{3,3})$ を含まない、無限ファミリーに属さない散発的マトロイドは有限個か？

主な発見

• 内部4連結な2進マトロイドで $M(K_{3,3})$-minor を含まないものは、3つのクラスに分割される：cographicマトロイド、三角形または3次的モビウスマトロイド、および18個の特定の散発的マトロイド。
• ランク $r \geq 3$ の一意な三角形モビウスマトロイド $\Delta_r$ と、偶数ランク $r \geq 4$ の一意な3次的モビウスマトロイド $\Upsilon_r$ が存在する。
• 18個の散発的マトロイドは付録Bに明示的に列挙されており、無限ファミリーに属さないランク11以下の唯一のマトロイドである。
• コンピュータ検証により、許容可能な三角形を含むのは $M_{4,11}, M_{5,12}^a, M_{6,13}, M_{7,15}, M_{9,18}, M_{11,21}$ のみであり、これらが交差する三角形を持つ唯一の散発的マトロイドである。
• $C_{11}, C_{12}, D_{12}, M_{4,13}, M_{4,14}, \mathrm{PG}(3,2), T_{12}, M_{5,11}, T_{12}/e, M_{5,12}^b, M_{5,13}$ のようなマトロイドは許容可能な三角形を含まず、したがって新たな散発的マトロイドを形成する拡張は不可能である。
• 証明は完全に再現可能である：すべてのコンピュータ検証は詳細に記述されており、Macekまたは独立したソフトウェアで検証可能である。