English
Related papers

Related papers: Maximum Bipartite Matching in $n^{2+o(1)}$ Time vi…

200 papers

The All-Pairs Max-Flow problem has gained significant popularity in the last two decades, and many results are known regarding its fine-grained complexity. Despite this, wide gaps remain in our understanding of the time complexity for…

Data Structures and Algorithms · Computer Science 2024-11-12 Ohad Trabelsi

Finding dense subgraphs is a fundamental algorithmic tool in data mining, community detection, and clustering. In this problem, one aims to find an induced subgraph whose edge-to-vertex ratio is maximized. We study the directed case of this…

Data Structures and Algorithms · Computer Science 2023-11-21 Slobodan Mitrović , Theodore Pan

We consider the maximum matching problem in the semi-streaming model formalized by Feigenbaum, Kannan, McGregor, Suri, and Zhang that is inspired by giant graphs of today. As our main result, we give a two-pass $(1/2 + 1/16)$-approximation…

Data Structures and Algorithms · Computer Science 2017-04-24 Sagar Kale , Sumedh Tirodkar

Let c denote a non-negative constant. Suppose that we are given an edge-weighted bipartite graph G=(V,E) with its 2-layered drawing and a family X of intersecting edge pairs. We consider the problem of finding a maximum weighted matching M*…

Data Structures and Algorithms · Computer Science 2019-09-17 Kazuya Haraguchi , Kotaro Torii , Motomu Endo

An $n$-vertex $m$-edge graph is \emph{$k$-vertex connected} if it cannot be disconnected by deleting less than $k$ vertices. After more than half a century of intensive research, the result by [Li et al. STOC'21] finally gave a…

Data Structures and Algorithms · Computer Science 2023-08-10 Chaitanya Nalam , Thatchaphol Saranurak , Sorrachai Yingchareonthawornchai

The most efficient way to calculate strong bisimilarity is by calculation the relational coarsest partition on a transition system. We provide the first linear time algorithm to calculate strong bisimulation using parallel random access…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-26 Jan Martens , Jan Friso Groote , Lars van den Haak , Pieter Hijma , Anton Wijs

Identifying the connected components of a graph, apart from being a fundamental problem with countless applications, is a key primitive for many other algorithms. In this paper, we consider this problem in parallel settings. Particularly,…

Data Structures and Algorithms · Computer Science 2020-03-13 Soheil Behnezhad , Laxman Dhulipala , Hossein Esfandiari , Jakub Łącki , Vahab Mirrokni

In 1961, Gomory and Hu showed that the All-Pairs Max-Flow problem of computing the max-flow between all $n\choose 2$ pairs of vertices in an undirected graph can be solved using only $n-1$ calls to any (single-pair) max-flow algorithm. Even…

Data Structures and Algorithms · Computer Science 2022-08-05 Amir Abboud , Robert Krauthgamer , Jason Li , Debmalya Panigrahi , Thatchaphol Saranurak , Ohad Trabelsi

We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC…

Logic in Computer Science · Computer Science 2021-04-16 Krishnendu Chatterjee , Wolfgang Dvořák , Monika Henzinger , Alexander Svozil

We provide $\widetilde{O}(\epsilon^{-1})$-pass semi-streaming algorithms for computing $(1-\epsilon)$-approximate maximum cardinality matchings in bipartite graphs. Our most efficient methods are deterministic and use optimal, $O(n)$,…

Data Structures and Algorithms · Computer Science 2021-08-04 Sepehr Assadi , Arun Jambulapati , Yujia Jin , Aaron Sidford , Kevin Tian

We study the problem of finding maximal exact matches (MEMs) between a query string $Q$ and a labeled graph $G$. MEMs are an important class of seeds, often used in seed-chain-extend type of practical alignment methods because of their…

Data Structures and Algorithms · Computer Science 2023-07-04 Nicola Rizzo , Manuel Cáceres , Veli Mäkinen

Finding a maximum cardinality matching in a graph is one of the most fundamental problems. An algorithm proposed by Micali and Vazirani (1980) is well-known to solve the problem in $O(m\sqrt{n})$ time, which is still one of the fastest…

Data Structures and Algorithms · Computer Science 2025-11-12 Taisuke Izumi , Naoki Kitamura , Yutaro Yamaguchi

In multiobjective optimization, the result of an optimization algorithm is a set of efficient solutions from which the decision maker selects one. It is common that not all the efficient solutions can be computed in a short time and the…

Neural and Evolutionary Computing · Computer Science 2024-03-20 Miguel Ángel Domínguez-Ríos , Francisco Chicano , Enrique Alba

In a classical scheduling problem, we are given a set of $n$ jobs of unit length along with precedence constraints, and the goal is to find a schedule of these jobs on $m$ identical machines that minimizes the makespan. Using the standard…

Data Structures and Algorithms · Computer Science 2023-12-07 Jesper Nederlof , Céline M. F. Swennenhuis , Karol Węgrzycki

Network flow is one of the most studied combinatorial optimization problems having innumerable applications. Any flow on a directed acyclic graph $G$ having $n$ vertices and $m$ edges can be decomposed into a set of $O(m)$ paths. In some…

Data Structures and Algorithms · Computer Science 2022-07-05 Shahbaz Khan , Alexandru I. Tomescu

Multi-pass streaming algorithm for Maximum Matching have been studied since more than 15 years and various algorithmic results are known today, including $2$-pass streaming algorithms that break the $1/2$-approximation barrier, and…

Data Structures and Algorithms · Computer Science 2020-10-02 Lidiya Khalidah binti Khalil , Christian Konrad

We investigate sparse matrix bipartitioning -- a problem where we minimize the communication volume in parallel sparse matrix-vector multiplication. We prove, by reduction from graph bisection, that this problem is $\mathcal{NP}$-complete…

Data Structures and Algorithms · Computer Science 2020-05-08 Timon E. Knigge , Rob H. Bisseling

Symmetric submodular maximization is an important class of combinatorial optimization problems, including MAX-CUT on graphs and hyper-graphs. The state-of-the-art algorithm for the problem over general constraints has an approximation ratio…

Data Structures and Algorithms · Computer Science 2024-06-21 Zongqi Wan , Jialin Zhang , Xiaoming Sun , Zhijie Zhang

The vertex connectivity of an $m$-edge $n$-vertex undirected graph is the smallest number of vertices whose removal disconnects the graph, or leaves only a singleton vertex. In this paper, we give a reduction from the vertex connectivity…

Data Structures and Algorithms · Computer Science 2021-04-12 Jason Li , Danupon Nanongkai , Debmalya Panigrahi , Thatchaphol Saranurak , Sorrachai Yingchareonthawornchai

We give efficient distributed algorithms for the minimum vertex cover problem in bipartite graphs in the CONGEST model. From K\H{o}nig's theorem, it is well known that in bipartite graphs the size of a minimum vertex cover is equal to the…

Data Structures and Algorithms · Computer Science 2020-11-20 Salwa Faour , Fabian Kuhn