English
Related papers

Related papers: A note on VNP-completeness and border complexity

200 papers

The purpose of this note is to supply an upper and a lower bound (which are in general sharp) for the $h$-vector of a level algebra which is relatively compressed with respect to any arbitrary level algebra $A$. The useful concept of…

Commutative Algebra · Mathematics 2007-06-13 Fabrizio Zanello

In the Partial Vertex Cover (PVC) problem, we are given an $n$-vertex graph $G$ and a positive integer $k$, and the objective is to find a vertex subset $S$ of size $k$ maximizing the number of edges with at least one end-point in $S$. This…

Data Structures and Algorithms · Computer Science 2022-01-12 Fahad Panolan , Hannane Yaghoubizade

This paper delves into an in-depth exploration of the Variable Projection (VP) algorithm, a powerful tool for solving separable nonlinear optimization problems across multiple domains, including system identification, image processing, and…

Optimization and Control · Mathematics 2025-01-08 Guangyong Chen , Peng Xue , Min Gan , Jing Chen , Wenzhong Guo , C. L. Philip. Chen

Given a polynomial map f on the Euclidean n-space and a vector q, the polynomial complementarity problem, PCP(f,q), is the nonlinear complementarity problem of finding a nonnegative vector x such that y=f(x)+q is nonnegative and orthogonal…

Optimization and Control · Mathematics 2016-09-20 M. Seetharama Gowda

Nowhere dense classes of graphs are very general classes of uniformly sparse graphs with several seemingly unrelated characterisations. From an algorithmic perspective, a characterisation of these classes in terms of uniform quasi-wideness,…

Discrete Mathematics · Computer Science 2018-09-06 Stephan Kreutzer , Roman Rabinovich , Sebastian Siebertz

This paper explores the finiteness of the solution set of the polynomial complementarity problem (PCP). To achieve this goal, we introduce two new classes of structured tensor tuples, namely the nondegenerate tensor tuple and the strong…

Optimization and Control · Mathematics 2025-07-29 Sonali Sharma , V. Vetrivel

We give a high precision polynomial-time approximation scheme for the supremum of any honest n-variate (n+2)-nomial with a constant term, allowing real exponents as well as real coefficients. Our complexity bounds count field operations and…

Algebraic Geometry · Mathematics 2010-11-09 Philippe Pebay , J. Maurice Rojas , David C. Thompson

The point inclusion tests for polygons, in other words the point-in-polygon (PIP) algorithms, are fundamental tools for many scientific fields related to computational geometry, and they have been studied for a long time. The PIP algorithms…

Computational Geometry · Computer Science 2021-02-03 Rahman Salim Zengin , Volkan Sezer

In this paper we explore fundamental concepts in computational complexity theory and the boundaries of algorithmic decidability. We examine the relationship between complexity classes \textbf{P} and \textbf{NP}, where $L \in \textbf{P}$…

Computational Complexity · Computer Science 2025-12-30 Duaa Abdullah , Jasem Hamoud

Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard optimization problems on graphs with respect to key structural properties, and so to a better understanding of their true difficulties. More…

Data Structures and Algorithms · Computer Science 2017-10-19 David Coudert , Guillaume Ducoffe , Alexandru Popa

In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablility and show that this lies strictly between VC-minimality and dp-minimality. Next, we define the notion of weak…

Logic · Mathematics 2011-10-20 Vincent Guingona , Michael C. Laskowski

We study geometric variations of the discriminating code problem. In the \emph{discrete version} of the problem, a finite set of points $P$ and a finite set of objects $S$ are given in $\mathbb{R}^d$. The objective is to choose a subset…

Computational Geometry · Computer Science 2023-06-30 Sanjana Dey , Florent Foucaud , Subhas C Nandy , Arunabha Sen

Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group…

Computational Complexity · Computer Science 2019-01-16 Julian Dörfler , Christian Ikenmeyer , Greta Panova

In 1978, Schaefer proved his famous dichotomy theorem for generalized satisfiability problems. He defined an infinite number of propositional satisfiability problems (nowadays usually called Boolean constraint satisfaction problems) and…

Computational Complexity · Computer Science 2007-05-23 Elmar Böhler , Edith Hemaspaandra , Steffen Reith , Heribert Vollmer

This paper presents some finite combinatorics of set systems with applications to model theory, particularly the study of dependent theories. There are two main results. First, we give a way of producing lower bounds on VC_ind-density, and…

Logic · Mathematics 2016-02-10 Hunter R. Johnson

Dense subgraph discovery is an important problem in graph mining and network analysis with several applications. Two canonical problems here are to find a maxcore (subgraph of maximum min degree) and to find a densest subgraph (subgraph of…

Data Structures and Algorithms · Computer Science 2023-06-06 Chandra Chekuri , Manuel R. Torres

A fundamental pursuit in complexity theory concerns reducing worst-case problems to average-case problems. There exist complexity classes such as PSPACE that admit worst-case to average-case reductions. However, for many other classes such…

Quantum Physics · Physics 2020-09-02 Nai-Hui Chia , Sean Hallgren , Fang Song

Motivated by problems of comparative genomics and paleogenomics, in [Chauve et al., 2009], the authors introduced the Gapped Consecutive-Ones Property Problem (k,delta)-C1P: given a binary matrix M and two integers k and delta, can the…

Computational Complexity · Computer Science 2009-12-05 Cedric Chauve , Jan Manuch , Murray Patterson

Permutation Pattern Matching (or PPM) is a decision problem whose input is a pair of permutations $\pi$ and $\tau$, represented as sequences of integers, and the task is to determine whether $\tau$ contains a subsequence order-isomorphic to…

Combinatorics · Mathematics 2016-08-02 Vít Jelínek , Jan Kynčl

We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This…

Computational Complexity · Computer Science 2022-09-19 Amol Pasarkar , Mihalis Yannakakis , Christos Papadimitriou