Search versus Decision for $\mathsf{S}_2^\mathsf{P}$

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Fortnow, Lance
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computational Complexity
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Condensation of Block Sensitivity, Certificate Complexity and the $\mathsf{AND}$ (and $\mathsf{OR}$) Decision Tree Complexity
von: Nalli, Sai Soumya, et al.
Veröffentlicht: (2026)

Total Search Problems in $\mathsf{ZPP}$
von: Fleming, Noah, et al.
Veröffentlicht: (2025)

$\mathsf{QAC}^0$ Contains $\mathsf{TC}^0$ (with Many Copies of the Input)
von: Grier, Daniel, et al.
Veröffentlicht: (2026)

Total Variation Distance for Product Distributions is $\#\mathsf{P}$-Complete
von: Bhattacharyya, Arnab, et al.
Veröffentlicht: (2024)

Complexity of Quadratic Bosonic Hamiltonian Simulation: $\mathsf{BQP}$-Completeness and $\mathsf{PostBQP}$-Hardness
von: Zschetzsche, Lilith, et al.
Veröffentlicht: (2026)

On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
von: Chen, Lijie, et al.
Veröffentlicht: (2024)

Towards a universal gateset for $\mathsf{QMA}_1$
von: Rudolph, Dorian
Veröffentlicht: (2024)

How Does Machine Learning Manage Complexity?
von: Fortnow, Lance
Veröffentlicht: (2026)

Perfect diffusion is $\mathsf{TC}^0$ -- Bad diffusion is Turing-complete
von: Liu, Yuxi
Veröffentlicht: (2025)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
von: Göller, Stefan, et al.
Veröffentlicht: (2023)

Unconditionally separating noisy $\mathsf{QNC}^0$ from bounded polynomial threshold circuits of constant depth
von: Hsieh, Min-Hsiu, et al.
Veröffentlicht: (2024)

Quantum 2-SAT on low dimensional systems is $\mathsf{QMA}_1$-complete: Direct embeddings and black-box simulation
von: Rudolph, Dorian, et al.
Veröffentlicht: (2024)

Theoretical Constraints on the Expressive Power of $\mathsf{RoPE}$-based Tensor Attention Transformers
von: Li, Xiaoyu, et al.
Veröffentlicht: (2024)

From Worst-Case Hardness of $\mathsf{NP}$ to Quantum Cryptography via Quantum Indistinguishability Obfuscation
von: Morimae, Tomoyuki, et al.
Veröffentlicht: (2025)

Modern Hopfield Networks Require Chain-of-Thought to Solve $\mathsf{NC}^1$-Hard Problems
von: Cao, Yang, et al.
Veröffentlicht: (2024)

Shrinkage under Random Projections, and Cubic Formula Lower Bounds for $\mathsf{AC}^0$
von: Filmus, Yuval, et al.
Veröffentlicht: (2020)

The AdS/$\mathsf{C}$-$\mathsf{P}$-${\mathsf T}$ Correspondence
von: Gomis, Jaume
Veröffentlicht: (2025)

The $\text{FP}^\text{NP}$ versus #P dichotomy for #EO
von: Meng, Boning, et al.
Veröffentlicht: (2025)

Upper and Lower Bounds on $T_1$ and $T_2$ Decision Tree Model
von: Alhamdan, Yousef M.
Veröffentlicht: (2025)

Deterministic and Strongly Nondeterministic Decision Trees for Decision Tables from Closed Classes
von: Ostonov, Azimkhon, et al.
Veröffentlicht: (2023)

There is a Hyper-Greedoid lurking behind every Graphical Accessible Computational Search Problem solvable in Polynomial Time: $P \not= NP$
von: Kayibi, Koko-Kalambay Kalafan
Veröffentlicht: (2018)

Digital Twinning of Interorgan Communications
von: Lance Fortnow
Veröffentlicht: (2025)

Hazard-free Decision Trees
von: Benson, Deepu, et al.
Veröffentlicht: (2025)

On complexity of restricted fragments of Decision DNNF
von: Calí, Andrea, et al.
Veröffentlicht: (2025)

From FPT Decision to FPT Enumeration
von: Creignou, Nadia, et al.
Veröffentlicht: (2025)

Explaining the Ubiquity of Phase Transitions in Decision Problems
von: Jackson, Andrew
Veröffentlicht: (2025)

Symport/Antiport P Systems with Membrane Separation Characterize P^(#P)
von: Ducros, Vivien, et al.
Veröffentlicht: (2025)

Spectral Lower Bounds for Local Search
von: Brânzei, Simina, et al.
Veröffentlicht: (2024)

Phase Transitions in Decision Problems Over Odd-Sized Alphabets
von: Jackson, Andrew
Veröffentlicht: (2025)

Exact versus Approximate Representations of Boolean Functions in the De Morgan Basis
von: Chattopadhyay, Arkadev, et al.
Veröffentlicht: (2025)

Parameterized Local Search for Max $c$-Cut
von: Garvardt, Jaroslav, et al.
Veröffentlicht: (2024)

Some conditions implying if P=NP then P=PSPACE
von: Rodriguez, Ismael
Veröffentlicht: (2026)

Lower Bounds on Cardinality of Reducts for Decision Tables from Closed Classes
von: Ostonov, Azimkhon, et al.
Veröffentlicht: (2024)

P=NP
von: Deng, Zikang
Veröffentlicht: (2024)

Decision DNNFs with imbalanced conjunction cannot efficiently represent CNFs of bounded width
von: Razgon, Igor
Veröffentlicht: (2025)

A Critique of Lin's "On $\text{NP}$ versus $\text{coNP}$ and Frege Systems"
von: DeJesse, Nicholas, et al.
Veröffentlicht: (2025)

P vs. NP
von: Uribe, Daniel
Veröffentlicht: (2016)

On P Versus NP
von: Gordeev, Lev
Veröffentlicht: (2020)

Topological Collapse: P = NP Implies #P = FP via Solution-Space Homology
von: Alasli, M.
Veröffentlicht: (2026)

Searching for Falsified Clause in Random (log n)-CNFs is Hard for Randomized Communication
von: Riazanov, Artur, et al.
Veröffentlicht: (2025)