本論文では、Floyd-Warshallアルゴリズムの標準的な実装とは異なる変形バージョンを考察する。このバージョンは、ループの順序を変更したものであり、正しいAPSP行列を計算できない。
しかし、この「誤った」実装にも非自明な性質が存在する。まず、この変形バージョンを用いて計算された行列は、特定の条件を満たす経路の最小コストを表していることが分かる。さらに、この問題は標準的なAPSP問題と計算量的に同等であることが示される。つまり、この変形バージョンの問題を効率的に解くことができれば、APSPの高速解法にもつながる可能性がある。
具体的な結果は以下の通り:
このように、単純な変更を加えただけで、非自明な性質を持つ問題が生まれることを示しており、アルゴリズムの理解を深める上で興味深い知見となっている。
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Jaehyun Koo at arxiv.org 04-15-2024
https://arxiv.org/pdf/2404.08173.pdfDeeper Inquiries