### References & Citations

# Computer Science > Data Structures and Algorithms

# Title: Tight Hardness for Shortest Cycles and Paths in Sparse Graphs

(Submitted on 21 Dec 2017 (v1), last revised 5 May 2020 (this version, v4))

Abstract: Fine-grained reductions have established equivalences between many core problems with $\tilde{O}(n^3)$-time algorithms on $n$-node weighted graphs, such as Shortest Cycle, All-Pairs Shortest Paths (APSP), Radius, Replacement Paths, Second Shortest Paths, and so on. These problems also have $\tilde{O}(mn)$-time algorithms on $m$-edge $n$-node weighted graphs, and such algorithms have wider applicability. Are these $mn$ bounds optimal when $m \ll n^2$?

Starting from the hypothesis that the minimum weight $(2\ell+1)$-Clique problem in edge weighted graphs requires $n^{2\ell+1-o(1)}$ time, we prove that for all sparsities of the form $m = \Theta(n^{1+1/\ell})$, there is no $O(n^2 + mn^{1-\epsilon})$ time algorithm for $\epsilon>0$ for \emph{any} of the below problems:

Minimum Weight $(2\ell+1)$-Cycle in a directed weighted graph,

Shortest Cycle in a directed weighted graph,

APSP in a directed or undirected weighted graph,

Radius (or Eccentricities) in a directed or undirected weighted graph,

Wiener index of a directed or undirected weighted graph,

Replacement Paths in a directed weighted graph,

Second Shortest Path in a directed weighted graph,

Betweenness Centrality of a given node in a directed weighted graph.

That is, we prove hardness for a variety of sparse graph problems from the hardness of a dense graph problem. Our results also lead to new conditional lower bounds from several related hypothesis for unweighted sparse graph problems including $k$-cycle, shortest cycle, Radius, Wiener index and APSP.

## Submission history

From: Andrea Lincoln [view email]**[v1]**Thu, 21 Dec 2017 18:34:13 GMT (2344kb,D)

**[v2]**Wed, 27 Dec 2017 23:01:57 GMT (2331kb,D)

**[v3]**Fri, 24 Apr 2020 21:36:52 GMT (2337kb,D)

**[v4]**Tue, 5 May 2020 19:56:16 GMT (2354kb,D)

Link back to: arXiv, form interface, contact.