English
Related papers

Related papers: Iterative Rounding for the Closest String Problem

200 papers

In this paper we study the (Bichromatic) Maximum Inner Product Problem (Max-IP), in which we are given sets $A$ and $B$ of vectors, and the goal is to find $a \in A$ and $b \in B$ maximizing inner product $a \cdot b$. Max-IP is very basic…

Computational Complexity · Computer Science 2018-03-07 Lijie Chen

We settle the pseudo-polynomial complexity of the Demand Strip Packing (DSP) problem: Given a strip of fixed width and a set of items with widths and heights, the items must be placed inside the strip with the objective of minimizing the…

Data Structures and Algorithms · Computer Science 2025-07-02 Klaus Jansen , Malin Rau , Malte Tutas

The constrained synchronization problem (CSP) asks for a synchronizing word of a given input automaton contained in a regular set of constraints. It could be viewed as a special case of synchronization of a discrete event system under…

Formal Languages and Automata Theory · Computer Science 2021-08-03 Stefan Hoffmann

The Priority Inheritance Protocol (PIP) is arguably the best-known protocol for resource sharing under real-time constraints. Its importance in modern applications is undisputed. Nevertheless, because jobs may be blocked under PIP for a…

Operating Systems · Computer Science 2018-06-12 Paolo Torroni , Zeynep Kiziltan , Eugenio Faldella

The notion of the cover is a generalization of a period of a string, and there are linear time algorithms for finding the shortest cover. The seed is a more complicated generalization of periodicity, it is a cover of a superstring of a…

Given a set of strings over a specified alphabet, identifying a median or consensus string that minimizes the total distance to all input strings is a fundamental data aggregation problem. When the Hamming distance is considered as the…

Data Structures and Algorithms · Computer Science 2026-02-11 Diptarka Chakraborty , Rudrayan Kundu , Nidhi Purohit , Aravinda Kanchana Ruwanpathirana

The article demonstrates rather general approach to problems of discrete geometry: treat them as global optimization problems to be solved by one of general purpose solver implementing branch-and-bound algorithm (B&B). This approach may be…

Optimization and Control · Mathematics 2018-12-18 Sergey A. Smirnov , Vladimir V. Voloshinov

Given an input matrix polynomial whose coefficients are floating point numbers, we consider the problem of finding the nearest matrix polynomial which has rank at most a specified value. This generalizes the problem of finding a nearest…

Symbolic Computation · Computer Science 2017-12-13 Mark Giesbrecht , Joseph Haraldson , George Labahn

The simple assembly line balancing problem (SALBP) concerns the assignment of tasks with pre-defined processing times to work stations that are arranged in a line. Hereby, precedence constraints between the tasks must be respected. The…

Discrete Mathematics · Computer Science 2010-12-16 Christian Blum

MAP is the problem of finding a most probable instantiation of a set of variables in a Bayesian network given some evidence. Unlike computing posterior probabilities, or MPE (a special case of MAP), the time and space complexity of…

Artificial Intelligence · Computer Science 2012-12-12 James D. Park , Adnan Darwiche

We study the general integer programming (IP) problem of optimizing a separable convex function over the integer points of a polytope: $\min \{f(\mathbf{x}) \mid A\mathbf{x} = \mathbf{b}, \, \mathbf{l} \leq \mathbf{x} \leq \mathbf{u}, \,…

Data Structures and Algorithms · Computer Science 2025-05-29 Christoph Hunkenschröder , Martin Koutecký , Asaf Levin , Tung Anh Vu

A popular approach to sentence compression is to formulate the task as a constrained optimization problem and solve it with integer linear programming (ILP) tools. Unfortunately, dependence on ILP may make the compressor prohibitively slow,…

Computation and Language · Computer Science 2015-10-29 Katja Filippova , Enrique Alfonseca

We address the classical knapsack problem and a variant in which an upper bound is imposed on the number of items that can be selected. We show that appropriate combinations of rounding techniques yield novel and powerful ways of rounding.…

Computational Complexity · Computer Science 2007-05-23 Monaldo Mastrolilli , Marcus Hutter

We consider stamps with different values (denominations) and same dimensions, and an envelope with a fixed maximum number of stamp positions. The local postage stamp problem is to find the smallest value that cannot be realized by the sum…

Data Structures and Algorithms · Computer Science 2026-01-30 Léo Colisson Palais , Jean-Guillaume Dumas , Alexis Galan , Bruno Grenet , Aude Maignan

Branch-and-bound is the workhorse of all state-of-the-art mixed integer linear programming (MILP) solvers. These implementations of branch-and-bound typically use variable branching, that is, the child nodes are obtained by fixing some…

Optimization and Control · Mathematics 2021-09-20 Santanu S. Dey , Yatharth Dubey , Marco Molinaro

Given a connected, undirected graph whose edges are labelled (or coloured), the minimum labelling spanning tree (MLST) problem seeks a spanning tree whose edges have the smallest number of distinct labels (or colours). In recent work, the…

Optimization and Control · Mathematics 2014-03-05 Sergio Consoli , Nenad Mladenovic , Jose Andres Moreno-Perez

In this paper, we investigate the trade-off between convergence rate and computational cost when minimizing a composite functional with proximal-gradient methods, which are popular optimisation tools in machine learning. We consider the…

Machine Learning · Computer Science 2012-10-23 Pierre Machart , Sandrine Anthoine , Luca Baldassarre

Given a redundant dictionary $\Phi$, represented by an $M \times N$ matrix ($\Phi \in \mathbb{R}^{M \times N}$) and a target signal $y \in \mathbb{R}^M$, the \emph{sparse approximation problem} asks to find an approximate representation of…

Computational Complexity · Computer Science 2011-11-29 Ali Civril

In the Demand Strip Packing problem (DSP), we are given a time interval and a collection of tasks, each characterized by a processing time and a demand for a given resource (such as electricity, computational power, etc.). A feasible…

Data Structures and Algorithms · Computer Science 2021-05-20 Waldo Gálvez , Fabrizio Grandoni , Afrouz Jabal Ameli , Kamyar Khodamoradi

The 0-1 integer linear programming feasibility problem is an important NP-complete problem. This paper proposes a continuous-time dynamical system for solving that problem without getting trapped in non-solution local minima. First, the…

Data Structures and Algorithms · Computer Science 2019-05-14 Chengrui Li , Bruce J. MacLennan