Three-in-a-tree in near linear time

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Dokumenter

The three-in-a-tree problem is to determine if a simple undirected graph contains an induced subgraph which is a tree connecting three given vertices. Based on a beautiful characterization that is proved in more than twenty pages, Chudnovsky and Seymour [Combinatorica 2010] gave the previously only known polynomial-time algorithm, running in O(mn2) time, to solve the three-in-a-tree problem on an n-vertex m-edge graph. Their three-in-a-tree algorithm has become a critical subroutine in several state-of-the-art graph recognition and detection algorithms. In this paper we solve the three-in-a-tree problem in O(mlog2 n) time, leading to improved algorithms for recognizing perfect graphs and detecting thetas, pyramids, beetles, and odd and even holes. Our result is based on a new and more constructive characterization than that of Chudnovsky and Seymour. Our new characterization is stronger than the original, and our proof implies a new simpler proof for the original characterization. The improved characterization gains the first factor n in speed. The remaining improvement is based on dynamic graph algorithms.

OriginalsprogEngelsk
TitelSTOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing
RedaktørerKonstantin Makarychev, Yury Makarychev, Madhur Tulsiani, Gautam Kamath, Julia Chuzhoy
ForlagAssociation for Computing Machinery
Publikationsdato2020
Sider1279-1292
ISBN (Elektronisk)9781450369794
DOI
StatusUdgivet - 2020
Begivenhed52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020 - Chicago, USA
Varighed: 22 jun. 202026 jun. 2020

Konference

Konference52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020
LandUSA
ByChicago
Periode22/06/202026/06/2020
SponsorACM Special Interest Group on Algorithms and Computation Theory (SIGACT)
NavnProceedings of the Annual ACM Symposium on Theory of Computing
ISSN0737-8017

Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk


Ingen data tilgængelig

ID: 258497711