Skip to content
#data science Open access

The Principle of Looseness — A Polynomial Algorithm for the 3-SAT Problem and the Equality P = NP

Oct 2026 · Zenodo (CERN European Organization for Nuclear Research)
Complexity and Algorithms in Graphs

Abstract

# Stability Band and Conditional Complexity — P equals NP for Balanced SystemsComplete Record – Discovery, Refinement, Proof and Full Data "With a donated phone worth barely 300 reais, I reached this far.Give me a machine worth 5,000 and I will rewrite physics." This work presents a resolution to the P versus NP problem — one of the most famous open problems in mathematics and computer science, unresolved for over 50 years. Summary The core finding shows that complexity arises not primarily from size, but from connectivity structure. There exists an equilibrium band — a narrow range of structural coupling — where every problem converges uniformly in polynomial time. Problems outside this band can be transformed into it, proving that all NP-complete problems are solvable in polynomial time. Therefore: P = NP. Methodology - Three distinct dynamic regimes identified across coupling strengths: Sparse, Balanced, and Dense- Exact boundaries derived: 0.7082 ≤ B ≤ 0.7500- Universal solver implemented: sparse problems decomposed, dense problems reduced- Verified across 480 instances and sizes up to 1,000,000 variables — 100% success rate About this work This entire research was conducted independently, using only a donated, second-hand mobile device — no dedicated computer, no in-person supervision, no institutional support. Observation, reasoning, and persistence were the only tools available. Developed entirely by Deni da Silva Saez, from Mauá, Brazil. Contact: deni.saez@gmail.com

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54

Trajectory Balance: Improved Credit Assignment in GFlowNets

It is proved that any global minimizer of the trajectory balance objective can define a policy that samples exactly from the target distribution, and empirically demonstrate the benefits of the trajectories balance objective for GFlowNet convergence, diversity of generated samples, and robustness to long action sequenc...

Esmeralda S. Whitammer, Moksh Jain, Emmanuel Bengio et al. · 302 citations · ⚡60

Related blog posts

Microsoft Research Blog Oct 6, 2026

What AI gets wrong and what failure teaches us

Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her professional sweet spot and her work identifying “surprising failures” making it hard for AI to handle complexity.  The post What AI gets wrong and what failure teaches us appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.