[論文レビュー] Characterizing Sparse Graphs by Map Decompositions

Ruth Haas, Audrey Lee+2 more|arXiv (Cornell University)|Apr 29, 2007

Advanced Graph Theory Research参考文献 13被引用数 6

ひとこと要約

本稿は、$\ell$ 条の辺を追加した後に $k$ 個の辺に重複のない写像に分解可能なグラフを同定し、$0 \leq \ell \leq 2k-1$ の範囲で一様なマトロイド的特徴づけを提供する。任意の $\ell$ 条の辺を追加したときにグラフが $k$-map-分解可能であるための必要十分条件は、$(k,0)$-スパースであることと $kn - \ell$ 条の辺を持つことであることが示され、これは二部多重グラフ構成における完全マッチングと関連している。

ABSTRACT

A {\bf map} is a graph that admits an orientation of its edges so that each vertex has out-degree exactly 1. We characterize graphs which admit a decomposition into $k$ edge-disjoint maps after: (1) the addition of {\it any} $\ell$ edges; (2) the addition of {\it some} $\ell$ edges. These graphs are identified with classes of {\it sparse} graphs; the results are also given in matroidal terms.

研究の動機と目的

• 任意の $\ell$ 条の辺を追加した後に $k$ 個の辺に重複のない写像に分解可能なグラフを特徴づけること、$0 \leq \ell \leq 2k-1$ を満たす。
• $(k,\ell)$-スパースグラフおよび $k$-有路の既存の結果を、写像分解の文脈に拡張すること。
• すべての $\ell$ 値において、タイトなグラフの特徴づけを写像に基づく分解を通じて統一すること。
• 二部マッチングと切断を用いたマトロイド的枠組みを提供し、$k$-map-分解可能性を理解すること。

提案手法

• 頂点集合 $V$ のコピーを $k$ 個持つ二部多重グラフ $B_k(G)$ を構成し、$G$ の辺に対応させる。
• ハルの結婚定理を適用して、$G$ が $(k,0)$-タイトであることと $B_k(G)$ が完全マッチングを持つことが同値であることを示す。
• 完全マッチングを用いて、各頂点が $k$ 個の辺に重複のない部分グラフにおいてちょうど出次数 1 を持つように辺を向き付け、$k$ 個の写像を構成する。
• $(k,0)$-スパースで $kn - \ell$ 条の辺を持つグラフに任意の $\ell$ 条の辺を追加すると、それが $k$-map であるための必要十分条件は、元のグラフが $(k,0)$-スパースであることであることを証明する。
• マトロイドの切断と独立性を用いて、クラス $\mathcal{N}_{k,\ell}$ を $(k,0)$-スパースで $kn - \ell$ 条の辺を持つグラフの集合として特徴づける。
• 既存の $(k,\ell)$-タイトグラフの結果と、$\ell$ 個の木と $k-\ell$ 個の辺に重複のない写像への分解を用いて、同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのグラフが任意の $\ell$ 条の辺を追加した後に $k$ 個の辺に重複のない写像に分解可能になるか？
• RQ2 スパース条件 $kn - \ell$ は、このような写像分解の存在とどのように関係しているか？
• RQ3 すべての $\ell \in [0, 2k-1]$ において、$k$-map-分解可能性の特徴づけを一様に表現できるか？
• RQ4 $(k,0)$-スパース性は、辺の追加後に $k$-map-分解を可能にする上で果たす役割は何か？
• RQ5 マトロイド的構造、たとえば切断や独立性は、$k$-map-分解とどのように関連しているか？

主な発見

• 辺数が $kn - \ell$ 個であるグラフ $G$ が任意の $\ell$ 条の辺を追加した後に $k$-map-分解可能であるための必要十分条件は、$(k,0)$-スパースであることである。
• 二部多重グラフ $B_k(G)$ に完全マッチングが存在することは、$G$ が $(k,0)$-タイトであることと同値であり、これは辺の追加後の $k$-map-分解を保証する。
• 任意の $\ell$ 条の辺を追加した後に $k$ 個の辺に重複のない写像に分解可能なグラフの集合は、正確に $(k,0)$-スパースで $kn - \ell$ 条の辺を持つグラフの集合に一致する。
• この特徴づけはすべての $\ell \in [0, 2k-1]$ に対して一様であり、従来のスパースグラフおよび写像分解に関する結果を統合する。
• 結果として、マトロイド的同値性が確立された：$G \in \mathcal{N}_{k,\ell}$ であるための必要十分条件は、$G$ が自軸マトロイドの $k$ 重和集合において独立であり、かつ $kn - \ell$ 条の辺を持つことである。
• 本稿では、$\ell$ 条の辺を追加した後の $k$-map-分解可能性が、タイトな場合に $\ell$ 個の辺に重複のない生成木と $k-\ell$ 個の辺に重複のない写像への分解が存在することと同値であることを示し、ホワイトリーの結果を拡張する。