Meta-theorems for Parameterized Streaming Algorithms

Daniel Lokshtanov, Pranabendu Misra, Fahad Panolan, M. S. Ramanujan, Saket Saurabh, Meirav Zehavi

Research output: Contribution to conferencePaperpeer-review

Abstract

The streaming model was introduced to parameterized complexity independently by Fafianie and Kratsch [MFCS14] and by Chitnis, Cormode, Hajiaghayi and Monemizadeh [SODA15]. Subsequently, it was broadened by Chitnis, Cormode, Esfandiari, Hajiaghayi and Monemizadeh [SPAA15] and by Chitnis, Cormode, Esfandiari, Hajiaghayi, McGregor, Monemizadeh and Vorotnikova [SODA16]. Despite its strong motivation, the applicability of the streaming model to central problems in parameterized complexity has remained, for almost a decade, quite limited. Indeed, due to simple Ω(n)-space lower bounds for many of these problems, the kO(1) · polylog(n)-space requirement in the model is too strict. Thus, we explore semi-streaming algorithms for parameterized graph problems, and present the first systematic study of this topic. Crucially, we aim to construct succinct representations of the input on which optimal post-processing time complexity can be achieved. • We devise meta-theorems specifically designed for parameterized streaming and demonstrate their applicability by obtaining the first kO(1) · n · polylog(n)-space streaming algorithms for well-studied problems such as Feedback Vertex Set on Tournaments, Cluster Vertex Deletion, Proper Interval Vertex Deletion and Block Vertex Deletion. In the process, we demonstrate a fundamental connection between semi-streaming algorithms for recognizing graphs in a graph class H and semi-streaming algorithms for the problem of vertex deletion into H. • We present an algorithmic machinery for obtaining streaming algorithms for cut problems and exemplify this by giving the first kO(1) · n · polylog(n)-space streaming algorithms for Graph Bipartitization, Multiway Cut and Subset Feedback Vertex Set.

Original languageEnglish
Pages712-739
Number of pages28
DOIs
StatePublished - 1 Jan 2024
Event35th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2024 - Alexandria, United States
Duration: 7 Jan 202410 Jan 2024

Conference

Conference35th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2024
Country/TerritoryUnited States
CityAlexandria
Period7/01/2410/01/24

ASJC Scopus subject areas

  • Software
  • General Mathematics

Fingerprint

Dive into the research topics of 'Meta-theorems for Parameterized Streaming Algorithms'. Together they form a unique fingerprint.

Cite this