English
Related papers

Related papers: Strongly polynomial algorithm for a class of minim…

200 papers

We consider the fair allocation of indivisible items to several agents with additional conflict constraints. These are represented by a conflict graph where each item corresponds to a vertex of the graph and edges in the graph represent…

Discrete Mathematics · Computer Science 2023-08-21 Nina Chiarelli , Matjaž Krnc , Martin Milanič , Ulrich Pferschy , Joachim Schauer

We revisit the problem of finding optimal strategies for deterministic Markov Decision Processes (DMDPs), and a closely related problem of testing feasibility of systems of $m$ linear inequalities on $n$ real variables with at most two…

Data Structures and Algorithms · Computer Science 2021-10-29 Adam Karczmarz

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

We study the minimum-concave-cost flow problem on a two-dimensional grid. We characterize the computational complexity of this problem based on the number of rows and columns of the grid, the number of different capacities over all arcs,…

Data Structures and Algorithms · Computer Science 2016-03-01 Shabbir Ahmed , Qie He , Shi Li , George Nemhauser

In this paper we generalize N-fold integer programs and two-stage integer programs with N scenarios to N-fold 4-block decomposable integer programs. We show that for fixed blocks but variable N, these integer programs are polynomial-time…

Optimization and Control · Mathematics 2015-05-14 Raymond Hemmecke , Matthias Köppe , Robert Weismantel

This paper explores a method for solving constrained optimization problems when the derivatives of the objective function are unavailable, while the derivatives of the constraints are known. We allow the objective and constraint function to…

Optimization and Control · Mathematics 2024-02-20 Melody Qiming Xuan , Jorge Nocedal

We develop procedures, based on minimization of the composition $f(x) = h(c(x))$ of a convex function $h$ and smooth function $c$, for solving random collections of quadratic equalities, applying our methodology to phase retrieval problems.…

Statistics Theory · Mathematics 2018-04-24 John C. Duchi , Feng Ruan

In this paper, an exact algorithm in polynomial time is developed to solve unrestricted binary quadratic programs. The computational complexity is $O\left( n^{\frac{15}{2}}\right) $, although very conservative, it is sufficient to prove…

Data Structures and Algorithms · Computer Science 2021-02-02 Juan Ignacio Mulero-Martínez

We consider the optimization problem of a multi-resource, multi-unit VCG auction that produces an optimal, i.e., non-approximated, social welfare. We present an algorithm that solves this optimization problem with pseudo-polynomial…

Computer Science and Game Theory · Computer Science 2019-05-23 Liran Funaro , Orna Agmon Ben-Yehuda , Assaf Schuster

We present polynomial-time algorithms as well as hardness results for equilibrium computation in atomic splittable routing games, for the case of general convex cost functions. These games model traffic in freight transportation, market…

Computer Science and Game Theory · Computer Science 2018-04-27 Umang Bhaskar , Phani Raj Lolakapuri

We are given a set of $n$ jobs that have to be executed on a set of $m$ speed-scalable machines that can vary their speeds dynamically using the energy model introduced in [Yao et al., FOCS'95]. Every job $j$ is characterized by its release…

Data Structures and Algorithms · Computer Science 2014-02-18 Eric Angel , Evripidis Bampis , Vincent Chau , Nguyen Kim Thang

In this paper we study flow problems on temporal networks, where edge capacities and travel times change over time. We consider a network with $n$ nodes and $m$ edges where the capacity and length of each edge is a piecewise constant…

Data Structures and Algorithms · Computer Science 2025-02-20 Kristin Sheridan , Shuchi Chawla

We consider global efficiency of algorithms for minimizing a sum of a convex function and a composition of a Lipschitz convex function with a smooth map. The basic algorithm we rely on is the prox-linear method, which in each iteration…

Optimization and Control · Mathematics 2017-08-16 Dmitriy Drusvyatskiy , Courtney Paquette

This paper studies the scheduling of jobs of different families on parallel machines with qualification constraints. Originating from semiconductor manufacturing, this constraint imposes a time threshold between the execution of two jobs of…

Artificial Intelligence · Computer Science 2020-11-23 Margaux Nattaf , Arnaud Malapert

In this paper, we show new strongly polynomial work-depth tradeoffs for computing single-source shortest paths (SSSP) in non-negatively weighted directed graphs in parallel. Most importantly, we prove that directed SSSP can be solved within…

Data Structures and Algorithms · Computer Science 2025-10-23 Adam Karczmarz , Wojciech Nadara , Marek Sokołowski

This paper introduces a novel theoretical framework and a suite of highly efficient, parallelizable algorithms for solving the large-scale multicommodity flow (MCF) feasibility problem. We reframe the classical constraint-satisfaction…

Optimization and Control · Mathematics 2025-08-26 Pengfei Liu

We consider a class of optimization problems that involve determining the maximum value that a function in a particular class can attain subject to a collection of difference constraints. We show that a particular linear programming…

Data Structures and Algorithms · Computer Science 2022-11-16 Sungjin Im , Benjamin Moseley , Hung Q. Ngo , Kirk Pruhs , Alireza Samadian

We propose an algorithm for solving the time-dependent shortest path problem in flow fields where the FIFO (first-in-first-out) assumption is violated. This problem variant is important for autonomous vehicles in the ocean, for example,…

Robotics · Computer Science 2019-09-06 James Ju Heon Lee , Chanyeol Yoo , Stuart Anstee , Robert Fitch

We present formalisations of the correctness of executable algorithms to solve minimum-cost flow problems in Isabelle/HOL. Two of the algorithms are based on the technique of scaling, most notably Orlin's algorithm, which has the fastest…

Logic in Computer Science · Computer Science 2026-02-04 Mohammad Abdulaziz , Thomas Ammer

It is well known that the most challenging question in optimization and discrete geometry is whether there is a strongly polynomial time simplex algorithm for linear programs (LPs). This paper gives a positive answer to this question by…

Optimization and Control · Mathematics 2022-10-03 Zi-zong Yan , Xiang-jun Li , Jinhai Guo