English
Related papers

Related papers: Uniqueness in quadratic and hyperbolic 0-1 program…

200 papers

We generalize the classical knapsack and subset sum problems to arbitrary groups and study the computational complexity of these new problems. We show that these problems, as well as the bounded submonoid membership problem, are P-time…

Group Theory · Mathematics 2015-08-12 Alexei Myasnikov , Andrey Nikolaev , Alexander Ushakov

Quadratic Programming (QP) is the well-studied problem of maximizing over {-1,1} values the quadratic form \sum_{i \ne j} a_{ij} x_i x_j. QP captures many known combinatorial optimization problems, and assuming the unique games conjecture,…

Computational Complexity · Computer Science 2015-03-17 Aditya Bhaskara , Moses Charikar , Rajsekar Manokaran , Aravindan Vijayaraghavan

In this note, we construct an algorithm that, on input of a description of a structurally stable planar dynamical flow $f$ defined on the closed unit disk, outputs the exact number of the (hyperbolic) equilibrium points and their locations…

Logic · Mathematics 2021-10-01 Daniel S. Graça , Ning Zhong

We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete.

Group Theory · Mathematics 2014-03-27 O. Kharlampovich , I. G. Lysenok , A. G Myasnikov , N. W. M. Touikan

Hyperbolic polynomials is a class of real-roots polynomials that has wide range of applications in theoretical computer science. Each hyperbolic polynomial also induces a hyperbolic cone that is of particular interest in optimization due to…

Optimization and Control · Mathematics 2023-06-14 Yichuan Deng , Zhao Song , Lichen Zhang , Ruizhe Zhang

We consider discrete nonlinear hyperbolic equations on quad-graphs, in particular on the square lattice. The fields are associated to the vertices and an equation Q(x_1,x_2,x_3,x_4)=0 relates four fields at one quad. Integrability of…

Exactly Solvable and Integrable Systems · Physics 2009-06-12 Vsevolod E. Adler , Alexander I. Bobenko , Yuri B. Suris

We convert, within polynomial-time and sequential processing, NP-Complete Problems into a problem of deciding feasibility of a given system S of linear equations with constants and coefficients of binary-variables that are 0, 1, or -1. S is…

Computational Complexity · Computer Science 2012-10-23 Deepak Ponvel Chermakani

We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…

Optimization and Control · Mathematics 2022-04-15 Daniel Bienstock , Alberto del Pia , Robert Hildebrand

We consider the problem of deciding, given a sequence of regions, if there is a choice of points, one for each region, such that the induced polyline is simple or weakly simple, meaning that it can touch but not cross itself. Specifically,…

Computational Geometry · Computer Science 2023-04-27 Thijs van der Horst , Tim Ophelders , Bart van der Steenhoven

The Leray-Hopf solutions to the Navier-Stokes equation are known to be unique on $\R^{2}$. In our previous work we showed the breakdown of uniqueness in a hyperbolic setting. In this article, we show how to formulate the problem in order so…

Analysis of PDEs · Mathematics 2013-09-16 Chi Hin Chan , Magdalena Czubak

The minimum distance is one of the most important combinatorial characterizations of a code. The maximum likelihood decoding problem is one of the most important algorithmic problems of a code. While these problems are known to be hard for…

Information Theory · Computer Science 2016-08-31 Qi Cheng

For a finitely generated group $G$, the \emph{Diophantine problem} over $G$ is the algorithmic problem of deciding whether a given equation $W(z_1,z_2,\ldots,z_k) = 1$ (perhaps restricted to a fixed subclass of equations) has a solution in…

Group Theory · Mathematics 2023-06-06 Richard Mandel , Alexander Ushakov

In this note we study multiple-ratio fractional 0--1 programs, a broad class of NP-hard combinatorial optimization problems. In particular, under some relatively mild assumptions we provide a complete characterization of the conditions,…

Optimization and Control · Mathematics 2020-12-15 Shaoning Han , Andres Gomez , Oleg A Prokopyev

Hyperbolic programming is the problem of computing the infimum of a linear function when restricted to the hyperbolicity cone of a hyperbolic polynomial, a generalization of semidefinite programming. We propose an approach based on symbolic…

Optimization and Control · Mathematics 2018-02-07 Simone Naldi , Daniel Plaumann

A framework is developed for applying accelerated methods to general hyperbolic programming, including linear, second-order cone, and semidefinite programming as special cases. The approach replaces a hyperbolic program with a convex…

Optimization and Control · Mathematics 2017-05-30 James Renegar

Variational quantum algorithms are proposed to solve relevant computational problems on near term quantum devices. Popular versions are variational quantum eigensolvers and quantum ap- proximate optimization algorithms that solve ground…

Quantum Physics · Physics 2022-04-15 Lennart Bittel , Martin Kliesch

We address the problem of testing weak optimality of a given solution of a given interval linear program. The problem was recently wrongly stated to be polynomially solvable. We disprove it. We show that the problem is NP-hard in general.…

Optimization and Control · Mathematics 2025-10-08 Miroslav Rada , Milan Hladík , Elif Garajová

We consider the hardness of approximation of optimization problems from the point of view of definability. For many NP-hard optimization problems it is known that, unless P = NP, no polynomial-time algorithm can give an approximate solution…

Logic in Computer Science · Computer Science 2019-08-30 Albert Atserias , Anuj Dawar

We consider methods for finding a simple polygon of minimum (Min-Area) or maximum (Max-Area) possible area for a given set of points in the plane. Both problems are known to be NP-hard; at the center of the recent CG Challenge, practical…

Computational Geometry · Computer Science 2021-11-11 Sándor P. Fekete , Andreas Haas , Phillip Keldenich , Michael Perk , Arne Schmidt

The NP-hard problem of optimizing a quadratic form over the unimodular vector set arises in radar code design scenarios as well as other active sensing and communication applications. To tackle this problem (which we call unimodular…

Systems and Control · Computer Science 2014-10-22 Mojtaba Soltanalian , Petre Stoica