English
Related papers

Related papers: Semi-Streaming Algorithms for Graph Property Certi…

200 papers

A spectral sparsifier of a graph $G$ is a sparser graph $H$ that approximately preserves the quadratic form of $G$, i.e. for all vectors $x$, $x^T L_G x \approx x^T L_H x$, where $L_G$ and $L_H$ denote the respective graph Laplacians.…

Data Structures and Algorithms · Computer Science 2016-11-22 Rasmus Kyng , Jakub Pachocki , Richard Peng , Sushant Sachdeva

A distributed graph algorithm is basically an algorithm where every node of a graph can look at its neighborhood at some distance in the graph and chose its output. As distributed environment are subject to faults, an important issue is to…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-06-22 Laurent Feuilloley

In this paper we study graph problems in dynamic streaming model, where the input is defined by a sequence of edge insertions and deletions. As many natural problems require $\Omega(n)$ space, where $n$ is the number of vertices, existing…

Data Structures and Algorithms · Computer Science 2016-05-03 Zengfeng Huang , Pan Peng

We study the problem of constructing hypergraph cut sparsifiers in the streaming model where a hypergraph on $n$ vertices is revealed either via an arbitrary sequence of hyperedge insertions alone ({\em insertion-only} streaming model) or…

Data Structures and Algorithms · Computer Science 2025-04-24 Sanjeev Khanna , Aaron Putterman , Madhu Sudan

We present a new approach for finding matchings in dense graphs by building on Szemer\'edi's celebrated Regularity Lemma. This allows us to obtain non-trivial albeit slight improvements over longstanding bounds for matchings in streaming…

Data Structures and Algorithms · Computer Science 2022-07-20 Sepehr Assadi , Soheil Behnezhad , Sanjeev Khanna , Huan Li

Streaming interactive proofs (SIPs) enable a space-bounded algorithm with one-pass access to a massive stream of data to verify a computation that requires large space, by communicating with a powerful but untrusted prover. This work…

Computational Complexity · Computer Science 2024-05-28 Graham Cormode , Marcel Dall'Agnol , Tom Gur , Chris Hickey

In the semi-streaming model for processing massive graphs, an algorithm makes multiple passes over the edges of a given $n$-vertex graph and is tasked with computing the solution to a problem using $O(n \cdot \text{polylog}(n))$ space.…

Data Structures and Algorithms · Computer Science 2023-12-21 Sepehr Assadi , Christian Konrad , Kheeran K. Naidu , Janani Sundaresan

We study the problem of computing an approximate maximum cardinality matching in the semi-streaming model when edges arrive in a \emph{random} order. In the semi-streaming model, the edges of the input graph G = (V,E) are given as a stream…

Data Structures and Algorithms · Computer Science 2020-05-04 Aaron Bernstein

A graph G'(V,E') is an \eps-sparsification of G for some \eps>0, if every (weighted) cut in G' is within (1\pm \eps) of the corresponding cut in G. A celebrated result of Benczur and Karger shows that for every undirected graph G, an…

Data Structures and Algorithms · Computer Science 2015-03-17 Ashish Goel , Michael Kapralov , Sanjeev Khanna

We study a graph coloring problem that is otherwise easy but becomes quite non-trivial in the one-pass streaming model. In contrast to previous graph coloring problems in streaming that try to find an assignment of colors to vertices, our…

Data Structures and Algorithms · Computer Science 2020-10-27 Anup Bhattacharya , Arijit Bishnu , Gopinath Mishra , Anannya Upasana

Property Testing is a formal framework to study the computational power and complexity of sampling from combinatorial objects. A central goal in standard graph property testing is to understand which graph properties are testable with…

Data Structures and Algorithms · Computer Science 2025-09-08 Artur Czumaj , Christian Sohler , Stefan Walzer

Many streaming algorithms provide only a high-probability relative approximation. These two relaxations, of allowing approximation and randomization, seem necessary -- for many streaming problems, both relaxations must be employed…

Data Structures and Algorithms · Computer Science 2023-05-16 Vladimir Braverman , Robert Krauthgamer , Aditya Krishnan , Shay Sapir

We study streaming algorithms for Correlation Clustering. Given a graph as an arbitrary-order stream of edges, with each edge labeled as positive or negative, the goal is to partition the vertices into disjoint clusters, such that the…

Data Structures and Algorithms · Computer Science 2025-10-14 Yinhao Dong , Shan Jiang , Shi Li , Pan Peng

The seminal work of Ahn, Guha, and McGregor in 2012 introduced the graph sketching technique and used it to present the first streaming algorithms for various graph problems over dynamic streams with both insertions and deletions of edges.…

Data Structures and Algorithms · Computer Science 2023-12-11 Sepehr Assadi , Gillat Kol , Zhijun Zhang

This work concerns with proving space lower bounds for graph problems in the streaming model. It is known that computing the length of shortest path between two nodes in the streaming model requires $\Omega(n)$ space, where $n$ is the…

Computational Complexity · Computer Science 2020-11-23 Paritosh Verma

Feature extraction is an essential task in graph analytics. These feature vectors, called graph descriptors, are used in downstream vector-space-based graph analysis models. This idea has proved fruitful in the past, with spectral-based…

Machine Learning · Computer Science 2023-04-11 Zohair Raza Hassan , Sarwan Ali , Imdadullah Khan , Mudassir Shabbir , Waseem Abbas

We identify a sharp separation in the streaming space complexity of Maximum Cut when the algorithm must output an approximate cut (rather than only the approximate value). For dense graphs, we show that $O(n/\varepsilon^2)$ space is…

Data Structures and Algorithms · Computer Science 2026-05-12 Yang P. Liu , Hoai-An Nguyen , Noah G. Singer , David P. Woodruff

Graph embedding techniques have been increasingly deployed in a multitude of different applications that involve learning on non-Euclidean data. However, existing graph embedding models either fail to incorporate node attribute information…

Machine Learning · Computer Science 2021-06-22 Chenhui Deng , Zhiqiang Zhao , Yongyu Wang , Zhiru Zhang , Zhuo Feng

Graph coloring is a fundamental problem in computer science. In the semi-streaming model, an input graph $G$ on $n$ vertices and maximum degree $\Delta$ is presented as a stream of edges, and the goal is to compute a vertex coloring using a…

Data Structures and Algorithms · Computer Science 2026-05-11 Shiri Chechik , Hongyi Chen , Tianyi Zhang

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
‹ Prev 1 3 4 5 6 7 10 Next ›