A Minimal Constructive Proof That P ≠ NP via Witness Incompressibility

Description

Other (French)

Une preuve uniforme, formellement vérifiée, que P ≠ NP, fondée sur l’incompressibilité des témoins. Aucun oracle. Aucune hypothèse. Aucune heuristique. Uniquement des bornes de Kolmogorov, des arguments de dénombrement, et une contradiction.

Cet article présente une preuve constructive minimale que P ≠ NP dans le modèle classique de machine de Turing, sans recourir à des encodages non calculables ni à des approximations issues de la théorie de la complexité. En isolant des instances du langage NP dont les témoins sont prouvés incompressibles, nous démontrons que toute machine déterministe en temps polynomial capable de produire de tels témoins violerait nécessairement les bornes imposées par la théorie de l’information. Il en résulte une contradiction. L’approche est entièrement formelle, uniformément constructive, et résiste aux trois grandes barrières métamathématiques connues : la relativisation, les preuves naturelles et l’algebrization.

Cette preuve pourrait contribuer à résoudre une question ouverte depuis cinquante ans. Elle ne repose sur aucune hypothèse de difficulté algorithmique, mais sur l’incompatibilité entre calcul déterministe et structures de témoins à forte entropie. La méthode est rigoureuse, minimale et vérifiable. Elle pourrait également servir de cadre pour d’autres séparations en théorie de la complexité, telles que L ≠ P, NP ≠ BQP, ou les frontières informationnelles dans la hiérarchie polynomiale.

Abstract

We provide a constructive resolution that P ≠ NP by contradiction, establishing that no deterministic polynomial-time algorithm can generate valid witnesses for all instances of canonical NP-complete problems. The argument constructs, for every sufficiently large input length n, a dense subset of problem instances whose valid witnesses are provably incompressible in the sense of Kolmogorov complexity. Assuming P = NP implies the existence of a uniform algorithm that outputs such witnesses from their corresponding inputs in polynomial time, which in turn yields a program of description length at most n + c that outputs an incompressible string of complexity exceeding n + δ. This contradiction is derived purely from classical counting bounds and does not depend on approximating or computing the Kolmogorov function. The proof is non-relativizing, non-algebrizing, and non-naturalizable. It is fully constructive, strictly uniform, and does not rely on unproven cryptographic or circuit assumptions. This establishes an unconditional separation between P and NP in the classical Turing model.