Buchumschlag

Exploring P versus NP

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tang, Jian-Gang
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Computational Complexity Logic 03D15, 68Q15, 03C13, 03B10, 03B05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Ramsey expansions of $Λ$-ultrametric spaces
von: Braunfeld, Samuel
Veröffentlicht: (2017)

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

Preservation theorems on sparse classes revisited
von: Dawar, Anuj, et al.
Veröffentlicht: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

A proof of P!=NP
von: McCallum, Rupert
Veröffentlicht: (2020)

Online and feasible presentability: from trees to modal algebras
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2025)

NP-hard problems are not in BQP
von: Czerwinski, Reiner
Veröffentlicht: (2023)

Dilators and the reverse mathematics zoo
von: Freund, Anton
Veröffentlicht: (2024)

Finite-Horizon First-Order Rank Profiles of Regular Languages
von: Bazarova, Madina, et al.
Veröffentlicht: (2026)

From Gödel incompleteness to the consistency of circuit lower bounds
von: Atserias, Albert, et al.
Veröffentlicht: (2026)

Logic families
von: Andréka, H., et al.
Veröffentlicht: (2023)

Computational Complexity of Model-Checking Quantum Pushdown Systems
von: Lin, Deren, et al.
Veröffentlicht: (2025)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

The strength of Ramsey's theorem for $α$-large sets
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2026)

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
von: Bannach, Max, et al.
Veröffentlicht: (2025)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
von: Koshkin, Sergiy
Veröffentlicht: (2024)

Choiceless Polynomial Space
von: Ferrarotti, Flavio, et al.
Veröffentlicht: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness
von: Tzameret, Iddo, et al.
Veröffentlicht: (2023)

Learning Equivalence Relations on Polish Spaces
von: Rossegger, Dino, et al.
Veröffentlicht: (2024)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
von: Fusco, Ludovico, et al.
Veröffentlicht: (2025)

On the learning power of Friedman-Stanley jumps
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
von: Battyanyi, Peter, et al.
Veröffentlicht: (2023)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
von: Sorg, Christopher
Veröffentlicht: (2026)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
von: Leme, Renato, et al.
Veröffentlicht: (2023)

The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

Parametrized complexity of relations between multidimensional subshifts
von: Carrasco-Vargas, Nicanor, et al.
Veröffentlicht: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
von: Kowalik, Katarzyna W.
Veröffentlicht: (2025)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

Formalizing Pfaffian in bounded arithmetic
von: Kuroda, Satoru
Veröffentlicht: (2024)

The Ramsey property and higher dimensional mad families
von: Schrittesser, David, et al.
Veröffentlicht: (2020)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2026)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
von: Baldwin, John T., et al.
Veröffentlicht: (2026)