Probabilistic Analysis of Optimization Problems on Sparse Random Shortest Path Metrics

Stefan Klootwijk, Bodo Manthey*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

27 Downloads (Pure)

Abstract

Simple heuristics for (combinatorial) optimization problems often show a remarkable performance in practice. Worst-case analysis often falls short of explaining this performance. Because of this, “beyond worst-case analysis” of algorithms has recently gained a lot of attention, including probabilistic analysis of algorithms. The instances of many (combinatorial) optimization problems are essentially a discrete metric space. Probabilistic analysis for such metric optimization problems has nevertheless mostly been conducted on instances drawn from Euclidean space, which provides a structure that is usually heavily exploited in the analysis. However, most instances from practice are not Euclidean. Little work has been done on metric instances drawn from other, more realistic, distributions. Some initial results have been obtained in recent years, where random shortest path metrics generated from dense graphs (either complete graphs or Erdős–Rényi random graphs) have been used so far. In this paper we extend these findings to sparse graphs, with a focus on sparse graphs with ‘fast growing cut sizes’, i.e. graphs for which | δ(U) | = Ω (| U| ε) for some constant ε∈ (0 , 1) for all subsets U of the vertices, where δ(U) is the set of edges connecting U to the remaining vertices. A random shortest path metric is constructed by drawing independent random edge weights for each edge in the graph and setting the distance between every pair of vertices to the length of a shortest path between them with respect to the drawn weights. For such instances generated from a sparse graph with fast growing cut sizes, we prove that the greedy heuristic for the minimum distance maximum matching problem, and the nearest neighbor and insertion heuristics for the traveling salesman problem all achieve a constant expected approximation ratio. Additionally, for instances generated from an arbitrary sparse graph, we show that the 2-opt heuristic for the traveling salesman problem also achieves a constant expected approximation ratio.

Original languageEnglish
Pages (from-to)3793-3815
Number of pages23
JournalAlgorithmica
Volume85
Issue number12
DOIs
Publication statusPublished - Dec 2023

Keywords

  • Approximation algorithms
  • Average-case analysis
  • First-passage percolation
  • Probabilistic analysis
  • Random shortest path metrics
  • UT-Hybrid-D

Fingerprint

Dive into the research topics of 'Probabilistic Analysis of Optimization Problems on Sparse Random Shortest Path Metrics'. Together they form a unique fingerprint.

Cite this