[論文レビュー] $\Gamma$-graphic delta-matroids and their applications

Donggyu Kim, Duksang Lee+1 more|arXiv (Cornell University)|Apr 23, 2021

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

ひとこと要約

本稿では、アーベル群 Γ の元を頂点に割り当てる Γ-ラベル付きグラフから導かれるデルタマトロイド、すなわち Γ-グラフ的デルタマトロイドを導入する。各成分の γ-値の和が非ゼロ、または孤立頂点でラベルがゼロであるようなエッジ集合のうち、サイクルを含まないものからなる集合がデルタマトロイドをなすことを証明し、多項式時間の分離オракルを構築する。これにより、対称的グリーディアルゴリズムを用いて最大重みの妥当集合問題を解ける。主な貢献は、最大重みの k の倍数でない次数の木の集合の重み付きパッキング問題や、最大重みの S-木パッキング問題といった、NP困難に見える問題が、この枠組みによって多項式時間で解けることである。

ABSTRACT

For an abelian group $\Gamma$, a $\Gamma$-labelled graph is a graph whose vertices are labelled by elements of $\Gamma$. We prove that a certain collection of edge sets of a $\Gamma$-labelled graph forms a delta-matroid, which we call a $\Gamma$-graphic delta-matroid, and provide a polynomial-time algorithm to solve the separation problem, which allows us to apply the symmetric greedy algorithm of Bouchet to find a maximum weight feasible set in such a delta-matroid. We present two algorithmic applications on graphs; Maximum Weight Packing of Trees of Order Not Divisible by $k$ and Maximum Weight $S$-Tree Packing. We also discuss various properties of $\Gamma$-graphic delta-matroids.

研究の動機と目的

• アーベル群 Γ 上の頂点ラベル付きグラフを用いて、グラフ的デルタマトロイドを一般化する Γ-グラフ的デルタマトロイドを導入すること。
• Γ-グラフ的デルタマトロイドに対して多項式時間の分離オラクルを確立し、対称的グリーディアルゴリズムによる効率的最適化を可能にすること。
• 最大重みの k の倍数でない次数の木の集合のパッキング問題および最大重みの S-木パッキング問題といった、NP困難に見える2つの問題が多項式時間で解けることを示すこと。
• 有限体上での Γ-グラフ的デルタマトロイドの表現可能性を特徴づけ、GF(p^ℓ) や初等アーベル p-群上で表現可能となる条件を同定すること。

提案手法

• Γ から頂点に群の元を割り当てる関数 γ: V(G) → Γ を持つ Γ-ラベル付きグラフ (G, γ) を定義する。
• γ-非ゼロ部分グラフの概念を導入する：各成分の γ-値の和が非ゼロ、または孤立頂点でラベルがゼロである部分グラフを γ-非ゼロと呼ぶ。
• Γ-ラベル付きグラフにおけるサイクルを含まない γ-非ゼロエッジ集合の集合がデルタマトロイドをなすことを証明し、これを Γ-グラフ的デルタマトロイドと呼ぶ。
• グラフ分解を用いて、サイクル性と γ-非ゼロ性のチェックに帰着することで、Γ-グラフ的デルタマトロイドの多項式時間分離オラクルを構築する。
• 対称的グリーディアルゴリズムを用いて、最大重みのサイクルを含まない γ-非ゼロエッジ集合問題を多項式時間で解く。
• 適切な Γ と γ の写像を構築することで、特定のグラフ問題（例：木パッキング）をこのデルタマトロイド枠組みに還元する。

実験結果

リサーチクエスチョン

• RQ1 Γ-ラベル付きグラフの構造を用いて、効率的な最適化特性を有する新しいデルタマトロイドクラスを定義できるか？
• RQ2 Γ-グラフ的デルタマトロイドの分離問題は多項式時間で解けるか？
• RQ3 対称的グリーディアルゴリズムは、Γ-グラフ的デルタマトロイドにおける最大重みエッジ集合問題に効果的に適用可能か？
• RQ4 有限体 F 上で Γ-グラフ的デルタマトロイドが表現可能となる条件は何か？
• RQ5 Γ の群構造と、有限体上での Γ-グラフ的デルタマトロイドの表現可能性との関係は何か？

主な発見

• Γ-ラベル付きグラフにおけるサイクルを含まない γ-非ゼロエッジ集合の集合はデルタマトロイドをなす。これにより、Γ-グラフ的デルタマトロイドの存在が確立される。
• Γ-グラフ的デルタマトロイドに対して多項式時間の分離オラクルが存在し、対称的グリーディアルゴリズムにより最大重みの妥当集合が計算可能である。
• 最大重みのサイクルを含まない γ-非ゼロエッジ集合問題は多項式時間で解ける。これにより、関連問題の多項式時間解法が保証される。
• 最大重みの k の倍数でない次数の木の集合のパッキング問題は、Γ = Zk かつすべての v に対して γ(v) = 1 と設定することで多項式時間で解ける。
• 最大重みの S-木パッキング問題は、Γ = Z かつ v ∈ S のとき γ(v) = 1、それ以外のとき γ(v) = 0 と設定することで多項式時間で解ける。
• Γ-グラフ的デルタマトロイドが特徴根 p の有限体 F 上で表現可能であるための必要十分条件は、Γ が初等アーベル p-群であることであり、Zpk-グラフ的デルタマトロイドに対しては、[F : GF(p)] ≥ k が成り立つとき、表現可能となる。