[論文レビュー] Packing of mixed hyperarborescences with flexible roots via matroid intersection

Florian Hörsch, Zoltán Szigeti|arXiv (Cornell University)|Dec 27, 2020

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

ひとこと要約

本稿では、各頂点 $v$ が少なくとも $f(v)$ 個かつ多くて $g(v)$ 個の有向ハイパーツリーを根とするような、$k$ 個の混合ハイパーツリーのパッキングを、マトロイド交差に基づく特徴付けとアルゴリズムで提示する。主な貢献は、マトロイド交差を用いて最小重み $(k,f,g)$-柔軟パッキングを多項式時間で求めるアルゴリズムの開発であり、固定根付き有向ハイパーツリーのパッキングに関する先行研究を一般化する。

ABSTRACT

Given a mixed hypergraph $\\mathcal{F}=(V,\\mathcal{A}\\cup \\mathcal{E})$, functions $f,g:V\ ightarrow \\mathbb{Z}_+$ and an integer $k$, a packing of $k$ spanning mixed hyperarborescences is called $(k,f,g)$-flexible if every $v \\in V$ is the root of at least $f(v)$ and at most $g(v)$ of the mixed hyperarborescences. We give a characterization of the mixed hypergraphs admitting such packings. This generalizes results of Frank and, more recently, Gao and Yang. Our approach is based on matroid intersection, generalizing a construction of Edmonds. We also obtain an algorithm for finding a minimum weight solution to the above mentioned problem.

研究の動機と目的

• 有向グラフにおけるFrankの $(k,f,g)$-柔軟有向ハイパーツリーのパッキング結果を有向グラフから混合ハイパーグラフへ一般化すること。
• GaoとYangの混合グラフに関する結果を、より広範な混合ハイパーグラフにおける柔軟根制約の設定に拡張すること。
• マトロイド交差を用いて最小重み $(k,f,g)$-柔軟パッキングを多項式時間で計算するアルゴリズムの開発。
• マトロイド理論的ツールを用いて、このような柔軟パッキングを許容する混合ハイパーグラフの完全な特徴付けの提供。

提案手法

• 問題を2つのマトロイド上でのマトロイド交差問題に定式化する：下部の辺集合上の $k$-フォレストマトロイドと、弧およびハイパーエッジ集合上の $(k,f,g)$-パーティションマトロイド。
• $\sf M^k_{\mathcal{F}}$ を、混合ハイパーグラフの下部グラフのフォレストマトロイドの $k$-和として定義する。
• $(k,f,g)$-パーティションマトロイド $\sf M^{(k,f,g)}_{\mathcal{D}_{\mathcal{F}}}$ を、各頂点のインエッジ集合上での一様マトロイドの直和として定義し、$f(v)$ および $g(v)$ の制約に合わせて調整する。
• Edmondsのマトロイド交差定理を用いて、サイズ $k(|V|-1)$ の共通独立集合の存在を特徴づけ、これは有効な $(k,f,g)$-柔軟パッキングに対応する。
• 重みをハイパーエッジに割り当て、Edmondsの重み付きマトロイド交差アルゴリズムを適用して、合計重みを最小化する解を計算する。
• 共通独立集合から、$f(v)$ および $g(v)$ に一致する根の重複度を持つ $k$ 個の生成ハイパーツリーに分解することで、実際のハイパーツリーのパッキングを再構成する。

実験結果

リサーチクエスチョン

• RQ1 混合ハイパーグラフが、各頂点 $v$ が少なくとも $f(v)$ 個かつ多くて $g(v)$ 個の生成混合ハイパーツリーを含む $k$ 個のパッキングを持つための条件は何か？
• RQ2 混合ハイパーツリーのパッキングにおける柔軟根制約は、どのようにマトロイド理論を用いてモデル化できるか？
• RQ3 マトロイド交差を用いて、最小重み $(k,f,g)$-柔軟パッキングを多項式時間で計算できるか？
• RQ4 マトロイド交差フレームワークは、有向グラフおよび混合グラフにおける固定根付き有向ハイパーツリーのパッキングに関する先行結果をどのように拡張するか？

主な発見

• 混合ハイパーグラフ $\mathcal{F}=(V,\mathcal{A} \cup \mathcal{E})$ が $(k,f,g)$-柔軟パッキングを許容するための必要十分条件は、$k$-フォレストマトロイドと $(k,f,g)$-パーティションマトロイドの2つのマトロイドにおける特定のランク条件が満たされることである。
• このようなパッキングの存在は、マトロイド ${\sf M}^k_{\mathcal{F}}$ と ${\sf M}^{(k,f,g)}_{\mathcal{D}_{\mathcal{F}}}$ の両方において、サイズ $k(|V|-1)$ の共通独立集合の存在と同値である。
• 本稿では、重み付きマトロイド交差を用いて最小重み $(k,f,g)$-柔軟パッキングを多項式時間で計算するアルゴリズムを提供する。
• アルゴリズムは多項式時間で実行可能である。これは、Lemmas 2および3によって、両マトロイドに対して多項式時間で動作する独立性オракルが存在することが保証されているからである。
• 解は、共通独立集合を $f(v)$ および $g(v)$ の境界に一致する根の重複度を持つ $k$ 個の生成ハイパーツリーに分解することで再構成される。
• この特徴付けは、Frankの有向グラフに関する結果およびGaoとYangの混合グラフに関する結果を、より広範な混合ハイパーグラフの設定へ一般化する。