Separations above TFNP from Sherali-Adams Lower Bounds
Fuente:
arXiv
Salvato in:
| Autori principali: | Fleming, Noah, Gal, Anna, Imrek, Deniz, Marciot, Christophe |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Separations in Proof Complexity and TFNP
di: Göös, Mika, et al.
Pubblicazione: (2022)
di: Göös, Mika, et al.
Pubblicazione: (2022)
Sensitivity Lower Bounds for Approximaiton Algorithms
di: Fleming, Noah, et al.
Pubblicazione: (2024)
di: Fleming, Noah, et al.
Pubblicazione: (2024)
Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
di: de Rezende, Susanna F., et al.
Pubblicazione: (2024)
di: de Rezende, Susanna F., et al.
Pubblicazione: (2024)
On Pigeonhole Principles and Ramsey in TFNP
di: Jain, Siddhartha, et al.
Pubblicazione: (2024)
di: Jain, Siddhartha, et al.
Pubblicazione: (2024)
Hierarchies within TFNP: building blocks and collapses
di: Ghentiyala, Surendra, et al.
Pubblicazione: (2025)
di: Ghentiyala, Surendra, et al.
Pubblicazione: (2025)
Quantum Communication Advantage in TFNP
di: Göös, Mika, et al.
Pubblicazione: (2024)
di: Göös, Mika, et al.
Pubblicazione: (2024)
How to fit large complexity classes into TFNP
di: Thapen, Neil
Pubblicazione: (2024)
di: Thapen, Neil
Pubblicazione: (2024)
An unholy trinity: TFNP, polynomial systems, and the quantum satisfiability problem
di: Aldi, Marco, et al.
Pubblicazione: (2024)
di: Aldi, Marco, et al.
Pubblicazione: (2024)
Improved Circuit Lower Bounds and Quantum-Classical Separations
di: Grewal, Sabee, et al.
Pubblicazione: (2024)
di: Grewal, Sabee, et al.
Pubblicazione: (2024)
Optimal Single-Pass Streaming Lower Bounds for Approximating CSPs
di: Singer, Noah G., et al.
Pubblicazione: (2026)
di: Singer, Noah G., et al.
Pubblicazione: (2026)
Lower Bounds from Succinct Hitting Sets
di: Chatterjee, Prerona, et al.
Pubblicazione: (2023)
di: Chatterjee, Prerona, et al.
Pubblicazione: (2023)
Lower Bounds for Approximate Sign Rank
di: Bindua, Riju, et al.
Pubblicazione: (2026)
di: Bindua, Riju, et al.
Pubblicazione: (2026)
Local Enumeration and Majority Lower Bounds
di: Gurumukhani, Mohit, et al.
Pubblicazione: (2024)
di: Gurumukhani, Mohit, et al.
Pubblicazione: (2024)
Spectral Lower Bounds for Local Search
di: Brânzei, Simina, et al.
Pubblicazione: (2024)
di: Brânzei, Simina, et al.
Pubblicazione: (2024)
Exponential Lower Bounds for Smooth 3-LCCs and Sharp Bounds for Designs
di: Kothari, Pravesh K., et al.
Pubblicazione: (2024)
di: Kothari, Pravesh K., et al.
Pubblicazione: (2024)
A Quadratic Lower Bound for Noncommutative Circuits
di: Shastri, Pratik
Pubblicazione: (2026)
di: Shastri, Pratik
Pubblicazione: (2026)
IPS Lower Bounds for Formulas and Sum of ROABPs
di: Chatterjee, Prerona, et al.
Pubblicazione: (2025)
di: Chatterjee, Prerona, et al.
Pubblicazione: (2025)
Lower Bounds for Set-Multilinear Branching Programs
di: Chatterjee, Prerona, et al.
Pubblicazione: (2023)
di: Chatterjee, Prerona, et al.
Pubblicazione: (2023)
Lower Bounds for Bit Pigeonhole Principles in Bounded-Depth Resolution over Parities
di: Byramji, Farzan, et al.
Pubblicazione: (2025)
di: Byramji, Farzan, et al.
Pubblicazione: (2025)
Convergent Gate Elimination and Constructive Circuit Lower Bounds
di: Carmosino, Marco, et al.
Pubblicazione: (2026)
di: Carmosino, Marco, et al.
Pubblicazione: (2026)
Top-Down Lower Bounds for Depth-Four Circuits
di: Göös, Mika, et al.
Pubblicazione: (2023)
di: Göös, Mika, et al.
Pubblicazione: (2023)
Oblivious Complexity Classes Revisited: Lower Bounds and Hierarchies
di: Gajulapalli, Karthik, et al.
Pubblicazione: (2025)
di: Gajulapalli, Karthik, et al.
Pubblicazione: (2025)
Tight Lower Bounds for Block-Structured Integer Programs
di: Hunkenschröder, Christoph, et al.
Pubblicazione: (2024)
di: Hunkenschröder, Christoph, et al.
Pubblicazione: (2024)
Lower Bounds for Subset Sum in Resolution with Modular Counting
di: Part, Fedor
Pubblicazione: (2022)
di: Part, Fedor
Pubblicazione: (2022)
Lower Bounds on Cardinality of Reducts for Decision Tables from Closed Classes
di: Ostonov, Azimkhon, et al.
Pubblicazione: (2024)
di: Ostonov, Azimkhon, et al.
Pubblicazione: (2024)
Lower Bounds for Conjunctive Query Evaluation
di: Mengel, Stefan
Pubblicazione: (2025)
di: Mengel, Stefan
Pubblicazione: (2025)
Bounded-Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions
di: Gryaznov, Svyatoslav, et al.
Pubblicazione: (2024)
di: Gryaznov, Svyatoslav, et al.
Pubblicazione: (2024)
Certificate Games and Consequences for the Classical Adversary Bound
di: Chakraborty, Sourav, et al.
Pubblicazione: (2022)
di: Chakraborty, Sourav, et al.
Pubblicazione: (2022)
Optimal Monotone Depth-Three Circuit Lower Bounds for Majority
di: Gurumukhani, Mohit, et al.
Pubblicazione: (2026)
di: Gurumukhani, Mohit, et al.
Pubblicazione: (2026)
Query Lower Bounds for Correlation Clustering under Memory Constraints
di: Garg, Sumegha, et al.
Pubblicazione: (2026)
di: Garg, Sumegha, et al.
Pubblicazione: (2026)
A Lower Bound on Conservative Elementary Object Systems Coverability
di: Di Cosmo, Francesco, et al.
Pubblicazione: (2025)
di: Di Cosmo, Francesco, et al.
Pubblicazione: (2025)
Lower Bounds against the Ideal Proof System in Finite Fields
di: Elbaz, Tal, et al.
Pubblicazione: (2025)
di: Elbaz, Tal, et al.
Pubblicazione: (2025)
Spectral Certificates and Sum-of-Squares Lower Bounds for Semirandom Hamiltonians
di: Kocurek, Nicholas
Pubblicazione: (2025)
di: Kocurek, Nicholas
Pubblicazione: (2025)
Upper and Lower Bounds on $T_1$ and $T_2$ Decision Tree Model
di: Alhamdan, Yousef M.
Pubblicazione: (2025)
di: Alhamdan, Yousef M.
Pubblicazione: (2025)
Polynomial Lower Bounds for Arithmetic Circuits over Non-Commutative Rings
di: Raz, Ran
Pubblicazione: (2026)
di: Raz, Ran
Pubblicazione: (2026)
Low Rank Matrix Rigidity: Tight Lower Bounds and Hardness Amplification
di: Alman, Josh, et al.
Pubblicazione: (2025)
di: Alman, Josh, et al.
Pubblicazione: (2025)
A Lower Bound on the Constant in the Fourier Min-Entropy/Influence Conjecture
di: Biswas, Aniruddha, et al.
Pubblicazione: (2022)
di: Biswas, Aniruddha, et al.
Pubblicazione: (2022)
Improved Lower Bounds for QAC0
di: Joshi, Malvika Raj, et al.
Pubblicazione: (2025)
di: Joshi, Malvika Raj, et al.
Pubblicazione: (2025)
Tight Lower Bound for Approximating Parametrized Maximum Likelihood Decoding under ETH
di: Gupta, Rishav, et al.
Pubblicazione: (2026)
di: Gupta, Rishav, et al.
Pubblicazione: (2026)
Gadgetless Lifting Beats Round Elimination: Improved Lower Bounds for Pointer Chasing
di: Mao, Xinyu, et al.
Pubblicazione: (2024)
di: Mao, Xinyu, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Separations in Proof Complexity and TFNP
di: Göös, Mika, et al.
Pubblicazione: (2022) -
Sensitivity Lower Bounds for Approximaiton Algorithms
di: Fleming, Noah, et al.
Pubblicazione: (2024) -
Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
di: de Rezende, Susanna F., et al.
Pubblicazione: (2024) -
On Pigeonhole Principles and Ramsey in TFNP
di: Jain, Siddhartha, et al.
Pubblicazione: (2024) -
Hierarchies within TFNP: building blocks and collapses
di: Ghentiyala, Surendra, et al.
Pubblicazione: (2025)