[論文レビュー] A Canonical Characterization of the Family of Barriers in General Graphs

Nanao Kita|arXiv (Cornell University)|Dec 24, 2012

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

ひとこと要約

本稿は一般のグラフにおける奇最大バリアの正規化特徴付けを提供し、基本的グラフに限られていたロヴァーシュの正規化分割を、すべての因数可能グラフへ一般化する。新しいアルゴリズムを用い、一般化された正規化分割と補助有向グラフに基づき、バリアおよび奇成分の構造的分解を明らかにすることで、すべての因数可能グラフにおけるマッチング理論の統一的枠組みを構築する。

ABSTRACT

Given a graph, a barrier is a set of vertices determined by the Berge formula---the min-max theorem characterizing the size of maximum matchings. The notion of barriers plays important roles in numerous contexts of matching theory, since barriers essentially coincides with dual optimal solutions of the maximum matching problem. In a special class of graphs called the elementary graphs, the family of maximal barriers forms a partition of the vertices; this partition was found by Lovász and is called the canonical partition. The canonical partition has produced many fundamental results in matching theory, such as the two ear theorem. However, in non-elementary graphs, the family of maximal barriers never forms a partition, and there has not been the canonical partition for general graphs. In this paper, using our previous work, we give a canonical description of structures of the odd-maximal barriers---a class of barriers including the maximal barriers---for general graphs; we also reveal structures of odd components associated with odd-maximal barriers. This result of us can be regarded as a generalization of Lovász's canonical partition.

研究の動機と目的

• 非基本的グラフにおける最大バリアの正規構造の欠如、特に最大バリアの族が頂点の分割を形成しないという点を解消する。
• 従来、基本的グラフにしか適用できなかったロヴァーシュの正規化分割を、すべての因数可能グラフに適用可能な正規枠組みへ一般化する。
• 一般のグラフにおける奇最大バリアおよびそれに関連する奇成分の構造を特徴付ける。
• 一般化された正規化分割および因数成分順序関係を $O(nm)$ 時間で計算するアルゴリズム的手法を提供する。

提案手法

• 一般化された正規化分割および一般化されたカテドラル構造に関する先行研究を活用し、一般のグラフにおけるバリア成分を記述する。
• 最大バリアの一般化として奇最大バリアの概念を導入し、非基本的グラフにおける本質的構造的性質を捉える。
• アルゴリズム1を提案し、一般化された正規化分割 $\mathcal{P}(G)$ および因数成分順序 $\triangleleft$ を表す補助有向グラフ $Aux(G)$ を計算する。
• 補助グラフ $H_G(X)$ の DM 分解を用いてバリア成分を同定し、$Aux(G)$ の有向辺を介して到達可能性を伝搬する。
• $^{c}U(S)$ を定義し、バリア成分 $S$ の外部で到達可能な頂点の集合とし、有向辺の構築に不可欠な役割を果たす。
• $Aux(G)$ の強連結成分を用いて元の因数成分 $\mathcal{G}(G)$ を回復し、$H \in \mathcal{G}(G)$ と一対一対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 ロヴァーシュの正規化分割を基本的グラフからすべての因数可能グラフへ一般化できるか？
• RQ2 一般のグラフ、特に非基本的設定において奇最大バリアを特徴付ける構造的性質は何か？
• RQ3 最大バリアの族が頂点集合の分割を形成しなくなった場合、どのようにして正規的に記述できるか？
• RQ4 一般のグラフにおいて、一般化された正規化分割および因数成分順序を計算するアルゴリズム的計算量は何か？
• RQ5 奇最大バリアに関連する奇成分はどのように振る舞い、全体のバリア構造において果たす役割は何か？

主な発見

• 一般化された正規化分割 $\mathcal{P}(G)$ は、一般のグラフにおける奇最大バリアを構成する原子への頂点集合の正規分解を形成する。
• アルゴリズム1により構築された補助有向グラフ $Aux(G)$ は、因数成分順序 $\triangleleft$ を符号化しており、$H_1 \triangleleft H_2$ であることは、$Aux(G)$ 内で任意の $u \in V(H_1)$ から任意の $v \in V(H_2)$ へ有向パスが存在することと同値である。
• $Aux(G)$ の強連結成分は、正確に因数成分 $\mathcal{G}(G)$ に対応し、元の因数分解を回復可能である。
• アルゴリズム1は $\mathcal{P}(G)$ および $Aux(G)$ を $O(nm)$ 時間で計算でき、命題23および定理4.4により正しさが保証される。
• 奇最大バリアに関連する奇成分の構造は、$^{c}U(S)$ の構築により完全に特徴付けられており、バリア成分から到達可能な頂点を同定する。
• 結果として、ロヴァーシュの正規化分割が一般化され、基本的グラフを超えたマッチング理論における多面体的およびアルゴリズム的研究の基盤が提供される。