Buchumschlag

CLIQUE as an AND of Polynomial-Sized Monotone Constant-Depth Circuits

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bodnar, Levente
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computational Complexity 68Q06 F.1.3; F.2.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formula Size-Depth Tradeoffs for Iterated Sub-Permutation Matrix Multiplication
von: Rossman, Benjamin
Veröffentlicht: (2024)

Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
von: Saffidine, Abdallah, et al.
Veröffentlicht: (2025)

Quantum Sabotage Complexity
von: Cornelissen, Arjan, et al.
Veröffentlicht: (2024)

Separation of PSPACE and EXP
von: Czerwinski, Reiner
Veröffentlicht: (2021)

Near-Optimal Bootstrapping of Hitting Sets for Algebraic Models
von: Kumar, Mrinal, et al.
Veröffentlicht: (2018)

Supercritical Tradeoffs for Monotone Circuits
von: Göös, Mika, et al.
Veröffentlicht: (2024)

Shifted Partial Derivative Polynomial Rank and Codimension
von: Edwards, Darren J.
Veröffentlicht: (2025)

Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations
von: Antonelli, Melissa, et al.
Veröffentlicht: (2025)

Sign-Rank of $k$-Hamming Distance is Constant
von: Göös, Mika, et al.
Veröffentlicht: (2025)

An SoS Entropy Dichotomy via Windowed Hypercontractivity
von: Lela, Marko
Veröffentlicht: (2025)

Explicit separations between randomized and deterministic Number-on-Forehead communication
von: Kelley, Zander, et al.
Veröffentlicht: (2023)

Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
von: Conneryd, Jonas, et al.
Veröffentlicht: (2025)

The Polynomial Hierarchy does not collapse
von: Czerwinski, Reiner
Veröffentlicht: (2024)

On the computational complexity of Data Flow Analysis
von: Sood, Gaurav, et al.
Veröffentlicht: (2013)

Meta Theorem for Hardness on FCP-Problem
von: Nagao, Atsuki, et al.
Veröffentlicht: (2025)

Upper and Lower Bounds for the Linear Ordering Principle
von: Hirsch, Edward A., et al.
Veröffentlicht: (2025)

Linear Matroid Intersection is in Catalytic Logspace
von: Agarwala, Aryan, et al.
Veröffentlicht: (2025)

Oracle Separations for RPH
von: Hamm, Thekla, et al.
Veröffentlicht: (2025)

A Note on Avoid vs MCSP
von: Hirsch, Edward A., et al.
Veröffentlicht: (2025)

Diagonalization Without Relativization A Closer Look at the Baker-Gill-Solovay Theorem
von: Garcia, Baruch
Veröffentlicht: (2026)

Required-edge Cycle Cover Problem: an ASP-Completeness Framework for Graph Problems and Puzzles
von: Susukita, Kosuke, et al.
Veröffentlicht: (2026)

IECZ-III: Hardcore Condensation Lift with Size-Aware Invariants
von: Lela, Marko
Veröffentlicht: (2025)

Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2026)

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
von: Hakoniemi, Tuomas, et al.
Veröffentlicht: (2024)

Quantum algorithms through graph composition
von: Cornelissen, Arjan
Veröffentlicht: (2025)

Quantum walks through generalized graph composition
von: Cornelissen, Arjan
Veröffentlicht: (2025)

NP-hardness of p-adic linear regression
von: Baker, Gregory D.
Veröffentlicht: (2026)

Finitely (In)tractable Promise Constraint Satisfaction Problems
von: Asimi, Kristina, et al.
Veröffentlicht: (2020)

Quantum Time-Space Tradeoffs for Matrix Problems
von: Beame, Paul, et al.
Veröffentlicht: (2024)

Tight Bounds on the Spooky Pebble Game: Recycling Qubits with Measurements
von: Kornerup, Niels, et al.
Veröffentlicht: (2021)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Quoridor is PSPACE-Complete
von: Drop, Marius, et al.
Veröffentlicht: (2026)

Lower Bounds for CSP Hierarchies Through Ideal Reduction
von: Conneryd, Jonas, et al.
Veröffentlicht: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)

Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2024)

On bounded depth proofs for Tseitin formulas on the grid; revisited
von: Håstad, Johan, et al.
Veröffentlicht: (2022)

An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR
von: Lela, Marko
Veröffentlicht: (2025)

Failure of the strong feasible disjunction property
von: Krajicek, Jan
Veröffentlicht: (2026)

I/O complexity and pebble games with partial computations
von: Sobczyk, Aleksandros
Veröffentlicht: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
von: de Rezende, Susanna F., et al.
Veröffentlicht: (2019)