負の重みを含む単一始点最短経路を「ほぼ線形時間」で解く新手法
この論文は、有向グラフの単一始点最短経路問題を、辺の重みが実数で負の値を含んでいても m^{1+o(1)} 時間で解くランダム化アルゴリズムを示します。ここで n は頂点数、m は辺数です。著者らは確率的手法と新しい解析を組み合わせて、古典的なベルマン–フォード法より遥かに速い理論的な上界を得ました。アルゴリズムは Las Vegas 型のランダム化アルゴリズムで、誤りはなく実行時間のみが確率的です。成功確率は「高確率」で、論文では 1−1/n^C(任意の大きな定数 C)以上と明記しています。
背景として、非負重みの問題はダイクストラ法で速く解けますが、負の重みを許す一般の実数重みでは 70 年近くベルマン–フォード法が標準でした。近年は Fineman による ˜O(m n^{8/9}) 時間などの改良が出ていました。最近の一連の研究では「ショートカット」と呼ばれる辺の追加で負の辺(負のホップと呼ぶ)を減らし、反復して短いホップ数の最短経路だけを扱う手法が使われてきました。しかし、単純に辺を追加するとグラフが急速に密になり、辺の数が爆発する問題が残っていました。
著者らの貢献は主に二つです。第一に「betweenness reduction(媒介減少)」と呼ばれる部分手続きの解析を大幅に改善しました。既存解析は探索の総和を n^{1.5+o(1)} 程度としか示せなかったのに対し、本稿では探索の総和を n^{1+o(1)} に抑える証明を与えます。これにより、各反復で追加される辺の数は従来よりずっと小さく、約 m^{1+o(1)} に留まります。第二に「unfolding lemma(展開補題)」を導入して、反復ごとに増える辺を元の辺数 m0(反復前の辺数)に結び付けて数え上げる方法を与えました。これにより、ショートカットを何度も重ねても辺数が爆発せず、全体の時間を m^{1+o(1)} に保てることが示されます。手法は、ポテンシャル関数による重みの再計算(reweighting)、h-ホップ制限付きの最短距離計算(h-ネガティブホップ距離)、および Steiner 頂点の追加など既存手法を組み合わせたものです。
なぜ重要かと言えば、負の重みを許す一般的な単一始点最短経路問題に対して、ほぼ線形時間という新しい到達可能な上界を示した点です。これは長年の基本問題に対する理論的な前進であり、関連する最適化やグラフアルゴリズムの理論的進展につながる可能性があります。論文は、前のショートカット系手法や betweenness に関する研究を土台にして、より厳密で節約的な辺の追加解析を行っています。
重要な注意点と不確実性もあります。まず本結果はランダム化アルゴリズムであり、実行時間の保証は「高確率」ですが確率的です。また m^{1+o(1)} の表記は多項対数因子などを隠しており、定数因子や実装上のオーバーヘッドは不明です。さらに論文は多くの補助的な手続き(h-ホップ距離計算のハイブリッドな実装やポテンシャルの構築、Steiner 頂点を使った前処理で各頂点の負辺数を調整する工程など)に依存しており、示された理論的上界が実際の実装で同等に速いかは別の検証が必要です。与えられた抜粋は本文の一部を含むため、詳細な証明や実験の有無は本文全体を参照してください。