English
Related papers

Related papers: A Formal Analysis of Capacity Scaling Algorithms f…

200 papers

Klinz and Woeginger (1995) prove that the minimum cost quickest flow problem is NP-hard. On the other hand, the quickest minimum cost flow problem can be solved efficiently via a straightforward reduction to the quickest flow problem…

Discrete Mathematics · Computer Science 2023-03-07 Martin Skutella

The Maximum Flow Problem with Conflict Constraints is a generalization that adds conflict constraints to a classical optimization problem on networks used to model several real-world applications. In the last few years several approaches,…

Optimization and Control · Mathematics 2025-03-26 Roberto Montemanni , Derek H. Smith

We address the joint optimization of multiple stream joins in a scale-out architecture by tailoring prior work on multi-way stream joins to predicate-driven data partitioning schemes. We present an integer linear programming (ILP)…

Databases · Computer Science 2021-04-19 Manuel Dossinger , Sebastian Michel

The phase space flow of a dynamical system leading to the solution of Linear Programming (LP) problems is explored as an example of complexity analysis in an analog computation framework. An ensemble of LP problems with $n$ variables and…

Statistical Mechanics · Physics 2009-11-07 Asa Ben-Hur , Joshua Feinberg , Shmuel Fishman , Hava T. Siegelmann

We study the problem of computing a minimum cut in a simple, undirected graph and give a deterministic $O(m \log^2 n \log\log^2 n)$ time algorithm. This improves both on the best previously known deterministic running time of $O(m \log^{12}…

Data Structures and Algorithms · Computer Science 2019-11-11 Monika Henzinger , Satish Rao , Di Wang

Replacing positivity constraints by an entropy barrier is popular to approximate solutions of linear programs. In the special case of the optimal transport problem, this technique dates back to the early work of Schr\"odinger. This approach…

Analysis of PDEs · Mathematics 2017-01-10 Guillaume Carlier , Vincent Duval , Gabriel Peyré , Bernhard Schmitzer

Coflow is a network abstraction used to represent communication patterns in data centers. The coflow scheduling problem encountered in large data centers is a challenging $\mathcal{NP}$-hard problem. This paper tackles the scheduling…

Data Structures and Algorithms · Computer Science 2023-12-29 Chi-Yeh Chen

Linear programming describes the problem of optimising a linear objective function over a set of constraints on its variables. In this paper we present a solver for linear programs implemented in the proof assistant Isabelle/HOL. This…

Logic in Computer Science · Computer Science 2024-03-29 Julian Parsert

In inland waterways, the efficient management of water lock operations impacts the level of congestion and the resulting uncertainty in inland waterway transportation. To achieve reliable and efficient traffic, schedules should be easy to…

Data Structures and Algorithms · Computer Science 2025-06-24 Julian Golak , Alexander Grigoriev , Freija van Lent , Tom van der Zanden

This paper discusses the shortest path problem in a general directed graph with $n$ nodes and $K$ cost scenarios (objectives). In order to choose a solution, the min-max criterion is applied. The min-max version of the problem is hard to…

Data Structures and Algorithms · Computer Science 2024-09-18 Adam Kasperski , Pawel Zielinski

Short integer linear programs are programs with a relatively small number of constraints. We show how recent improvements on the running-times of solvers for such programs can be used to obtain fast pseudo-polynomial time algorithms for…

Data Structures and Algorithms · Computer Science 2026-02-09 Danny Hermelin , Dvir Shabtay

The Traveling Salesman Problem (TSP) is one of the classic and hard problems in combinatorial optimization. We develop a new heuristic that uses a connection between Minimum Cost Flow Problems and the TSP to improve on a given suboptimal…

Optimization and Control · Mathematics 2026-03-30 Steffen Borgwardt , Zachary Sorenson

We provide an algorithm which, with high probability, maintains a $(1-\epsilon)$-approximate maximum flow on an undirected graph undergoing $m$-edge additions in amortized $m^{o(1)} \epsilon^{-3}$ time per update. To obtain this result, we…

Data Structures and Algorithms · Computer Science 2023-11-07 Jan van den Brand , Li Chen , Rasmus Kyng , Yang P. Liu , Richard Peng , Maximilian Probst Gutenberg , Sushant Sachdeva , Aaron Sidford

The purpose of this paper is to introduce a new numerical method to solve multi-marginal optimal transport problems with pairwise interaction costs. The complexity of multi-marginal optimal transport generally scales exponentially in the…

Optimization and Control · Mathematics 2023-08-08 Luca Nenna , Brendan Pass

The GC problem is to identify a pre-determined number of center vertices such that the distances or costs from (or to) the centers to (or from) other vertices is minimized. The bottleneck of a path is the minimum capacity of edges on the…

Data Structures and Algorithms · Computer Science 2013-09-17 Tong-Wook Shinn , Tadao Takaoka

Modern data centers face new scheduling challenges in optimizing job-level performance objectives, where a significant challenge is the scheduling of highly parallel data flows with a common performance goal (e.g., the shuffle operations in…

Networking and Internet Architecture · Computer Science 2016-03-28 Zhen Qiu , Cliff Stein , Yuan Zhong

Optimal power flow (OPF) is one of the fundamental tasks for power system operations. While machine learning (ML) approaches such as deep neural networks (DNNs) have been widely studied to enhance OPF solution speed and performance, their…

Machine Learning · Computer Science 2026-01-07 Xinyi Liu , Xuan He , Yize Chen

We present a new algorithm for computing balanced flows in equality networks arising in market equilibrium computations. The current best time bound for computing balanced flows in such networks requires $O(n)$ maxflow computations, where…

Data Structures and Algorithms · Computer Science 2016-05-16 Omar Darwish , Kurt Mehlhorn

Let $G$ be an edge-weighted directed graph with $n$ vertices embedded on an orientable surface of genus $g$. We describe a simple deterministic lexicographic perturbation scheme that guarantees uniqueness of minimum-cost flows and shortest…

Data Structures and Algorithms · Computer Science 2018-04-04 Jeff Erickson , Kyle Fox , Luvsandondov Lkhamsuren

We consider the first, and most well studied, speed scaling problem in the algorithmic literature: where the scheduling quality of service measure is a deadline feasibility constraint, and where the power objective is to minimize the total…

Data Structures and Algorithms · Computer Science 2013-07-03 Ahmed Abousamra , David P. Bunde , Kirk Pruhs