English
Related papers

Related papers: On the Optimality of Pseudo-polynomial Algorithms …

200 papers

Given a set $Z$ of $n$ positive integers and a target value $t$, the Subset Sum problem asks whether any subset of $Z$ sums to $t$. A textbook pseudopolynomial time algorithm by Bellman from 1957 solves Subset Sum in time $O(nt)$. This has…

Data Structures and Algorithms · Computer Science 2017-01-10 Karl Bringmann

We study the integer minimization of a quasiconvex polynomial with quasiconvex polynomial constraints. We propose a new algorithm that is an improvement upon the best known algorithm due to Heinz (Journal of Complexity, 2005). This…

Optimization and Control · Mathematics 2017-01-06 Robert Hildebrand , Matthias Köppe

The min-rank of a graph was introduced by Haemers (1978) to bound the Shannon capacity of a graph. This parameter of a graph has recently gained much more attention from the research community after the work of Bar-Yossef et al. (2006). In…

Combinatorics · Mathematics 2016-11-26 Son Hoang Dau , Yeow Meng Chee

Standard mixed-integer programming formulations for the stable set problem on $n$-node graphs require $n$ integer variables. We prove that this is almost optimal: We give a family of $n$-node graphs for which every polynomial-size MIP…

Discrete Mathematics · Computer Science 2024-03-14 Jamico Schade , Makrand Sinha , Stefan Weltge

We consider optimal route planning when the objective function is a general nonlinear and non-monotonic function. Such an objective models user behavior more accurately, for example, when a user is risk-averse, or the utility function needs…

Data Structures and Algorithms · Computer Science 2015-11-24 Ger Yang , Evdokia Nikolova

Quasi-Newton methods are well known techniques for large-scale numerical optimization. They use an approximation of the Hessian in optimization problems or the Jacobian in system of nonlinear equations. In the Interior Point context,…

Optimization and Control · Mathematics 2022-09-13 Jacek Gondzio , Francisco N. C. Sobral

We study the design of polylogarithmic depth algorithms for approximately solving packing and covering semidefinite programs (or positive SDPs for short). This is a natural SDP generalization of the well-studied positive LP problem.…

Data Structures and Algorithms · Computer Science 2016-01-12 Zeyuan Allen-Zhu , Yin Tat Lee , Lorenzo Orecchia

Finding a shortest path in a graph is one of the most classic problems in algorithmic and graph theory. While we dispose of quite efficient algorithms for this ordinary problem (like the Dijkstra or Bellman-Ford algorithms), some slight…

Data Structures and Algorithms · Computer Science 2024-08-05 Abderrahim Bendahi , Adrien Fradin

This thesis explores algorithmic applications and limitations of convex relaxation hierarchies for approximating some discrete and continuous optimization problems. - We show a dichotomy of approximability of constraint satisfaction…

Computational Complexity · Computer Science 2025-09-01 Mrinalkanti Ghosh

It is well known that many problems in interval computation are intractable, which restricts our attempts to solve large problems in reasonable time. This does not mean, however, that all problems are computationally hard. Identifying…

Numerical Analysis · Computer Science 2022-11-07 Milan Hladík

We develop a new interior-point method (IPM) for symmetric-cone optimization, a common generalization of linear, second-order-cone, and semidefinite programming. In contrast to classical IPMs, we update iterates with a geodesic of the cone…

Optimization and Control · Mathematics 2023-01-18 Frank Permenter

The joint optimization of the integer matrix $\mathbf{A}$ and the power scaling matrix $\mathbf{D}$ is central to achieving the capacity-approaching performance of Integer-Forcing (IF) precoding. This problem, however, is known to be…

Information Theory · Computer Science 2026-02-25 Junren Qin , Fan Jiang , Tao Yang , Shanxiang Lyu , Rongke Liu , Shi Jin

The parametric lattice-point counting problem is as follows: Given an integer matrix $A \in Z^{m \times n}$, compute an explicit formula parameterized by $b \in R^m$ that determines the number of integer points in the polyhedron $\{x \in…

Computational Complexity · Computer Science 2012-07-05 Friedrich Eisenbrand , Nicolai Hähnle

In the total matching problem, one is given a graph $G$ with weights on the vertices and edges. The goal is to find a maximum weight set of vertices and edges that is the non-incident union of a stable set and a matching. We consider the…

Combinatorics · Mathematics 2024-01-01 Luca Ferrarini , Samuel Fiorini , Stefan Kober , Yelena Yuditsky

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

This work presents a generalized implementation of the infeasible primal-dual Interior Point Method (IPM) achieved by the use of non-Archimedean values, i.e., infinite and infinitesimal numbers. The extended version, called here…

Optimization and Control · Mathematics 2024-09-26 Lorenzo Fiaschi , Marco Cococcioni

This paper deals with the numerical computation of the least singular value of a rectangular matrix $A$ relative to a pair of closed convex cones $(P,Q)$, which is defined as the optimal value of the non-convex optimization problem of…

Optimization and Control · Mathematics 2026-05-28 Giovanni Barbarino , Nicolas Gillis , David Sossa

We propose a new second-order method for geodesically convex optimization on the natural hyperbolic metric over positive definite matrices. We apply it to solve the operator scaling problem in time polynomial in the input size and…

Data Structures and Algorithms · Computer Science 2018-04-04 Zeyuan Allen-Zhu , Ankit Garg , Yuanzhi Li , Rafael Oliveira , Avi Wigderson

A perfect matching in an undirected graph $G=(V,E)$ is a set of vertex disjoint edges from $E$ that include all vertices in $V$. The perfect matching problem is to decide if $G$ has such a matching. Recently Rothvo{\ss} proved the striking…

Discrete Mathematics · Computer Science 2018-04-26 David Avis , David Bremner , Hans Raj Tiwary , Osamu Watanabe

Given symmetric matrices $A_0, A_1, \ldots, A_n$ of size $m$ with rational entries, the set of real vectors $x = (x_1, \ldots, x_n)$ such that the matrix $A_0 + x_1 A_1 + \cdots + x_n A_n$ has non-negative eigenvalues is called a…

Symbolic Computation · Computer Science 2020-06-11 Didier Henrion , Simone Naldi , Mohab Safey El Din