English
Related papers

Related papers: Autoreducibility of NP-Complete Sets

200 papers

We address a discrete tomography problem that arises in the study of the atomic structure of crystal lattices. A polyatomic structure T can be defined as an integer lattice in dimension D>=2, whose points may be occupied by $c$ distinct…

Data Structures and Algorithms · Computer Science 2007-05-23 Christoph Durr , Marek Chrobak

We obtain explicit upper bounds for the number of irreducible factors for a class of compositions of polynomials in several variables over a given field. In particular, some irreducibility criteria are given for this class of compositions…

Number Theory · Mathematics 2007-05-23 Anca Iuliana Bonciocat , Alexandru Zaharescu

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

For a set $S$ of quadratic polynomials over a finite field, let $C$ be the (infinite) set of arbitrary compositions of elements in $S$. In this paper we show that there are examples with arbitrarily large $S$ such that every polynomial in…

Number Theory · Mathematics 2017-01-30 D. R. Heath-Brown , Giacomo Micheli

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

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

Logic in Computer Science · Computer Science 2015-07-01 Martin Escardo

If we establish that the counterexample function for P=NP, if total, overtakes all total recursive functions when extended over all Turing machines, then what happens to the same counterexample function when defined over the so-called…

Logic · Mathematics 2007-05-23 N. C. A. da Costa , F. A. Doria

Let G be a finite p-group, for some prime p, and $\psi, \theta \in \Irr(G)$ be irreducible complex characters of G. It has been proved that if, in addition, $\psi,\theta$ are faithful characters, then the product $\psi\theta$ is a multiple…

Group Theory · Mathematics 2007-07-31 Edith Adan-Bante

A function $f\colon\mathbb R\to\mathbb R$ is called \emph{$k$-monotone} if it is $(k-2)$-times differentiable and its $(k-2)$nd derivative is convex. A point set $P\subset\mathbb R^2$ is \emph{$k$-monotone interpolable} if it lies on a…

Computational Geometry · Computer Science 2015-09-14 Josef Cibulka , Jiří Matoušek , Pavel Paták

The P versus NP problem is studied under the relational model of E. F. Codd. I found that the term "complete configuration" is unnecessary and harmful in computational complexity theory because of excessive symbol redundancy. For an input,…

Computational Complexity · Computer Science 2018-10-23 Aizhong Li

In this article we show that for every prime number $p$, any irreducible homogeneous locally nilpotent derivations of rank $2$ and degree $p-2$ are triangularizable. Further, we describe the structure of irreducible non-triangularizable…

Commutative Algebra · Mathematics 2024-03-22 Parnashree Ghosh

The relationship between the complexity classes P and NP is an unsolved question in the field of theoretical computer science. In this paper, we look at the link between the P - NP question and the "Deterministic" versus "Non Deterministic"…

Computational Complexity · Computer Science 2016-03-28 M. Rémon

For any $\ell > 0$, we present an algorithm which takes as input a semi-algebraic set, $S$, defined by $P_1 \leq 0,...,P_s \leq 0$, where each $P_i \in \R[X_1,...,X_k]$ has degree $\leq 2,$ and computes the top $\ell$ Betti numbers of $S$,…

Algebraic Geometry · Mathematics 2007-05-23 Saugata Basu

The purpose of this article is to examine and limit the conditions in which the P complexity class could be equivalent to the NP complexity class. Proof is provided by demonstrating that as the number of clauses in a NP-complete problem…

Computational Complexity · Computer Science 2008-09-07 Jerrald Meek

In this note we introduce a notion of a generically (strongly generically) NP-complete problem and show that the randomized bounded version of the halting problem is strongly generically NP-complete.

Computational Complexity · Computer Science 2016-06-06 Alexei Miasnikov , Alexander Ushakov

The present work proves that P=NP. The proof, presented in this work, is a constructive one: the program of a polynomial time deterministic multi-tape Turing machine M_ExistsAcceptingPath, that determines if there exists an accepting…

Computational Complexity · Computer Science 2017-03-21 Sergey V. Yakhontov

Based on a recursive factorisation technique we show how integrable difference equations give rise to recurrences which possess the Laurent property. We derive non-autonomous Somos-$k$ sequences, with $k=4,5$, whose coefficients are…

Exactly Solvable and Integrable Systems · Physics 2014-12-19 Khaled Hamad , Peter H van der Kamp

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst

We consider absolutely irreducible polynomials $f \in Z[x,y]$ with $\deg_x(f)=m$, $\deg_y(f)=n$ and height $H$. We show that for any prime $p$ with $p>c_{mn} H^{2mn+n-1}$ the reduction $f \bmod p$ is also absolutely irreducible. Furthermore…

Number Theory · Mathematics 2007-05-23 Wolfgang M. Ruppert

In 1995 T. Matsui considered a special family 0/1-polytopes for which the problem of recognizing the non-adjacency of two arbitrary vertices is NP-complete. In 2012 the author of this paper established that all the polytopes of this family…

Computational Complexity · Computer Science 2018-04-18 Alexander Maksimenko