English
Related papers

Related papers: (Almost) Ruling Out SETH Lower Bounds for All-Pair…

200 papers

In this paper, we revisit the classic approximate All-Pairs Shortest Paths (APSP) problem in undirected graphs. For unweighted graphs, we provide an algorithm for $2$-approximate APSP in $\tilde O(n^{2.5-r}+n^{\omega(r)})$ time, for any…

Data Structures and Algorithms · Computer Science 2023-10-31 Michal Dory , Sebastian Forster , Yael Kirkpatrick , Yasamin Nazari , Virginia Vassilevska Williams , Tijn de Vos

Planar graphs are known to allow subexponential algorithms running in time $2^{O(\sqrt n)}$ or $2^{O(\sqrt n \log n)}$ for most of the paradigmatic problems, while the brute-force time $2^{\Theta(n)}$ is very likely to be asymptotically…

Computational Geometry · Computer Science 2018-10-12 Édouard Bonnet , Paweł Rzążewski

The minimum-cost flow problem is a classic problem in combinatorial optimization with various applications. Several pseudo-polynomial, polynomial, and strongly polynomial algorithms have been developed in the past decades, and it seems that…

Data Structures and Algorithms · Computer Science 2015-09-16 Tobias Brunsch , Kamiel Cornelissen , Bodo Manthey , Heiko Röglin , Clemens Rösner

The strong exponential-time hypothesis (SETH) is a commonly used conjecture in the field of complexity theory. It states that CNF formulas cannot be analyzed for satisfiability with a speedup over exhaustive search. This hypothesis and its…

Quantum Physics · Physics 2019-11-15 Harry Buhrman , Subhasree Patro , Florian Speelman

We give an algorithm that computes exact maximum flows and minimum-cost flows on directed graphs with $m$ edges and polynomially bounded integral demands, costs, and capacities in $m^{1+o(1)}$ time. Our algorithm builds the flow through a…

Data Structures and Algorithms · Computer Science 2022-04-26 Li Chen , Rasmus Kyng , Yang P. Liu , Richard Peng , Maximilian Probst Gutenberg , Sushant Sachdeva

In this paper, we address the minimum-cost node-capacitated multiflow problem in an undirected network. For this problem, Babenko and Karzanov (2012) showed strongly polynomial-time solvability via the ellipsoid method. Our result is the…

Data Structures and Algorithms · Computer Science 2019-09-05 Hiroshi Hirai , Motoki Ikeda

I introduce a new approach to the maximum flow problem by a simple algorithm with a slightly better runtime. This approach is based on sorting arcs insight of vertices on a residual graph. This new approach leads to an O(mn^0.5) time bound…

Data Structures and Algorithms · Computer Science 2013-02-14 Björn Hlava

All-Pairs Minimum Cut (APMC) is a fundamental graph problem that asks to find a minimum $s,t$-cut for every pair of vertices $s,t$. A recent line of work on fast algorithms for APMC has culminated with a reduction of APMC to…

Data Structures and Algorithms · Computer Science 2026-04-07 Yotam Kenneth-Mordoch , Robert Krauthgamer

Given a graph $G=(V,E)$ with two distinguished vertices $s,t\in V$ and an integer $L$, an {\em $L$-bounded flow} is a flow between $s$ and $t$ that can be decomposed into paths of length at most $L$. In the {\em maximum $L$-bounded flow…

Data Structures and Algorithms · Computer Science 2019-02-21 Kateřina Altmanová , Petr Kolman , Jan Voborník

There has been recent progress in showing that the exponential dependence on treewidth in dynamic programming algorithms for solving NP-hard problems are optimal under the Strong Exponential Time Hypothesis (SETH). We extend this work to…

Data Structures and Algorithms · Computer Science 2015-02-04 Glencora Borradaile , Hung Le

Detecting commuting patterns or migration patterns in movement data is an important problem in computational movement analysis. Given a trajectory, or set of trajectories, this corresponds to clustering similar subtrajectories. We study…

Computational Geometry · Computer Science 2021-11-01 Joachim Gudmundsson , Sampson Wong

We show that there is no $2^{o(k^2)} n^{O(1)}$ time algorithm for Independent Set on $n$-vertex graphs with rank-width $k$, unless the Exponential Time Hypothesis (ETH) fails. Our lower bound matches the $2^{O(k^2)} n^{O(1)}$ time algorithm…

Data Structures and Algorithms · Computer Science 2022-12-09 Benjamin Bergougnoux , Tuukka Korhonen , Jesper Nederlof

We present faster algorithms for approximate maximum flow in undirected graphs with good separator structures, such as bounded genus, minor free, and geometric graphs. Given such a graph with $n$ vertices, $m$ edges along with a recursive…

Data Structures and Algorithms · Computer Science 2012-10-19 Gary Miller , Richard Peng

Subset-Sum and k-SAT are two of the most extensively studied problems in computer science, and conjectures about their hardness are among the cornerstones of fine-grained complexity. One of the most intriguing open problems in this area is…

Data Structures and Algorithms · Computer Science 2021-02-22 Amir Abboud , Karl Bringmann , Danny Hermelin , Dvir Shabtay

Maximum bipartite matching (MBM) is a fundamental problem in combinatorial optimization with a long and rich history. A classic result of Hopcroft and Karp (1973) provides an $O(m \sqrt{n})$-time algorithm for the problem, where $n$ and $m$…

Data Structures and Algorithms · Computer Science 2024-06-03 Julia Chuzhoy , Sanjeev Khanna

In this paper we provide an algorithm which given any $m$-edge $n$-vertex directed graph with integer capacities at most $U$ computes a maximum $s$-$t$ flow for any vertices $s$ and $t$ in $m^{11/8+o(1)}U^{1/4}$ time with high probability.…

Data Structures and Algorithms · Computer Science 2019-11-01 Yang P. Liu , Aaron Sidford

We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) inputs (denoted by log-CircuitSAT) is not decidable in…

Computational Complexity · Computer Science 2022-05-18 András Z. Salamon , Michael Wehar

In the vertex connectivity problem, given an undirected $n$-vertex $m$-edge graph $G$, we need to compute the minimum number of vertices that can disconnect $G$ after removing them. This problem is one of the most well-studied graph…

Data Structures and Algorithms · Computer Science 2022-10-26 Thatchaphol Saranurak , Sorrachai Yingchareonthawornchai

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs…

Computational Complexity · Computer Science 2020-06-04 Massimo Equi , Roberto Grossi , Veli Mäkinen

We provide faster algorithms for approximately solving $\ell_{\infty}$ regression, a fundamental problem prevalent in both combinatorial and continuous optimization. In particular, we provide accelerated coordinate descent methods capable…

Data Structures and Algorithms · Computer Science 2020-04-03 Aaron Sidford , Kevin Tian