English
Related papers

Related papers: P-matrix recognition is co-NP-complete

200 papers

This chapter investigates the cone of copositive matrices, with a focus on the design and analysis of conic inner approximations for it. These approximations are based on various sufficient conditions for matrix copositivity, relying on…

Optimization and Control · Mathematics 2023-03-21 Luis Felipe Vargas , Monique Laurent

The perfect phylogeny is one of the most used models in different areas of computational biology. In this paper we consider the problem of the Persistent Perfect Phylogeny (referred as P-PP) recently introduced to extend the perfect…

Data Structures and Algorithms · Computer Science 2014-05-30 Paola Bonizzoni , Anna Paola Carrieri , Gianluca Della Vedova , Gabriella Trucco

Completing a data matrix X has become an ubiquitous problem in modern data science, with applications in recommender systems, computer vision, and networks inference, to name a few. One typical assumption is that X is low-rank. A more…

Machine Learning · Computer Science 2018-08-03 Daniel L. Pimentel-Alarcón

Maximum surjective constraint satisfaction problems (Max-Sur-CSPs) are computational problems where we are given a set of variables denoting values from a finite domain B and a set of constraints on the variables. A solution to such a…

Computational Complexity · Computer Science 2011-10-14 Walter Bach , Hang Zhou

Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not…

Combinatorics · Mathematics 2014-09-09 Jed Yang

Matrix completion is the problem of recovering a low rank matrix by observing a small fraction of its entries. A series of recent works [KOM12,JNS13,HW14] have proposed fast non-convex optimization based iterative algorithms to solve this…

Numerical Analysis · Computer Science 2014-11-06 Prateek Jain , Praneeth Netrapalli

For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is…

Combinatorics · Mathematics 2020-05-19 John C. Urschel , Jake Wellens

We prove that it is NP-complete, given a graph G and a parameter h, to determine whether G contains a complete graph K_h as a minor.

Discrete Mathematics · Computer Science 2009-08-28 David Eppstein

Making inferences from partial information constitutes a critical aspect of cognition. During visual perception, pattern completion enables recognition of poorly visible or occluded objects. We combined psychophysics, physiology and…

Neurons and Cognition · Quantitative Biology 2018-08-15 Hanlin Tang , Martin Schrimpf , Bill Lotter , Charlotte Moerman , Ana Paredes , Josue Ortega Caro , Walter Hardesty , David Cox , Gabriel Kreiman

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Given a neural network, training data, and a threshold, it was known that it is NP-hard to find weights for the neural network such that the total error is below the threshold. We determine the algorithmic complexity of this fundamental…

Computational Complexity · Computer Science 2021-11-22 Mikkel Abrahamsen , Linda Kleist , Tillmann Miltzow

The growing amount of applications that generate vast amount of data in short time scales render the problem of partial monitoring, coupled with prediction, a rather fundamental one. We study the aforementioned canonical problem under the…

Data Structures and Algorithms · Computer Science 2016-08-02 Michalis Kallitsis , Stilian Stoev , George Michailidis

We show that the linear map defined by multiplication with a general bi-homogeneous form between two bi-graduated pieces of the first cohomology of a nonsingular quadric in the projective space is of maximal rank. This is the first non…

Algebraic Geometry · Mathematics 2010-06-29 Salvatore Giuffrida , Renato Maggioni , Riccardo Re

Three results in p-convex geometry are established. First is the analogue of the Levi problem in several complex variables, namely: local p-convexity implies global p-convexity. The second asserts that the support of a minimal p-dimensional…

Differential Geometry · Mathematics 2017-12-12 F. Reese Harvey , H. Blaine Lawson

We present a simple, natural #P-complete problem. Let G be a directed graph, and let k be a positive integer. We define q(G;k) as follows. At each vertex v, we place a k-dimensional complex vector x_v. We take the product, over all edges…

Computational Complexity · Computer Science 2010-01-15 Cristopher Moore , Alexander Russell

This paper deals with the problem of robust matrix completion -- retrieving a low-rank matrix and a sparse matrix from the compressed counterpart of their superposition. Though seemingly not an unresolved issue, we point out that the…

Information Theory · Computer Science 2024-10-10 Yinjian Wang

We use Matrix Analysis to prove a general decoupling inequality for finite Gaussian vectors, in identifying a new region of the inherent $p$ exponent, for the validity of this one.

Probability · Mathematics 2025-04-28 Michel Weber

We show that perfectoidization can be (almost) calculated by using $p$-root closure in certain cases, including the semiperfectoid case. To do this, we focus on the universality of perfectoidization and uniform completion, as well as the…

Commutative Algebra · Mathematics 2024-11-20 Ryo Ishizuka

Under the name prime decomposition (pd), a unique decomposition of an arbitrary $N$-dimensional density matrix $\rho$ into a sum of seperable density matrices with dimensions given by the coprime factors of $N$ is introduced. For a class of…

Quantum Physics · Physics 2011-07-19 D. Ellinas , E. G. Floratos

In 1979 Valiant introduced the complexity class VNP of p-definable families of polynomials, he defined the reduction notion known as p-projection and he proved that the permanent polynomial and the Hamiltonian cycle polynomial are…

Computational Complexity · Computer Science 2021-12-02 Christian Ikenmeyer , Abhiroop Sanyal