English
Related papers

Related papers: Fast Makespan Minimization via Short ILPs

200 papers

In the classic Integer Programming (IP) problem, the objective is to decide whether, for a given $m \times n$ matrix $A$ and an $m$-vector $b=(b_1,\dots, b_m)$, there is a non-negative integer $n$-vector $x$ such that $Ax=b$. Solving (IP)…

Data Structures and Algorithms · Computer Science 2018-07-18 Fedor V. Fomin , Fahad Panolan , M. S. Ramanujan , Saket Saurabh

We study the early work scheduling problem on identical parallel machines in order to maximize the total early work, i.e., the parts of non-preemptive jobs executed before a common due date. By preprocessing and constructing an auxiliary…

Data Structures and Algorithms · Computer Science 2020-07-27 Weidong Li

We consider the problem of scheduling $n$ jobs to minimize the makespan on $m$ unrelated machines, where job $j$ requires time $p_{ij}$ if processed on machine $i$. A classic algorithm of Lenstra et al. yields the best known approximation…

Data Structures and Algorithms · Computer Science 2014-06-24 Dor Arad , Yael Mordechai , Hadas Shachnai

Approximate message passing (AMP) is a family of iterative algorithms that generalize matrix power iteration. AMP algorithms are known to optimally solve many average-case optimization problems. In this paper, we show that a large class of…

Data Structures and Algorithms · Computer Science 2023-11-16 Misha Ivkov , Tselil Schramm

The goal of inductive logic programming (ILP) is to search for a logic program that generalises training examples and background knowledge. We introduce an ILP approach that identifies minimal unsatisfiable subprograms (MUSPs). We show that…

Machine Learning · Computer Science 2024-01-30 Andrew Cropper , Céline Hocquette

We present fast algorithms for approximate shortest paths in the massively parallel computation (MPC) model. We provide randomized algorithms that take $poly(\log{\log{n}})$ rounds in the near-linear memory MPC model. Our results are for…

Data Structures and Algorithms · Computer Science 2025-05-20 Michal Dory , Shaked Matar

We show how to reduce a general, strictly-feasible LP problem, into a min-max problem, which can be solved by the algorithm from the third section of my thesis.

Computational Geometry · Computer Science 2013-11-22 Carmi Grushko

This paper considers fast algorithms for operations on linearized polynomials. We propose a new multiplication algorithm for skew polynomials (a generalization of linearized polynomials) which has sub-quadratic complexity in the polynomial…

Symbolic Computation · Computer Science 2017-07-12 Sven Puchinger , Antonia Wachter-Zeh

Several algorithms are available in the literature for finding the entire set of Pareto-optimal solutions in MultiObjective Linear Programming (MOLP). However, it has not been proposed so far an interior point algorithm that finds all…

Optimization and Control · Mathematics 2011-12-30 Víctor Blanco , Justo Puerto , Safae El-Haj Ben-Ali

For several decades the dominant techniques for integer linear programming have been branching and cutting planes. Recently, several authors have developed core point methods for solving symmetric integer linear programs (ILPs). An integer…

Optimization and Control · Mathematics 2025-05-07 Naghmeh Shahverdi , Seyyedmahsa Banihashemi , David Bremner

We develop a general framework for finding approximately-optimal preconditioners for solving linear systems. Leveraging this framework we obtain improved runtimes for fundamental preconditioning and linear system solving problems including…

Data Structures and Algorithms · Computer Science 2023-10-30 Arun Jambulapati , Jerry Li , Christopher Musco , Kirankumar Shiragur , Aaron Sidford , Kevin Tian

Linear operators and optimisation are at the core of many algorithms used in signal and image processing, remote sensing, and inverse problems. For small to medium-scale problems, existing software packages (e.g., MATLAB, Python numpy and…

Mathematical Software · Computer Science 2019-07-30 Matteo Ravasi , Ivan Vasconcelos

Parameterizing by the largest processing time $p_{max}$ and the number of different job processing times $d$, we propose a proximity technique for High-Multiplicity Scheduling on Uniform Machines for the objectives Makespan Minimization…

Data Structures and Algorithms · Computer Science 2024-09-24 Hauke Brinkop , David Fischer , Klaus Jansen

Pseudoinverses are ubiquitous tools for handling over- and under-determined systems of equations. For computational efficiency, sparse pseudoinverses are desirable. Recently, sparse left and right pseudoinverses were introduced, using…

Numerical Analysis · Mathematics 2016-06-23 Victor K. Fuentes , Marcia Fampa , Jon Lee

It was recently proved that any Straight-Line Program (SLP) generating a given string can be transformed in linear time into an equivalent balanced SLP of the same asymptotic size. We generalize this proof to a general class of grammars we…

Data Structures and Algorithms · Computer Science 2024-04-11 Gonzalo Navarro , Francisco Olivares , Cristian Urbina

This article presents a validation of a recently proposed strongly polynomial-time algorithm for the general linear programming problem. The proposed algorithm is an implicit reduction procedure that combines primal and dual linear…

Optimization and Control · Mathematics 2026-04-28 Samuel Awoniyi

Quantum computers are currently noisy, particularly without error correction and fault tolerance. Methods like error suppression and mitigation are widely used to improve performance. Circuit cutting, which partitions a circuit into smaller…

Quantum Physics · Physics 2025-07-03 Debasmita Bhoumik , Ritajit Majumdar , Amit Saha , Susmita Sur-Kolay

The (non-uniform) sparsest cut problem is the following graph-partitioning problem: given a "supply" graph, and demands on pairs of vertices, delete some subset of supply edges to minimize the ratio of the supply edges cut to the total…

Data Structures and Algorithms · Computer Science 2021-06-01 Vincent Cohen-Addad , Anupam Gupta , Philip N. Klein , Jason Li

Floor planning is an important and difficult task in architecture. When planning office buildings, rooms that belong to the same organisational unit should be placed close to each other. This leads to the following NP-hard mathematical…

Computational Geometry · Computer Science 2021-07-13 Jonathan Klawitter , Felix Klesen , Alexander Wolff

We study tight bounds and fast algorithms for LCLMs of several linear differential operators with polynomial coefficients. We analyze the arithmetic complexity of existing algorithms for LCLMs, as well as the size of their outputs. We…

Symbolic Computation · Computer Science 2013-06-19 Alin Bostan , Frédéric Chyzak , Ziming Li , Bruno Salvy
‹ Prev 1 4 5 6 7 8 10 Next ›