Abstract
This paper presents a deterministic proof that polynomial-time machines cannot solve all NP-complete problems. We introduce the Abdeslam Structural Compression Limit, showing that any attempt to compress exponentially many logical branches into a sub-exponential number of computational paths leads to contradiction. The proof demonstrates that correctness and determinism cannot be preserved under such compression. We also define the Abdeslam Deterministic Visibility Limit — the input size beyond which deterministic visibility collapses. Together, these results confirm that no deterministic polynomial-time machine can decide all satisfiability instances, resolving the P versus NP problem within classical computation.



![Author ORCID: We display the ORCID iD icon alongside authors names on our website to acknowledge that the ORCiD has been authenticated when entered by the user. To view the users ORCiD record click the icon. [opens in a new tab]](https://www.cambridge.org/engage/assets/public/coe/logo/orcid.png)