動的な距離情報から最小費用流をより簡単に計算する
A Simpler and Faster Min-Cost Flow Solver via Min-Ratio Cycles from Distance Oracles
この論文をやさしく読む
ひとことで言うと
ネットワーク内で流せる量や費用を最適化する計算を、更新可能な距離情報から重要な閉路を直接取り出すことで簡略化する理論研究です。
何に役立つ？
最大流・最小費用流の高速アルゴリズムを理解し、構成する際に役立ちます。辺などを追加していくグラフへの拡張も扱っています。
この研究の面白いところ
従来必要だった複雑な閉路抽出の手順を、既存の動的距離オラクルと線形性によって置き換えます。別の問題に見える比率最適化と距離の計算を結び付けています。
どこまで分かった？
要旨は高速化の理論的な構成を述べていますが、新手法の具体的な計算量の式や実測時間は記載していません。実運用のあらゆる規模で高速になるという測定結果とは区別が必要です。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Chen、Kyng、Liu、Peng、Probst Gutenberg、Sachdeva（FOCS 2022）による、初のほぼ線形時間の最大流・最小費用流アルゴリズムは、これらの流れの目的を一連の最小比率閉路問題へ帰着した。この中核的な基本問題を解くには、線形な勾配項と無向の長さ項との比を近似的に最小化する必要がある。Chen、Kyng、Liu、Peng、Probst Gutenberg、Sachdeva（FOCS 2022）およびその後のChen、Kyng、Liu、Meierhans、Probst Gutenberg（STOC 2024）の研究では、最小比率問題を解くために複雑なデータ構造が与えられた。 本研究では、線形性を利用することで、このような閉路をKyng、Meierhans、Probst Gutenberg（STOC 2024）の動的距離オラクルから直接抽出できることを示す。これは、閉路の抽出に複数の追加段階を必要とした従来のアルゴリズムを簡略化し、最小比率閉路問題の解決が本質的に距離に関する問題であることを裏付けるものと捉えられる。その結果、より高速な主問題側の最大流・最小費用流ソルバーが得られ、追加によって成長するグラフにも拡張できる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The first almost-linear time maximum and minimum cost flow algorithm of Chen-Kyng-Liu-Peng-Probst Gutenberg-Sachdeva (FOCS 2022), reduced these flow objectives to a sequence of min-ratio cycle problems. Solving this core primitive requires approximately minimizing the ratio of a linear gradient term and an undirected length term. In Chen-Kyng-Liu-Peng-Probst Gutenberg-Sachdeva (FOCS 2022) and the subsequent work of Chen-Kyng-Liu-Meierhans-Probst Gutenberg (STOC 2024), intricate data structures were given to solve the min-ratio problem. We show that such a cycle can be extracted directly from the dynamic distance oracle of Kyng-Meierhans-Probst Gutenberg (STOC 2024) using linearity. This simplifies previous algorithms that relied on multiple additional steps to extract the cycle, and can be seen as evidence that solving the min-ratio cycle problem really is all about distances. As a result, we obtain a faster primal maxflow and min-cost flow solver that also extends to incremental graphs.
arXiv ID: 2609.23852 ／ 要約の誤りについて