[論文レビュー] Faster Matroid Partition Algorithms

Tatsuya Terao|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research被引用数 2

ひとこと要約

本稿では、独立性オракルのクエリ複雑度を Õ(k′¹ᐟ³np + kn) に低減する新しいマトロイド分割アルゴリズムを提示する。ここで k′ = min{k, p} であり、Cunninghamの O(np³ᐟ² + kn) の境界を改善する。主な革新はエッジリサイクル増強であり、最適化されたバイナリサーチ技術を用いて、過去の交換グラフからのエッジを再利用することで、k ≤ n の場合に Õ(n⁷ᐟ³) クエリを達成し、37年間にわたる複雑度の障壁を破る。

ABSTRACT

In the matroid partitioning problem, we are given $k$ matroids $\mathcal{M}_1 = (V, \mathcal{I}_1), \dots , \mathcal{M}_k = (V, \mathcal{I}_k)$ defined over a common ground set $V$ of $n$ elements, and we need to find a partitionable set $S \subseteq V$ of largest possible cardinality, denoted by $p$. Here, a set $S \subseteq V$ is called partitionable if there exists a partition $(S_1, \dots , S_k)$ of $S$ with $S_i \in \mathcal{I}_i$ for $i = 1, \ldots, k$. In 1986, Cunningham [SICOMP 1986] presented a matroid partition algorithm that uses $O(n p^{3/2} + k n)$ independence oracle queries, which was the previously known best algorithm. This query complexity is $O(n^{5/2})$ when $k \leq n$. Our main result is to present a matroid partition algorithm that uses $ ilde{O}(k'^{1/3} n p + k n)$ independence oracle queries, where $k' = \min\{k, p\}$. This query complexity is $ ilde{O}(n^{7/3})$ when $k \leq n$, and this improves upon the one of previous Cunningham's algorithm. To obtain this, we present a new approach \emph{edge recycling augmentation}, which can be attained through new ideas: an efficient utilization of the binary search technique by Nguyen [2019] and Chakrabarty-Lee-Sidford-Singla-Wong [FOCS 2019] and a careful analysis of the independence oracle query complexity. Our analysis differs significantly from the one for matroid intersection algorithms, because of the parameter $k$. We also present a matroid partition algorithm that uses $ ilde{O}((n + k) \sqrt{p})$ rank oracle queries.

研究の動機と目的

• マトロイド分割の長年の O(n⁵ᐟ²) の独立性オラクルクエリ複雑度の境界を克服すること。これはCunninghamの1986年のアルゴリズム以来、維持されてきたものである。
• 交換グラフにおける最近のバイナリサーチ技術の進展を活用して、より高速なマトロイド分割アルゴリズムを設計すること。
• 複数の増強においてエッジを再利用することで、クエリ複雑度における k に対する非線形依存を達成すること。
• マトロイド分割の独立性オラクルモデルおよびランクオラクルモデルにおける、よりタイトなクエリ複雑度の境界を確立すること。

提案手法

• エッジリサイクル増強を導入し、過去の交換グラフからのエッジを再利用することで、重複する独立性クエリを回避する。
• Cunninghamのブロッキングフロー枠組みと、Nguy˜ˆen (2019) および Chakrabarty et al. (FOCS 2019) のバイナリサーチ技術を組み合わせ、増強パスを効率的に特定する。
• 初期化段階と増強段階のクエリコストをバランスさせるために、d = p/k′²ᐟ³ をパrameter化したアプローチを採用する。
• 複数回の増強にわたって有用なエッジを追跡・再利用できるように、圧縮された交換グラフ表現を用いる。
• パス長およびエッジ集合のサイズの詳細な解析により、√si および ci の整数近似を用いて、増強呼び出し回数の上限を導出する。
• 積分近似を用いてクエリ複雑度の境界を導出し、増強呼び出し回数が O(√p/d) であることを示し、全体の複雑度を改善する。

実験結果

リサーチクエスチョン

• RQ1 k ≤ n の場合に、マトロイド分割の独立性オラクルクエリ複雑度を O(n⁵ᐟ²) 未満に低下させることは可能か？
• RQ2 エッジの再利用によって、マトロイド分割のクエリ複雑度における k に対する非線形依存を達成することは可能か？
• RQ3 エッジリサイクル増強は、標準的な増強と比較して、クエリ効率およびパス長の増加度においてどのように異なるか？
• RQ4 独立性オラクルモデル下でのマトロイド分割の、最もタイトなクエリ複雑度は何か？
• RQ5 マトロイド交差とは異なり、マトロイド分割では独立性オラクルとランクオラクルの複雑度の間に顕著なギャップが存在するか？

主な発見

• 提案されたアルゴリズムは、k′ = min{k, p} である Õ(k′¹ᐟ³np + kn) の独立性オラクルクエリを達成し、Cunninghamの O(np³ᐟ² + kn) の境界を改善する。
• k ≤ n の場合、クエリ複雑度は Õ(n⁷ᐟ³) に低下し、37年間にわたる O(n⁵ᐟ²) の複雑度の障壁を打ち破る。
• アルゴリズムはエッジリサイクル増強を用いて、過去の交換グラフからのエッジを再利用することで、重複するクエリを回避する。
• 増強呼び出し回数は O(√p/d) で上限が保証され、d = p/k′²ᐟ³ である。これにより、クエリの分布がバランスされる。
• ランクオラクルバージョンでは Õ((n + k)√p) のクエリを達成し、ランクオラクルモデルにおける効率の向上を示す。
• 本稿では、マトロイド分割における独立性オラクルクエリの下界が Ω(kn) であることを証明し、マトロイド分割とマトロイド交差の間で、クエリ複雑度に根本的なギャップが存在することを示唆する。