English
Related papers

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

200 papers

We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by means of shadows (projections) and by finitely many forbidden…

Computational Complexity · Computer Science 2007-06-27 Gabor Kun , Jaroslav Nesetril

A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is…

Algebraic Geometry · Mathematics 2009-01-22 Shuji Saito , Kanetomo Sato

We consider the problem of matrix completion on an $n \times m$ matrix. We introduce the problem of Interpretable Matrix Completion that aims to provide meaningful insights for the low-rank matrix using side information. We show that the…

Optimization and Control · Mathematics 2020-03-05 Dimitris Bertsimas , Michael Lingzhi Li

In this paper, we propose a subgradient algorithm with a non-asymptotic convergence guarantee to solve copositive programming problems. The subproblem to be solved at each iteration is a standard quadratic programming problem, which is…

Optimization and Control · Mathematics 2026-04-30 Mitsuhiro Nishijima , Pierre-Louis Poirion , Akiko Takeda

We study the problem of colouring visibility graphs of polygons. In particular, for visibility graphs of simple polygons, we provide a polynomial algorithm for 4-colouring, and prove that the 5-colourability question is already NP-complete…

Combinatorics · Mathematics 2019-06-06 Onur Çağirici , Petr Hliněný , Bodhayan Roy

This paper presents the following results on sets that are complete for NP. 1. If there is a problem in NP that requires exponential time at almost all lengths, then every many-one NP-complete set is complete under length-increasing…

Computational Complexity · Computer Science 2010-02-03 Xiaoyang Gu , John M. Hitchcock , A. Pavan

Low-rank matrix approximations are often used to help scale standard machine learning algorithms to large-scale problems. Recently, matrix coherence has been used to characterize the ability to extract global information from a subset of…

Machine Learning · Statistics 2010-09-07 Mehryar Mohri , Ameet Talwalkar

A binary matrix satisfies the consecutive ones property (COP) if its columns can be permuted such that the ones in each row of the resulting matrix are consecutive. Equivalently, a family of sets F = {Q_1,..,Q_m}, where Q_i is subset of R…

Data Structures and Algorithms · Computer Science 2015-03-18 Giovanni Battaglia , Roberto Grossi , Noemi Scutellà

We prove that it is NP-complete to decide whether a given string can be factored into palindromes that are each unique in the factorization.

Formal Languages and Automata Theory · Computer Science 2020-12-15 Hideo Bannai , Travis Gagie , Shunsuke Inenaga , Juha Karkkainen , Dominik Kempa , Marcin Piatkowski , Simon J. Puglisi , Shiho Sugimoto

The task of reconstructing a matrix given a sample of observedentries is known as the matrix completion problem. It arises ina wide range of problems, including recommender systems, collaborativefiltering, dimensionality reduction, image…

Statistics Theory · Mathematics 2014-12-20 Jean Lafond , Olga Klopp , Eric Moulines , Jospeh Salmon

It is a well-known result that bilevel linear optimization is NP-hard. In many publications, reformulations as mixed-integer linear optimization problems are proposed, which suggests that the decision version of the problem belongs to NP.…

Optimization and Control · Mathematics 2025-12-19 Christoph Buchheim

The $p$-norm of $r$-matrices generalizes the $2$-norm of $2$-matrices. It is shown that if a nonnegative $r$-matrix is symmetric with respect to two indices $j$ and $k$, then the $p$-norm is attained for some set of vectors such that the…

Combinatorics · Mathematics 2019-06-27 V. Nikiforov

This paper presents a novel and straight formulation, and gives a complete insight towards the understanding of the complexity of the problems of the so called NP-Class. In particular, this paper focuses in the Searching of the Optimal…

Computational Complexity · Computer Science 2010-06-14 Carlos Barron-Romero

Matrix completion is a well-studied problem with many machine learning applications. In practice, the problem is often solved by non-convex optimization algorithms. However, the current theoretical analysis for non-convex algorithms relies…

Machine Learning · Computer Science 2018-09-11 Yu Cheng , Rong Ge

Recently, Hajirasouliha and Raphael (WABI 2014) proposed a model for deconvoluting mixed tumor samples measured from a collection of high-throughput sequencing reads. This is related to understanding tumor evolution and critical cancer…

Populations and Evolution · Quantitative Biology 2016-07-11 Ademir Hujdurović , Urša Kačar , Martin Milanič , Bernard Ries , Alexandru I. Tomescu

Matrix rank minimization problems are gaining a plenty of recent attention in both mathematical and engineering fields. This class of problems, arising in various and across-discipline applications, is known to be NP-hard in general. In…

Optimization and Control · Mathematics 2010-10-06 Yun-Bin Zhao

We give a new proof of P-time completeness of Linear Lambda Calculus, which was originally given by H. Mairson in 2003. Our proof uses an essentially different Boolean type from the type Mairson used. Moreover the correctness of our proof…

Logic in Computer Science · Computer Science 2013-01-15 Satoshi Matsuoka

We strengthen a result by Laskar and Lyle (Discrete Appl. Math. (2009), 330-338) by proving that it is NP-complete to decide whether a bipartite planar graph can be partitioned into three independent dominating sets. In contrast, we show…

Computational Complexity · Computer Science 2019-05-14 Juho Lauri , Christodoulos Mitillos

This paper considers the problem of matrix completion when some number of the columns are completely and arbitrarily corrupted, potentially by a malicious adversary. It is well-known that standard algorithms for matrix completion can return…

Machine Learning · Statistics 2016-04-26 Yudong Chen , Huan Xu , Constantine Caramanis , Sujay Sanghavi

This paper is concerned with the taxonomy of finitely complete categories, based on 'matrix properties' - these are a particular type of exactness properties that can be represented by integer matrices. In particular, the main result of the…

Category Theory · Mathematics 2022-05-14 Michael Hoefnagel , Pierre-Alain Jacqmin , Zurab Janelidze
‹ Prev 1 8 9 10 Next ›