English
Related papers

Related papers: The Existence of the Tau One-Way Functions Class a…

200 papers

We critique Javier Arroyo-Figueroa's paper titled ``The existence of the Tau one-way functions class as a proof that $\mathrm{P} \neq \mathrm{NP}$,'' which claims to prove $\mathrm{P} \neq \mathrm{NP}$ by showing the existence of a class of…

Computational Complexity · Computer Science 2021-03-30 Mandar Juvekar , David E. Narváez , Melissa Welsh

We study the complexity classes P and NP through a semigroup fP ("polynomial-time functions"), consisting of all polynomially balanced polynomial-time computable partial functions. Then P is not equal to NP iff fP is a non-regular…

Group Theory · Mathematics 2015-03-09 J. C. Birget

We investigate the problem of cryptanalysis as a problem belonging to the class NP. A class of problems UF is defined for which the time constructing any feasible solution is polynomial. The properties of the problems of NP, which may be…

Computational Complexity · Computer Science 2015-03-19 Anatoly D. Plotnikov

In order to prove that the P of problems is different to the NP class, we consider the satisfability problem of propositional calculus formulae, which is an NP-complete problem. It is shown that, for every search algorithm A, there is a set…

Computational Complexity · Computer Science 2007-11-09 Alfredo von Reckow

A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implications of the introduction of this class are considered.…

Computational Complexity · Computer Science 2016-03-03 Anatoly D. Plotnikov

This paper proves that there does not exist a polynomial-time algorithm to the the subset sum problem. As this problem is in NP, the result implies that the class P of problems admitting polynomial-time algorithms does not equal the class…

General Mathematics · Mathematics 2020-11-23 Jorma Jormakka

In a previous paper, we have shown that any Boolean formula can be encoded as a linear programming problem in the framework of Bayesian probability theory. When applied to NP-complete algorithms, this leads to the fundamental conclusion…

Data Structures and Algorithms · Computer Science 2012-12-21 Michel Feldmann

In a previous paper we constructed all polynomial tau-functions of the 1-component KP hierarchy, namely, we showed that any such tau-function is obtained from a Schur polynomial $s_\lambda(t)$ by certain shifts of arguments. In the present…

Mathematical Physics · Physics 2019-12-12 Victor Kac , Johan van de Leur

We show that any polynomial tau-function of the s-component KP and the BKP hierarchies can be interpreted as a zero mode of an appropriate combinatorial generating function. As an application, we obtain explicit formulas for all polynomial…

Representation Theory · Mathematics 2021-02-24 Victor G. Kac , Natasha Rozhkovskaya , Johan van de Leur

We say that a function is rare-case hard against a given class of algorithms (the adversary) if all algorithms in the class can compute the function only on an $o(1)$-fraction of instances of size $n$ for large enough $n$. Starting from any…

Computational Complexity · Computer Science 2025-02-11 Tejas Nareddy , Abhishek Mishra

Given a sound first-order p-time theory $T$ capable of formalizing syntax of first-order logic we define a p-time function $g_T$ that stretches all inputs by one bit and we use its properties to show that $T$ must be incomplete. We leave it…

Logic in Computer Science · Computer Science 2026-02-16 Jan Krajicek

We study the P versus NP problem through properties of functions and monoids, continuing the work of [3]. Here we consider inverse monoids whose properties and relationships determine whether P is different from NP, or whether injective…

Group Theory · Mathematics 2017-03-08 J. C. Birget

The class $\mathcal{UP}$ of `ultimate polynomial time' problems over $\mathbb C$ is introduced; it contains the class $\mathcal P$ of polynomial time problems over $\mathbb C$. The $\tau$-Conjecture for polynomials implies that…

Numerical Analysis · Mathematics 2025-10-20 Gregorio Malajovich

This paper considers the question of P = NP in context of the polynomial time SAT algorithm. It posits proposition dependent on existence of conjectured problem that even where the algorithm is shown to solve SAT in polynomial time it…

Computational Complexity · Computer Science 2009-11-30 C. Sauerbier

Rabi and Sherman [RS97,RS93] proved that the hardness of factoring is a sufficient condition for there to exist one-way functions (i.e., p-time computable, honest, p-time noninvertible functions; this paper is in the worst-case model, not…

Computational Complexity · Computer Science 2007-11-01 Lane A. Hemaspaandra , Joerg Rothe , Amitabh Saxena

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

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

The $\textbf{P}$ vs. $\textbf{NP}$ problem is an important problem in contemporary mathematics and theoretical computer science. Many proofs have been proposed to this problem. This paper proposes a theoretic proof for $\textbf{P}$ vs.…

Computational Complexity · Computer Science 2020-07-02 Changlin Wan , Zhongzhi Shi

We study the tau function of the KP-hierarchy associated with an (n,1) curve $y^n=x-\alpha$. If $\alpha=0$ the corresponding tau function is 1. On the other hand if $\alpha\neq 0$ the tau function becomes the exponential of a quadratic…

Exactly Solvable and Integrable Systems · Physics 2021-07-14 Atsushi Nakayashiki

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
‹ Prev 1 2 3 10 Next ›