遇见数据集

A Constructive Proof of P = NP via Continuous Energy Minimization: Amanollahi Method

收藏
Zenodo2025-09-17 更新2026-05-29 收录
官方服务:

资源简介:

This article presents a novel, constructive, and verifiable proof of the P = NP conjecture based on a deterministic continuous optimization method, termed the Amanollahi Methodology. By formulating Boolean SAT instances as continuous energy landscapes with tunable sharpness, we demonstrate that both satisfiable and unsatisfiable cases can be resolved in provable polynomial time. The energy function guarantees zero minima for SAT and a strictly positive lower bound for UNSAT instances. The method successfully solves benchmark instances such as uf75, uf125, uuf50, and uuf250—historically hard 3-SAT challenges—without relying on external SAT solvers. The implementation is entirely independent and reproducible, and the proof includes rigorous analytical lemmas, complexity bounds, and empirical validation. For the first time in history, the instances uf125 and uuf250 have been solved without any external reinforcement. For interactive demonstrations and detailed results, readers may consult the following Google Colab notebooks: Colab: uf125 Results Colab: uuf250 Results

提供机构:
Zenodo
创建时间:
2025-07-24
二维码
社区交流群
二维码
科研交流群
商业服务