Gespeichert in:
| 1. Verfasser: | Håstad, Johan |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2401.15683 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
NP-Completeness Proofs of All or Nothing, Water Walk, and Remembered Length Using the T-Metacell Framework
von: Eua-anant, Pakapim, et al.
Veröffentlicht: (2025)
von: Eua-anant, Pakapim, et al.
Veröffentlicht: (2025)
How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
von: Levin, Leonid A.
Veröffentlicht: (2022)
von: Levin, Leonid A.
Veröffentlicht: (2022)
Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
von: Hakoniemi, Tuomas, et al.
Veröffentlicht: (2024)
von: Hakoniemi, Tuomas, et al.
Veröffentlicht: (2024)
Explicit separations between randomized and deterministic Number-on-Forehead communication
von: Kelley, Zander, et al.
Veröffentlicht: (2023)
von: Kelley, Zander, et al.
Veröffentlicht: (2023)
DAG Scheduling in the BSP Model
von: Papp, Pál András, et al.
Veröffentlicht: (2023)
von: Papp, Pál András, et al.
Veröffentlicht: (2023)
Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
von: Böhnlein, Toni, et al.
Veröffentlicht: (2024)
von: Böhnlein, Toni, et al.
Veröffentlicht: (2024)
NP-hardness of p-adic linear regression
von: Baker, Gregory D.
Veröffentlicht: (2026)
von: Baker, Gregory D.
Veröffentlicht: (2026)
Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
von: Dorochko, Leonid, et al.
Veröffentlicht: (2026)
von: Dorochko, Leonid, et al.
Veröffentlicht: (2026)
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)
von: Lela, Marko
Veröffentlicht: (2025)
Quoridor is PSPACE-Complete
von: Drop, Marius, et al.
Veröffentlicht: (2026)
von: Drop, Marius, et al.
Veröffentlicht: (2026)
Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
von: Saffidine, Abdallah, et al.
Veröffentlicht: (2025)
von: Saffidine, Abdallah, et al.
Veröffentlicht: (2025)
Almost Tight Approximation Hardness for Single-Source Directed k-Edge-Connectivity
von: Liao, Chao, et al.
Veröffentlicht: (2022)
von: Liao, Chao, et al.
Veröffentlicht: (2022)
Minor Embedding in Broken Chimera and Pegasus Graphs is NP-complete
von: Lobe, Elisabeth, et al.
Veröffentlicht: (2021)
von: Lobe, Elisabeth, et al.
Veröffentlicht: (2021)
Computational Complexity of Determining the Assembly Index
von: Masierak, Piotr
Veröffentlicht: (2026)
von: Masierak, Piotr
Veröffentlicht: (2026)
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
von: Lagerkvist, Victor, et al.
Veröffentlicht: (2026)
von: Lagerkvist, Victor, et al.
Veröffentlicht: (2026)
IECZ-III: Hardcore Condensation Lift with Size-Aware Invariants
von: Lela, Marko
Veröffentlicht: (2025)
von: Lela, Marko
Veröffentlicht: (2025)
Sum-of-squares lower bounds for Non-Gaussian Component Analysis
von: Diakonikolas, Ilias, et al.
Veröffentlicht: (2024)
von: Diakonikolas, Ilias, et al.
Veröffentlicht: (2024)
Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
von: Chen, Yijia, et al.
Veröffentlicht: (2023)
von: Chen, Yijia, et al.
Veröffentlicht: (2023)
Treewidth Inapproximability and Tight ETH Lower Bound
von: Bonnet, Édouard
Veröffentlicht: (2024)
von: Bonnet, Édouard
Veröffentlicht: (2024)
Completeness classes in algebraic complexity theory
von: Bürgisser, Peter
Veröffentlicht: (2024)
von: Bürgisser, Peter
Veröffentlicht: (2024)
Folding One Polyhedral Metric Graph into Another
von: Chung, Lily, et al.
Veröffentlicht: (2024)
von: Chung, Lily, et al.
Veröffentlicht: (2024)
Hive is PSPACE-Hard
von: Andel, Daniël, et al.
Veröffentlicht: (2025)
von: Andel, Daniël, et al.
Veröffentlicht: (2025)
The Word Problem for Products of Symmetric Groups
von: Simon, Hans U.
Veröffentlicht: (2025)
von: Simon, Hans U.
Veröffentlicht: (2025)
The framework to unify all complexity dichotomy theorems for Boolean tensor networks
von: Xia, Mingji
Veröffentlicht: (2026)
von: Xia, Mingji
Veröffentlicht: (2026)
The Quantum Query Complexity of Finding a Tarski Fixed Point on the 2D Grid
von: Phillips, Reed
Veröffentlicht: (2026)
von: Phillips, Reed
Veröffentlicht: (2026)
Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
von: von Liechtenstein, Maximilian R. P.
Veröffentlicht: (2025)
von: von Liechtenstein, Maximilian R. P.
Veröffentlicht: (2025)
On bounded depth proofs for Tseitin formulas on the grid; revisited
von: Håstad, Johan, et al.
Veröffentlicht: (2022)
von: Håstad, Johan, et al.
Veröffentlicht: (2022)
Two-player Domino games
von: de Menibus, Benjamin Hellouin, et al.
Veröffentlicht: (2023)
von: de Menibus, Benjamin Hellouin, et al.
Veröffentlicht: (2023)
Smaller Depth-2 Linear Circuits for Disjointness Matrices
von: Ye, Lixi
Veröffentlicht: (2026)
von: Ye, Lixi
Veröffentlicht: (2026)
An SoS Entropy Dichotomy via Windowed Hypercontractivity
von: Lela, Marko
Veröffentlicht: (2025)
von: Lela, Marko
Veröffentlicht: (2025)
Graph polynomials: some questions on the edge
von: Farr, Graham, et al.
Veröffentlicht: (2024)
von: Farr, Graham, et al.
Veröffentlicht: (2024)
Continuous Flattening and Reversing of Convex Polyhedral Linkages
von: Demaine, Erik D., et al.
Veröffentlicht: (2024)
von: Demaine, Erik D., et al.
Veröffentlicht: (2024)
Quantum Time-Space Tradeoffs for Matrix Problems
von: Beame, Paul, et al.
Veröffentlicht: (2024)
von: Beame, Paul, et al.
Veröffentlicht: (2024)
ETH-Tight Complexity of Optimal Morse Matching on Bounded-Treewidth Complexes
von: Philip, Geevarghese, et al.
Veröffentlicht: (2026)
von: Philip, Geevarghese, et al.
Veröffentlicht: (2026)
On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman
von: Grochow, Joshua A., et al.
Veröffentlicht: (2021)
von: Grochow, Joshua A., et al.
Veröffentlicht: (2021)
Count-Free Weisfeiler--Leman and Group Isomorphism
von: Collins, Nathaniel A., et al.
Veröffentlicht: (2022)
von: Collins, Nathaniel A., et al.
Veröffentlicht: (2022)
Exact and Approximate High-Multiplicity Scheduling on Identical Machines
von: Jansen, Klaus, et al.
Veröffentlicht: (2024)
von: Jansen, Klaus, et al.
Veröffentlicht: (2024)
Induced Disjoint Paths Without an Induced Minor
von: Aboulker, Pierre, et al.
Veröffentlicht: (2025)
von: Aboulker, Pierre, et al.
Veröffentlicht: (2025)
The Computational Complexity of Variational Inequalities and Applications in Game Theory
von: Kapron, Bruce M., et al.
Veröffentlicht: (2024)
von: Kapron, Bruce M., et al.
Veröffentlicht: (2024)
Computational Hardness of Reinforcement Learning with Partial $q^π$-Realizability
von: Karimi, Shayan, et al.
Veröffentlicht: (2025)
von: Karimi, Shayan, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
NP-Completeness Proofs of All or Nothing, Water Walk, and Remembered Length Using the T-Metacell Framework
von: Eua-anant, Pakapim, et al.
Veröffentlicht: (2025) -
How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
von: Levin, Leonid A.
Veröffentlicht: (2022) -
Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
von: Hakoniemi, Tuomas, et al.
Veröffentlicht: (2024) -
Explicit separations between randomized and deterministic Number-on-Forehead communication
von: Kelley, Zander, et al.
Veröffentlicht: (2023) -
DAG Scheduling in the BSP Model
von: Papp, Pál András, et al.
Veröffentlicht: (2023)