English
Related papers

Related papers: Towards a Theory of Parameterized Streaming Algori…

200 papers

Motivated by cloud computing, a number of recent works have studied annotated data streams and variants thereof. In this setting, a computationally weak verifier (cloud user), lacking the resources to store and manipulate his massive input…

Computational Complexity · Computer Science 2013-04-16 Amit Chakrabarti , Graham Cormode , Navin Goyal , Justin Thaler

We study a broad class of graph partitioning problems, where each problem is specified by a graph $G=(V,E)$, and parameters $k$ and $p$. We seek a subset $U\subseteq V$ of size $k$, such that $\alpha_1m_1 + \alpha_2m_2$ is at most (or at…

Data Structures and Algorithms · Computer Science 2014-03-04 Hadas Shachnai , Meirav Zehavi

In this paper, we study the parameterized complexity of local search, whose goal is to find a good nearby solution from the given current solution. Formally, given an optimization problem where the goal is to find the largest feasible…

Data Structures and Algorithms · Computer Science 2025-12-04 Aditya Anand , Vincent Cohen-Addad , Tommaso d'Orsi , Anupam Gupta , Euiwoong Lee , Debmalya Panigrahi , Sijin Peng

Emerging applications of machine learning in numerous areas involve continuous gathering of and learning from streams of data. Real-time incorporation of streaming data into the learned models is essential for improved inference in these…

Machine Learning · Computer Science 2020-12-01 Matthew Nokleby , Haroon Raja , Waheed U. Bajwa

A graph vertex-subset problem defines which subsets of the vertices of an input graph are feasible solutions. We view a feasible solution as a set of tokens placed on the vertices of the graph. A reconfiguration variant of a vertex-subset…

Computational Complexity · Computer Science 2022-04-25 Nicolas Bousquet , Amer E. Mouawad , Naomi Nishimura , Sebastian Siebertz

In this paper we present a simple but powerful subgraph sampling primitive that is applicable in a variety of computational models including dynamic graph streams (where the input graph is defined by a sequence of edge/hyperedge insertions…

Data Structures and Algorithms · Computer Science 2015-05-08 Rajesh Chitnis , Graham Cormode , Hossein Esfandiari , MohammadTaghi Hajiaghayi , Andrew McGregor , Morteza Monemizadeh , Sofya Vorotnikova

In the recent years we have witnessed a rapid development of new algorithmic techniques for parameterized algorithms for graph separation problems. We present experimental evaluation of two cornerstone theoretical results in this area:…

Data Structures and Algorithms · Computer Science 2018-11-20 Marcin Pilipczuk , Michał Ziobro

In areas such as computer software and hardware, manufacturing systems, and transportation, engineers encounter networks with arbitrarily large numbers of isomorphic subprocesses. Parameterized systems provide a framework for modeling such…

Formal Languages and Automata Theory · Computer Science 2016-10-03 M. H. Zibaeenejad , J. G. Thistle

A blocking set in a graph $G$ is a subset of vertices that intersects every maximum independent set of $G$. Let ${\sf mmbs}(G)$ be the size of a maximum (inclusion-wise) minimal blocking set of $G$. This parameter has recently played an…

Data Structures and Algorithms · Computer Science 2021-02-09 Júlio Araújo , Marin Bougeret , Victor A. Campos , Ignasi Sau

In this paper we introduce randomized branching as a tool for parameterized approximation and develop the mathematical machinery for its analysis. Our algorithms improve the best known running times of parameterized approximation algorithms…

Data Structures and Algorithms · Computer Science 2025-06-10 Ariel Kulik , Hadas Shachnai

We consider the problems ZERO EXTENSION and METRIC LABELLING under the paradigm of parameterized complexity. These are natural, well-studied problems with important applications, but have previously not received much attention from…

Data Structures and Algorithms · Computer Science 2018-02-19 Felix Reidl , Magnus Wahlström

This work introduces two techniques for the design and analysis of branching algorithms, illustrated through the case study of the Vertex Cover problem. First, we present a method for automatically generating branching rules through a…

Data Structures and Algorithms · Computer Science 2025-10-13 Katie Clinch , Serge Gaspers , Tao Zixu He , Simon Mackenzie , Tiankuang Zhang

We present a novel approach for the problem of frequency estimation in data streams that is based on optimization and machine learning. Contrary to state-of-the-art streaming frequency estimation algorithms, which heavily rely on random…

Data Structures and Algorithms · Computer Science 2022-07-19 Dimitris Bertsimas , Vassilis Digalakis

We introduce a streaming framework for analyzing stochastic approximation/optimization problems. This streaming framework is analogous to solving optimization problems using time-varying mini-batches that arrive sequentially. We provide…

Machine Learning · Computer Science 2023-04-25 Antoine Godichon-Baggioni , Nicklas Werge , Olivier Wintenberger

The degree distribution of a graph $G=(V,E)$, $|V|=n$, $|E|=m$ is one of the most fundamental objects of study in the analysis of graphs as it embodies relationship among entities. In particular, an important derived distribution from…

Data Structures and Algorithms · Computer Science 2025-07-30 Arijit Bishnu , Debarshi Chanda , Gopinath Mishra

We study the parameterized complexity of a generalization of the coordinated motion planning problem on graphs, where the goal is to route a specified subset of a given set of $k$ robots to their destinations with the aim of minimizing the…

Discrete Mathematics · Computer Science 2026-02-02 Argyrios Deligkas , Eduard Eiben , Robert Ganian , Iyad Kanj , M. S. Ramanujan

We present an algorithm for the maximum matching problem in dynamic (insertion-deletions) streams with *asymptotically optimal* space complexity: for any $n$-vertex graph, our algorithm with high probability outputs an $\alpha$-approximate…

Data Structures and Algorithms · Computer Science 2022-02-01 Sepehr Assadi , Vihan Shah

Consider a network in which $n$ distributed nodes are connected to a single server. Each node continuously observes a data stream consisting of one value per discrete time step. The server has to continuously monitor a given parameter…

Longest Increasing Subsequence (LIS) is a fundamental problem in combinatorics and computer science. Previously, there have been numerous works on both upper bounds and lower bounds of the time complexity of computing and approximating LIS,…

Computational Complexity · Computer Science 2023-09-06 Xin Li , Yu Zheng

Sampling of signals belonging to a low-dimensional subspace has well-documented merits for dimensionality reduction, limited memory storage, and online processing of streaming network data. When the subspace is known, these signals can be…

Information Theory · Computer Science 2019-11-26 Fernando Gama , Antonio G. Marques , Gonzalo Mateos , Alejandro Ribeiro