[論文レビュー] Are There Graphs Whose Shortest Path Structure Requires Large Edge Weights?

Aaron Bernstein, Greg Bodwin+1 more|arXiv (Cornell University)|Aug 24, 2023

Advanced Graph Theory Research被引用数 3

ひとこと要約

この論文は、最短経路構造が複雑なグラフが、最短経路を変更せずに低比（最大辺重みと最小辺重みの比）に再重み付け可能かどうかを調査する。研究では、有向無閉路グラフ（DAG）は比O(n)に再重み付け可能である一方、一般の有向および無向グラフは、最短経路を保つために指数的サイズの比2Ω(n)を必要とすることを証明する。これは、一般のグラフにおける最短経路保持のための比の低減に根本的な限界を示している。

ABSTRACT

The aspect ratio of a (positively) weighted graph $G$ is the ratio of its maximum edge weight to its minimum edge weight. Aspect ratio commonly arises as a complexity measure in graph algorithms, especially related to the computation of shortest paths. Popular paradigms are to interpolate between the settings of weighted and unweighted input graphs by incurring a dependence on aspect ratio, or by simply restricting attention to input graphs of low aspect ratio. This paper studies the effects of these paradigms, investigating whether graphs of low aspect ratio have more structured shortest paths than graphs in general. In particular, we raise the question of whether one can generally take a graph of large aspect ratio and reweight its edges, to obtain a graph with bounded aspect ratio while preserving the structure of its shortest paths. Our findings are: - Every weighted DAG on $n$ nodes has a shortest-paths preserving graph of aspect ratio $O(n)$. A simple lower bound shows that this is tight. - The previous result does not extend to general directed or undirected graphs; in fact, the answer turns out to be exponential in these settings. In particular, we construct directed and undirected $n$-node graphs for which any shortest-paths preserving graph has aspect ratio $2^{Ω(n)}$. We also consider the approximate version of this problem, where the goal is for shortest paths in $H$ to correspond to approximate shortest paths in $G$. We show that our exponential lower bounds extend even to this setting. We also show that in a closely related model, where approximate shortest paths in $H$ must also correspond to approximate shortest paths in $G$, even DAGs require exponential aspect ratio.

研究の動機と目的

• 高比のグラフが最短経路構造を保ちながら低比に再重み付け可能かどうかを特定すること。
• 有界比のグラフが一般のグラフよりも本質的に構造化された最短経路を持つかどうかを調査すること。
• さまざまなグラフクラスにおける最短経路保持再重み付けに必要な最小比のタイトな境界を確立すること。
• 近似最短経路保持の下でもこれらの結果の頑健性を検討すること。
• これらの発見が最短経路計算における比に敏感なアルゴリズムに与える影響を探索すること。

提案手法

• 最短経路保持再重み付けに指数的サイズの比を要するnノードのグラフ族を構築する。
• 特定の経路のみが最短経路になれるように、慎重に選ばれた辺重みを備えたグリッドベースの構成を用いる。
• グリッド部分グラフにおける帰納的議論を適用し、最後の行および列の重みの合計が√nに比例して指数的に増加することを証明する。
• 背理法を用いる：低比の再重み付けが存在すると仮定し、最短経路制約に反する重みの不均衡を導出する。
• 非最短経路が最短経路よりも顕著に長くなることを利用して、大きな辺重みを強制する。
• 近似最短経路に拡張する際、(1+ε)-近似でさえも指数的下界が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 すべてのnノードの重み付きDAGは、すべての最短経路を保ちながら比O(n)に再重み付け可能か？
• RQ2 一般の有向または無向グラフは、多項式比の最短経路保持再重み付けを有するか？
• RQ3 一般グラフにおける比の指数的下界はタイトか、それ以上に改善可能か？
• RQ4 指数的下界は近似最短経路保持にも拡張可能か？
• RQ5 近似最短経路制約のもとでは、DAGですら指数的比に強制されるか？

主な発見

• すべてのnノードのDAGは、比O(n)の最短経路保持再重み付けを有し、この境界はタイトである。
• 任意の最短経路保持再重み付けに比2Ω(n)を要するnノードの有向および無向グラフが存在する。
• この指数的下界は、(1+ε)-近似最短経路を保つ場合にも成立する。
• 両方向の近似経路対応が要求される対称的モデルですら、DAGは指数的比を要する。
• グリッドベースの構成における最後の行および列の辺重みの合計は(αH)Ω(√n)に比例し、少なくとも1つの辺が重み(αH)Ω(√n)を有することを強制する。
• これらの結果は根本的な障壁を確立する：すべての最短経路構造が、近似的でさえも低比グラフで表現可能ではない。