[論文レビュー] Bipartite graphs with a perfect matching and digraphs

Zan‐Bo Zhang, Dingjun Lou|arXiv (Cornell University)|Nov 19, 2010

Graph theory and applications参考文献 8被引用数 3

ひとこと要約

本稿は、完全マッチングをもつ二部グラフと有向グラフ（digraph）の間に双対性を確立し、二部グラフにおけるk-拡張可能性が、関連する有向グラフにおけるk-strong連結性に正確に対応することを示している。主な貢献は、1-拡張不能な二部グラフにおける基本的成分と、それに対応する有向グラフにおける強成分との間の構造的同型性であり、隣接行列変換と連結性解析を通じて、グラフ理論と行列理論の概念を統合している。

ABSTRACT

In this paper, we introduce a corresponding between bipartite graphs with a perfect matching and digraphs, which implicates an equivalent relation between the extendibility of bipartite graphs and the strongly connectivity of digraphs. Such an equivalent relation explains the similar results on $k$-extendable bipartite graphs and $k$-strong digraphs. We also study the relation among $k$-extendable bipartite graphs, $k$-strong digraphs and combinatorial matrices. For bipartite graphs that are not 1-extendable and digraphs that are not strong, we prove that the elementary components and strong components are counterparts.

研究の動機と目的

• 隣接行列変換を用いて、完全マッチングをもつ二部グラフと有向グラフの間の正式な対応関係を確立すること。
• 関連する有向グラフにおけるk-strong連結性と二部グラフにおけるk-拡張可能性の同等性を明確にすること。
• k-分解不能行列をk-strong有向グラフに結びつけることで、組合せ行列論とグラフ連結性を統合すること。
• 1-拡張不能な二部グラフにおける基本的成分の構造的対応物と、それらの有向グラフ表現における強成分を特定すること。

提案手法

• 完全マッチングMをもつ二部グラフGから、削減された隣接行列R(G)から単位行列を引いたものを使って、D = D(G, M)として有向グラフDを構築する。
• 行列Mから関連する有向グラフD(M)を定義する。これは、一方の分割から他方の分割へと有向辺を設定し、マッチングの辺を収縮することで得られる。
• 置換行列を用いて、0-1行列の還元可能性と分解可能性を分析し、k-還元可能、k-分解不能、k-非還元的という形態を区別する。
• 経路と分離集合の議論を用いて、行列Aがk-分解不能であることと、その関連する有向グラフD(A)がk-strongであることの必要十分条件を証明する。
• Gにおける固定されていない辺とDにおける弧の間の全単射を確立し、連結性やマッチング拡張といった構造的性質を保存することを示す。
• Gにおける基本的成分（1-拡張可能な部分グラフ）が、Dにおける強成分に正確に対応することを、背理法と交互サイクル解析を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 二部グラフのk-拡張可能性は、関連する有向グラフのk-strong連結性とどのように関係するか？
• RQ2 1-拡張不能な二部グラフにおける基本的成分と、その関連する有向グラフにおける強成分との間の構造的対応は何か？
• RQ3 0-1行列がk-strong有向グラフに対応するための行列理論的条件は何か？
• RQ4 二部グラフにおける固定辺構造は、関連する有向グラフの強成分分解によって完全に特徴付けられるか？
• RQ5 k-分解不能行列とk-非還元的行列は、それらの関連する有向グラフの連結性特性とどのように関係するか？

主な発見

• 二部グラフGがk-拡張可能であることと、関連する有向グラフD(G, M)がk-strongであることとは、同値である。これにより、グラフの拡張可能性と有向グラフの連結性の間の直接的な同等性が確立された。
• 1-拡張不能でない二部グラフGにおける基本的成分は、関連する有向グラフD(G, M)における強成分に正確に対応する。
• 行列Aの関連する有向グラフD(A)がk-strongであることと、Aがk-分解不能であることとは、同値である。これにより、行列の分解可能性と有向グラフの連結性が結びつけられた。
• 行列Aがk-非還元的であることと、A + Iがk-分解不能であることとは、同値である。これにより、単位行列を加えることで、行列-有向グラフ対応におけるk-連結性が保存されることが示された。
• Gにおける固定された単一辺は、Dにおけるその強成分内で孤立している頂点に対応し、固定された二重辺は、Dにおける単一頂点の強成分に対応する。
• Gにおけるマッチングの対称差と交互サイクルは、Dにおける有向サイクルに対応し、非最大の強成分がマッチング拡張において矛盾を引き起こすことを証明した。