## Abstrakti

Consider the following “local” cut-detection problem in a directed graph: We are given a seed vertex x and need to remove at most k edges so that at most ν edges can be reached from x (a “local” cut) or output to indicate that no such cut exists. If we are given query access to the input graph, then this problem can in principle be solved without reading the whole graph and with query complexity depending on k and ν. In this paper we consider a slack variant of this problem where, when such a cut exists, we can output a cut with up to O(kν) edges reachable from x. We present a simple randomized algorithm spending O(k^{2}ν) time and O(kν) queries for the above variant, improving in particular a previous time bound of O(k^{O}(k^{)}ν) by Chechik et al. [SODA'17]. We also extend our algorithm to handle an approximate variant. We demonstrate that these local algorithms are versatile primitives for designing substantially improved algorithms for classic graph problems by providing the following three applications. (Throughout, Õ(T) hides polylog(T).) 1. A randomized algorithm for the classic k-vertex connectivity problem that takes near-linear time when k = O(polylog(n)), namely Õ(m + nk^{3}) time in undirected graphs. Prior to our work, the state of the art for this range of k were linear-time algorithms for k ≤ 3 [Tarjan FOCS'71; Hopcroft, Tarjan SICOMP'73] and a recent algorithm with Õ(m + n^{4}/^{3}k^{7}/^{3}) time [Nanongkai et al., STOC'19]. The story is the same for directed graphs where our Õ(mk^{2})-time algorithm is near-linear when k = O(polylog(n)). Our techniques also yield an improved approximation scheme. 2. Property testing algorithms for k-edge and -vertex connectivity with query complexities that are near-linear in k, exponentially improving the state-of-the-art. This resolves two open problems, one by Goldreich and Ron [STOC'97] and one by Orenstein and Ron [Theor. Comput. Sci.'11]. 3. A faster algorithm for computing the maximal kedge connected subgraphs, improving prior work of Chechik et al. [SODA'17].

Alkuperäiskieli | Englanti |
---|---|

Otsikko | 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020 |

Toimittajat | Shuchi Chawla |

Kustantaja | ACM |

Sivut | 2046-2065 |

Sivumäärä | 20 |

ISBN (elektroninen) | 9781611975994 |

DOI - pysyväislinkit | |

Tila | Julkaistu - 1 tammikuuta 2020 |

OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |

Tapahtuma | ACM-SIAM Symposium on Discrete Algorithms - Salt Lake City, Yhdysvallat Kesto: 5 tammikuuta 2020 → 8 tammikuuta 2020 Konferenssinumero: 31 |

### Conference

Conference | ACM-SIAM Symposium on Discrete Algorithms |
---|---|

Lyhennettä | SODA |

Maa | Yhdysvallat |

Kaupunki | Salt Lake City |

Ajanjakso | 05/01/2020 → 08/01/2020 |