TY  - JOUR
AU  - Boldori, Andres 
PY  - 2024
TI  - p ≠ np: The Set of Deterministic Problems that are Solvable in Polynomial Time is Unequal to the Set of Non-Deterministic Problems that are Solvable in Polynomial Time
JF  - Journal of Computer Science
VL  - 20
IS  - 10
DO  - 10.3844/jcssp.2024.1263.1269
UR  - https://thescipub.com/abstract/jcssp.2024.1263.1269
AB  - This study constructs a solution to the “p vs. np” problem using complexity theory. We show through counterexamples that p ≠ np and formalize the two sets using stochastic, probabilistic and non-deterministic modeling. While the well-known sets “pspace” and “npspace”, analyzing the storage of a device, can be claimed to be equal, p and np differ and are exclusively defined through the elapsed time of their algorithms. Indeed, calculations including the probabilistic family of discrete uniform distributions prove the well-known inequality p ≠ np. In this study, using complexity and probability theory, we give some examples that fit into the new theory: There are problems that can be solved by non-deterministic Turing machines and which are in np (they are non-deterministic and just of polynomial time growth), but they are not in p itself (since they are not, deterministic and just of polynomial time growth)