Imagen de Portada

Subfields as the Unit of Progress: A Modular Path Through P vs NP

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autor principal:	Figurelli, Rogério
Formato:	Recurso digital
Publicado:	Zenodo 2026
Materias:	P vs NP SAT NP-completeness proofpacks subfields receipts
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Law of Computational Impossibility (P vs NP)
por: Zain Al-Abedien, (Muhannad)
Publicado: (2025)

NP vs. coNP as an Observer Constraint: A Physics-Informed Framework
por: Fernandes, Ricardo Miguel Machado
Publicado: (2025)

A Formal Proof That P ≠ NP via SAT Space Irreducibility
por: Jorge, G. Pardo
Publicado: (2025)

Abel's Revenge: The Death of P = NP
por: Eva, Moss
Publicado: (2026)

Proving the Non-Equivalence of P and NP: A Logical Reductio ad Absurdum via Holographic Block-Height
por: li, shaoren
Publicado: (2026)

Topics in Theoretical Computer Science
por: Rode, Alexander Forrest
Publicado: (2025)

Science Needs a "Zero-Trust" Architecture
por: Figurelli, Rogério
Publicado: (2026)

The Synchronization Bridge: A Proof of P=NP
por: Sahai, Adhrit Mohan
Publicado: (2026)

P ≠ NP: A Proof via Information Flow Complexity
por: Christian Kilpatrick
Publicado: (2025)

Monteiro Theorem: «
por: Monteiro, João Tiago
Publicado: (2026)

Beyond Speed: Why AI Must Learn When Not to Solve
por: Figurelli, Rogério
Publicado: (2025)

Beyond Speed: Why AI Must Learn When Not to Solve
por: Figurelli, Rogério
Publicado: (2025)

Beyond Speed: Why AI Must Learn When Not to Solve
por: Figurelli, Rogério
Publicado: (2025)

图数理论及P vs NP问题/Graph Theory and the P vs NP Problem
por: ch, hy
Publicado: (2026)

Deterministic SAT Decision Under Restrictions: Decision Signatures, Residual Structure, and a Structural Reduction of the P vs. NP Question
por: Schenk, Philipp
Publicado: (2025)

A Structural Inaccessibility Statement on the Escape Channel of the P vs NP Problem
por: Zhang, Bingchao
Publicado: (2026)

Concentration of nutrients and primary production in sea ice of the high-latitudinal Arctic
por: Nedashkovskii, A P, et al.
Publicado: (2008)

P vs NP via Ising Energy Landscapes
por: Daugherty, Bryan, et al.
Publicado: (2026)

A Complete Conditional Proof that P ≠ NP via 1RSB Condensation, the Black Hole Trilemma, and the Reduction Conjecture
por: Derscariu, Radu-Daniel
Publicado: (2026)

A Complete Conditional Proof that P ≠ NP via the Fractal Geometry of 3‑SAT Solution Spaces
por: Derscariu, Radu-Daniel
Publicado: (2026)

(Table 1) Characteristics of ice samples collected at the North Pole 34 drift station
por: Nedashkovskii, A P, et al.
Publicado: (2008)

(Table 2) Chemical composition of sea ice samples collected at the North Pole 34 drift station
por: Nedashkovskii, A P, et al.
Publicado: (2008)

Resolution of P ̸= NP: Compression Barriers, Non-Relativizing Arguments, and Entropy Formalization
por: Fisher, Christopher
Publicado: (2025)

Resolution of P ̸= NP: Compression Barriers, Non-Relativizing Arguments, and Entropy Formalization
por: Fisher, Christopher
Publicado: (2025)

Oxygen isotopes in waters of the Central Arctic Ocean
por: Vetshteyn, V Y, et al.
Publicado: (2011)

Geochemistry of Arctic marine sediments
por: Kim, Jung-Hyun, et al.
Publicado: (2011)

(Table 3) General properties, branched GDGT concentrations and proxy values for marine surface sediments in Kongsfjorden and Krossfjorden
por: Peterse, Francien, et al.
Publicado: (2009)

Utilidad clínica del biomarcador sérico propéptido N-terminal del procolágeno tipo 1 (P1NP) en mujeres diabéticas tipo 2 postmenopáusicas
por: Sonia Beatriz Robledo Nieto
Publicado: (2017)

Nutrientes en 39 lagunas costeras mexicanas
por: Contreras E., Francisco; Castañeda L., O.; Torres Alvarado, R. & Gutiérrez M., F
Publicado: (1996)

Behavior of alkylphenol polyethoxylate metabolites during soil aquifer treatment
por: Montgomery, J., Drewes, J., Fox, P., Reinhard, M
Publicado: (2003)

CDCL is a Collapse Chain: A Formal Equivalence Between Conflict-Driven Clause Learning and Irreversible Uncertainty Reduction
por: Rao, Huiying
Publicado: (2026)

CFP-MCFP Complete Theorem Proofs: Riemann Hypothesis, Goldbach, Beal, Collatz and 33 Related Results (v2)
por: Mr. NeC B.V.
Publicado: (2026)

Spectral Expanders, Non-Commutative Diffusion Laplacians, and the Structural Separation of Polynomial-Time Complexity Classes
por: Garrido, Daphne
Publicado: (2026)

Documentation of sediment core GIK15622-2
por: Werner, Friedrich, et al.
Publicado: (2009)

(Table 1) Oxygen-18 distribution in waters of the Arctic Ocean in 1967 and 1969
por: Vetshteyn, V Y, et al.
Publicado: (1974)

Perfeccionando algoritmos heurísticos para el problema NP-C E-TSP
por: Juan Cockbaine Ojeda
Publicado: (2013)

Documentation of sediment core GIK15620-1
por: Werner, Friedrich, et al.
Publicado: (2009)

Documentation of sediment core GIK15623-1
por: Werner, Friedrich, et al.
Publicado: (2009)

Documentation of sediment core GIK15617-1
por: Werner, Friedrich, et al.
Publicado: (2009)

Documentation of sediment core GIK15618-1
por: Werner, Friedrich, et al.
Publicado: (2009)