English
Related papers

Related papers: All Superlinear Inverse Schemes are coNP-Hard

200 papers

We prove that certain problems naturally arising in knot theory are NP--hard or NP--complete. These are the problems of obtaining one diagram from another one of a link in a bounded number of Reidemeister moves, determining whether a link…

Geometric Topology · Mathematics 2024-07-17 Dale Koenig , Anastasiia Tsvietkova

Inverse problems arise in a variety of imaging applications including computed tomography, non-destructive testing, and remote sensing. The characteristic features of inverse problems are the non-uniqueness and instability of their…

Numerical Analysis · Mathematics 2020-06-09 Markus Haltmeier , Linh V. Nguyen

We consider the problem of covering hypersphere by a set of spherical hypercaps. This sort of problem has numerous practical applications such as error correcting codes and reverse k-nearest neighbor problem. Using the reduction of non…

Computational Geometry · Computer Science 2015-03-19 Marko D. Petkovic , Dragoljub Pokrajac , Longin Jan Latecki

Given a cryptographic group action, we show that the Group Action Inverse Problem (GAIP) and other related problems cannot be NP-hard unless the Polynomial Hierarchy collapses. We show this via random self-reductions and the design of…

Computational Complexity · Computer Science 2022-03-01 Giuseppe D'Alconzo

We show that the problem of finding a set with maximum cohesion in an undirected network is NP-hard.

Networking and Internet Architecture · Computer Science 2011-10-11 Adrien Friggeri , Eric Fleury

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin

Given a small polygon S, a big simple polygon B and a positive integer k, it is shown to be NP-hard to determine whether k copies of the small polygon (allowing translation and rotation) can be placed in the big polygon without overlap.…

Computational Geometry · Computer Science 2012-09-25 Sarah R. Allen , John Iacono

We show that the affirmation $P\subseteq NP$ (in computer science) erroneously and we prove the justice of the hypotesis J.Edmonds's $P\neq NP$. We show further that all the $NP$-complete problems is not polynomial and we give the…

Computational Complexity · Computer Science 2013-03-12 B. S. Kochkarev

In this paper we propose a new approach for developing a proof that P=NP. We propose to use a polynomial-time reduction of a NP-complete problem to Linear Programming. Earlier such attempts used polynomial-time transformation which is a…

Computational Complexity · Computer Science 2023-02-20 Malay Dutta , Anjana K. Mahanta

As state-of-the-art neural networks are deployed on reasoning and algorithmic tasks, exactness guarantees become increasingly important. However, high average-case accuracy can still mask inconsistent behaviors. This motivates exact…

Machine Learning · Computer Science 2026-05-25 Artur Back de Luca , Kimon Fountoulakis

Deep learning methods using convolutional neural networks (CNN) have been successfully applied to virtually all imaging problems, and particularly in image reconstruction tasks with ill-posed and complicated imaging models. In an attempt to…

Image and Video Processing · Electrical Eng. & Systems 2020-07-30 Andreas Hauptmann , Jonas Adler

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

In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing $CC(f)$ (the 2-way communication complexity of a given function $f$) NP-complete?} The problem of deciding whether $CC(f) \le k$, when given the…

Computational Complexity · Computer Science 2025-07-15 Shuichi Hirahara , Rahul Ilango , Bruno Loff

We classify the time complexities of three important decoding problems for quantum stabilizer codes. First, regardless of the channel model, quantum bounded distance decoding is shown to be NP-hard, like what Berlekamp, McEliece and Tilborg…

Quantum Physics · Physics 2013-07-12 Kao-Yueh Kuo , Chung-Chin Lu

We survey a collective achievement of a group of researchers: the PCP Theorems. They give new definitions of the class \np, and imply that computing approximate solutions to many \np-hard problems is itself \np-hard. Techniques developed to…

Computational Complexity · Computer Science 2008-12-15 Sanjeev Arora

In this survey paper, we review recent uses of convolution neural networks (CNNs) to solve inverse problems in imaging. It has recently become feasible to train deep CNNs on large databases of images, and they have shown outstanding…

Image and Video Processing · Electrical Eng. & Systems 2018-09-11 Michael T. McCann , Kyong Hwan Jin , Michael Unser

In this paper, we prove the problem of stabbing a set of disjoint bends by a convex stabber to be NP-hard. We also consider the optimization version of the convex stabber problem and prove this problem to be APX-hard for sets of line…

Computational Geometry · Computer Science 2012-11-22 Lena Schlipf

The P versus NP problem asks whether every language verifiable in polynomial time can also be decided in deterministic polynomial time. In this paper, we present a constructive proof that P = NP by introducing a universal, graph-based…

Computational Complexity · Computer Science 2026-04-02 Changryeol Lee

In this note we prove NP-hardness of the following problem: Given a set of matrices, is there a convex combination of those that is a nonsingular M-matrix? Via known characterizations of M-matrices, our result establishes NP-hardness of…

Optimization and Control · Mathematics 2012-06-12 Nikos Vlassis

Many NP-complete problems take integers as part of their input instances. These input integers are generally binarized, that is, provided in the form of the "binary" numeral representation, and the lengths of such binary forms are used as a…

Computational Complexity · Computer Science 2023-12-08 Tomoyuki Yamakami