[論文レビュー] On the perfect matching index of bridgeless cubic graphs

Jean‐Luc Fouquet, Jean-Marie Vanherpe|ArXiv.org|Apr 8, 2009

Advanced Graph Theory Research参考文献 9被引用数 30

ひとこと要約

本稿は、ブリッジレスな3正則グラフのすべての辺を被覆するのに必要な完全マッチングの最小数として定義される完全マッチング指数 τ(G) を調査する。非自明なクラスのグラフに対して τ(G) = 4 であることを証明し、そのようなグラフの構造的性質を同定し、Fulkersonの6重被覆とBergeの5重被覆に関する予想との関係を検討する。主な貢献は、τ(G) = 4 であるグラフの特徴付けと、τ(G) = 5 かつ τ_odd(G) = 7 であるグラフの構成であり、3正則グラフにおける辺被覆の複雑さを強調している。

ABSTRACT

If $G$ is a bridgeless cubic graph, Fulkerson conjectured that we can find 6 perfect matchings $M_1,...,M_6$ of $G$ with the property that every edge of $G$ is contained in exactly two of them and Berge conjectured that its edge set can be covered by 5 perfect matchings. We define $τ(G)$ as the least number of perfect matchings allowing to cover the edge set of a bridgeless cubic graph and we study this parameter. The set of graphs with perfect matching index 4 seems interesting and we give some informations on this class.

研究の動機と目的

• ブリッジレスな3正則グラフのすべての辺を被覆するために必要な完全マッチングの最小数として定義される完全マッチング指数 τ(G) を定義し、その性質を分析すること。
• τ(G) = 4 であるブリッジレスな3正則グラフのクラスを調査し、それが3辺連結であるか、2辺カットを含まないなどの構造的・接続性的性質によって特徴づけられることを特定すること。
• τ(G) とより強い予想（Fulkersonの予想：各辺がちょうど2つのマッチングに属する6重被覆）およびBergeの予想（5重被覆）との関係を検討すること。
• 奇数回被覆（各辺が奇数回被覆される）の存在を検討し、そのような被覆に必要な完全マッチングの最小数 τ_odd(G) を導入すること。
• すべてのブリッジレスな3正則グラフが、各辺がちょうど2つまたは4つのマッチングに属する偶数被覆をもつのかどうかを検証すること。

提案手法

• ブリッジレスな3正則グラフ G の完全マッチング指数 τ(G) を、G のすべての辺を被覆するために必要な完全マッチングの最小数として定義する。
• 2カットおよび3カット接続（G₁ ⨀ G₂ および G₁ ⊗ G₂）を用いて新たなブリッジレスな3正則グラフを構成し、τ(G) がこれらの操作の下でどのように変化するかを分析する。
• τ(G₁) = k ならば τ(G₁ ⨀ G₂) ≥ k および τ(G₁ ⊗ G₂) ≥ k または主3辺カットを含むことを証明し、連結グラフにおける τ(G) の下界を確立する。
• 具体的に20頂点の3正則グラフ G を構成し、完全マッチングの明示的列挙と被覆性質の検証により τ(G) = 5 かつ τ_odd(G) = 7 であることを示す。
• 偶奇性および辺カットの議論（例：奇数の辺カットは完全マッチングによって奇数個の辺と交差する）を用いて、特定の被覆構成を除外する。
• 3辺彩色可能なグラフおよび τ(G) = 4 であるグラフが、各辺が2つまたは4つの完全マッチングに属する偶数被覆をもつことを示す。

実験結果

リサーチクエスチョン

• RQ1 ブリッジレスな3正則グラフのすべての辺を被覆するために必要な完全マッチングの最小数は何か？ また、このパラメータ τ(G) は2カットおよび3カット接続といったグラフ操作の下でどのように振る舞うか？
• RQ2 τ(G) = 4 であるすべてのブリッジレスな3正則グラフは、特定の構造的・接続性的性質（例：3辺連結であること、2辺カットを含まないこと）によって特徴づけられるか？
• RQ3 τ(G) = τ_odd(G) = 5 であるようなブリッジレスな3正則グラフが存在するか？ そのようなグラフが満たすべき構造的制約は何か？
• RQ4 すべてのブリッジレスな3正則グラフが、各辺がちょうど2つまたは4つの完全マッチングに属する偶数被覆をもつという主張は正しいか？
• RQ5 パラメータ τ(G) と τ_odd(G) は、Fulkersonの6重被覆とBergeの5重被覆に関する予想とどのように関係しているか？

主な発見

• 本稿は、τ(G) = 5 かつ τ_odd(G) = 7 であるブリッジレスな3正則グラフ G を構成し、このようなグラフが高奇数被覆数をもつことの存在を示した。
• τ(G) = 4 であることは、G が3辺彩色可能であるか、特定の接続性およびマッチング構造を持つ非3彩色可能なクラスに属することと同値であることを証明した。
• τ(G) = 4 であるグラフに対しては、各辺がちょうど2回または4回被覆されるサイズ8の偶数被覆が存在することを示した。
• すべてのブリッジレスな3正則グラフに対して τ(G) ≥ 3 であり、τ(G) = 3 であることは G が3辺彩色可能であることと同値であることを証明した。
• τ(G₁) = k ならば τ(G₁ ⨀ G₂) ≥ k および τ(G₁ ⊗ G₂) ≥ k であるが、被覆に含まれるマッチングの1つが主3辺カットを含む場合は除く、という条件を示した。
• 3辺彩色可能なグラフおよび τ(G) = 4 であるグラフが、各辺が2つまたは4つの完全マッチングに属する偶数被覆をもつことを示した。これは、このような偶数被覆が普遍的に存在する可能性を支持する。