Toward P vs NP: An Observer-Theoretic Separation via SPDP Rank and a ZFC-Equivalent Foundation within the N-Frame Model
Fuente:
arXiv
Saved in:
| Main Author: | Edwards, Darren J. |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Separation of $NP$ and $PSPACE$
by: Lin, Tianrong
Published: (2021)
by: Lin, Tianrong
Published: (2021)
Polynomial Identity Testing via Evaluation of Rational Functions
by: Hu, Ivan, et al.
Published: (2022)
by: Hu, Ivan, et al.
Published: (2022)
P not equal to NP
by: Delgado, Daniel Cardona
Published: (2023)
by: Delgado, Daniel Cardona
Published: (2023)
Complexity of learning matchings and half graphs via edge queries
by: Mande, Nikhil S., et al.
Published: (2025)
by: Mande, Nikhil S., et al.
Published: (2025)
Shifted Partial Derivative Polynomial Rank and Codimension
by: Edwards, Darren J.
Published: (2025)
by: Edwards, Darren J.
Published: (2025)
A Study of NP-Completeness and Undecidable Word Problems in Semigroups
by: Abdullah, Duaa, et al.
Published: (2025)
by: Abdullah, Duaa, et al.
Published: (2025)
Probabilistic Computers (So Quantum Computers) Are More Rigorously Powerful Than Traditional Computers, and Derandomization
by: Lin, Tianrong
Published: (2023)
by: Lin, Tianrong
Published: (2023)
Unifying lower bounds for algebraic machines, semantically
by: Seiller, Thomas, et al.
Published: (2018)
by: Seiller, Thomas, et al.
Published: (2018)
Hamiltonicity Parameterized by Mim-Width is (Indeed) Para-NP-Hard
by: Bergougnoux, Benjamin, et al.
Published: (2025)
by: Bergougnoux, Benjamin, et al.
Published: (2025)
Trifferent codes with small lengths
by: Kurz, Sascha
Published: (2023)
by: Kurz, Sascha
Published: (2023)
Circularity and repetitiveness in non-injective DF0L systems
by: Goulet-Ouellet, Herman, et al.
Published: (2025)
by: Goulet-Ouellet, Herman, et al.
Published: (2025)
Beyond the Existential Theory of the Reals
by: Schaefer, Marcus, et al.
Published: (2022)
by: Schaefer, Marcus, et al.
Published: (2022)
Completeness classes in algebraic complexity theory
by: Bürgisser, Peter
Published: (2024)
by: Bürgisser, Peter
Published: (2024)
Diagonalization of Polynomial-Time Deterministic Turing Machines via Nondeterministic Turing Machines
by: Lin, Tianrong
Published: (2021)
by: Lin, Tianrong
Published: (2021)
Resolution of The Linear-Bounded Automata Question
by: Lin, Tianrong
Published: (2021)
by: Lin, Tianrong
Published: (2021)
The proper conflict-free $k$-coloring problem and the odd $k$-coloring problem are NP-complete on bipartite graphs
by: Ahn, Jungho, et al.
Published: (2022)
by: Ahn, Jungho, et al.
Published: (2022)
Results on three problems on isolation of graphs
by: Borg, Peter, et al.
Published: (2026)
by: Borg, Peter, et al.
Published: (2026)
Vanishing of Schubert coefficients is in ${\sf AM}\cap {\sf coAM}$ assuming the GRH
by: Pak, Igor, et al.
Published: (2025)
by: Pak, Igor, et al.
Published: (2025)
Vanishing of Schubert coefficients in probabilistic polynomial time
by: Pak, Igor, et al.
Published: (2025)
by: Pak, Igor, et al.
Published: (2025)
Treewidth Inapproximability and Tight ETH Lower Bound
by: Bonnet, Édouard
Published: (2024)
by: Bonnet, Édouard
Published: (2024)
Toward Better Depth Lower Bounds: A KRW-like theorem for Strong Composition
by: Meir, Or
Published: (2023)
by: Meir, Or
Published: (2023)
Vanishing of Schubert Coefficients
by: Pak, Igor, et al.
Published: (2024)
by: Pak, Igor, et al.
Published: (2024)
Positivity of Schubert Coefficients
by: Pak, Igor, et al.
Published: (2024)
by: Pak, Igor, et al.
Published: (2024)
Generalisations of Matrix Partitions : Complexity and Obstructions
by: Barsukov, Alexey, et al.
Published: (2021)
by: Barsukov, Alexey, et al.
Published: (2021)
Mim-Width is paraNP-complete
by: Bergougnoux, Benjamin, et al.
Published: (2025)
by: Bergougnoux, Benjamin, et al.
Published: (2025)
A polynomial-time algorithm for deciding the Hilbert Nullstellensatz over $\mathbb{Z}_2$. A proof of $\mathbf{P}=\mathbf{NP}$ hypothesis
by: Petrov, Petar P.
Published: (2022)
by: Petrov, Petar P.
Published: (2022)
Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
by: Chen, Yijia, et al.
Published: (2023)
by: Chen, Yijia, et al.
Published: (2023)
Some derivations among Logarithmic Space Bounded Counting Classes
by: Janaki, V., et al.
Published: (2023)
by: Janaki, V., et al.
Published: (2023)
Sum-of-squares lower bounds for Non-Gaussian Component Analysis
by: Diakonikolas, Ilias, et al.
Published: (2024)
by: Diakonikolas, Ilias, et al.
Published: (2024)
Undecidability of the block gluing classes of homshifts
by: Chandgotia, Nishant, et al.
Published: (2025)
by: Chandgotia, Nishant, et al.
Published: (2025)
Recent Advances in Debordering Methods
by: Dutta, Pranjal, et al.
Published: (2025)
by: Dutta, Pranjal, et al.
Published: (2025)
Leakage-Resilient Hardness Equivalence to Logspace Derandomization
by: Shalunov, Yakov
Published: (2023)
by: Shalunov, Yakov
Published: (2023)
Undefinability of Approximation of 2-to-2 Games
by: Dawar, Anuj, et al.
Published: (2025)
by: Dawar, Anuj, et al.
Published: (2025)
The n-vehicle exploration problem is NP-complete
by: Cui, Jinchuan, et al.
Published: (2023)
by: Cui, Jinchuan, et al.
Published: (2023)
Induced Disjoint Paths Without an Induced Minor
by: Aboulker, Pierre, et al.
Published: (2025)
by: Aboulker, Pierre, et al.
Published: (2025)
The Gallai Vertex Problem is $Θ_2^p$-Complete
by: Nikabadi, Amir, et al.
Published: (2026)
by: Nikabadi, Amir, et al.
Published: (2026)
On Vanishing of Gromov--Witten Invariants
by: Pak, Igor, et al.
Published: (2025)
by: Pak, Igor, et al.
Published: (2025)
NP-Completeness Proofs of All or Nothing, Water Walk, and Remembered Length Using the T-Metacell Framework
by: Eua-anant, Pakapim, et al.
Published: (2025)
by: Eua-anant, Pakapim, et al.
Published: (2025)
Quantum computing algorithms for inverse problems on graphs and an NP-complete inverse problem
by: Ilmavirta, Joonas, et al.
Published: (2023)
by: Ilmavirta, Joonas, et al.
Published: (2023)
Regenerative Ulam-von Neumann Algorithm: An Innovative Markov chain Monte Carlo Method for Matrix Inversion
by: Ghosh, Soumyadip, et al.
Published: (2024)
by: Ghosh, Soumyadip, et al.
Published: (2024)
Similar Items
-
The Separation of $NP$ and $PSPACE$
by: Lin, Tianrong
Published: (2021) -
Polynomial Identity Testing via Evaluation of Rational Functions
by: Hu, Ivan, et al.
Published: (2022) -
P not equal to NP
by: Delgado, Daniel Cardona
Published: (2023) -
Complexity of learning matchings and half graphs via edge queries
by: Mande, Nikhil S., et al.
Published: (2025) -
Shifted Partial Derivative Polynomial Rank and Codimension
by: Edwards, Darren J.
Published: (2025)