The approximability frontier conjecture for sparse Diameter

About 5 years old · traced to

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 k∈N+∪{∞}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 (2−1/k)(2-1/k)-approximable in time O~(n(k+1)/k)\tilde{O}(n^{(k+1)/k}) for every k∈N+∪{∞}k\in\mathbb N^+\cup\{\infty\}. Unless SETH fails, approximating sparse directed or undirected, weighted or unweighted Diameter within a ratio better than 2−1/(k+1)2-1/(k+1) requires time n(k+1)/k−o(1)n^{(k+1)/k-o(1)} for every k∈N+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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.