The Diameter of Randomly Perturbed Digraphs and Some Applications.

The central observation of this paper is that if ǫn random arcs are added to any n-node strongly connected digraph with bounded degree then the resulting graph has diameter O(ln n) with high probability. We apply this to smoothed analysis of algorithms and property testing. Smoothed Analysis: Recognizing strongly connected digraphs is a basic computational task in graph theory. Even for digraphs with bounded degree, it is NL-complete. By XORing an arbitrary bounded degree digraph with a sparse random digraph R ∼ Dn,ǫ/n we obtain a “smoothed” instance. We show that, with high probability, a log-space algorithm will correctly determine if a smoothed instance is strongly connected. We also show that if NL ⊆ almost-L then no heuristic can recognize similarly perturbed instances of (s, t)-connectivity. Property Testing: A digraph is called k-linked if, for every choice of 2k distinct vertices s1, . . . , sk, t1, . . . , tk, the graph contains k vertex disjoint paths joining sr to...

• Type: Conference
• Year: 2004
• Where: APPROX
• Authors: Abraham Flaxman, Alan M. Frieze
• Keywords: Algorithms, APPROX 2004, Connected Digraphs, Smoothed Analysis, Strongly Connected