The approximability frontier conjecture for sparse Diameter

From papers

Let sparse graphs have m=O~(n)m=\tilde{O}(n) edges, and consider the four variants obtained by choosing directed or undirected graphs and weighted or unweighted edges. For kN+{}k\in\mathbb N^+\cup\{\infty\}, approximation within a ratio means returning a value within that multiplicative factor of the sparse Diameter. The approximability frontier conjecture. Sparse directed or undirected, weighted or unweighted Diameter is (21/k)(2-1/k)-approximable in time O~(n(k+1)/k)\tilde{O}(n^{(k+1)/k}) for every kN+{}k\in\mathbb N^+\cup\{\infty\}. Unless SETH fails, approximating sparse directed or undirected, weighted or unweighted Diameter within a ratio better than 21/(k+1)2-1/(k+1) requires time n(k+1)/ko(1)n^{(k+1)/k-o(1)} for every kN+k\in\mathbb N^+. This predicts that the four sparse Diameter variants share the same approximability frontier, matching the paper's proposed unifying landscape; the conditional lower-bound part depends on SETH and remains conjectural.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Édouard Bonnet, “4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time n^4/3”, arXiv:2101.02312 (2023).

Solutions 0

No solutions have been posted yet.