:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fritsch, Timo, Künnemann, Marvin, Redzic, Mirza, Stieß, Julian
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computational Complexity F.2.2
Online-Zugang:	https://arxiv.org/abs/2605.10778
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs
von: Fischer, Nick, et al.
Veröffentlicht: (2025)

Fine-Grained Complexity of Multiple Domination and Dominating Patterns in Sparse Graphs
von: Künnemann, Marvin, et al.
Veröffentlicht: (2024)

Fine-Grained Classification Of Detecting Dominating Patterns
von: Dransfeld, Jonathan, et al.
Veröffentlicht: (2025)

The framework to unify all complexity dichotomy theorems for Boolean tensor networks
von: Xia, Mingji
Veröffentlicht: (2026)

Notes on CSPs and Polymorphisms
von: Brady, Zarathustra
Veröffentlicht: (2022)

On Minimum Maximal Distance-k Matchings
von: Kartynnik, Yury, et al.
Veröffentlicht: (2016)

Thin Tree Verification is coNP-Complete
von: Moayyedi, Alice
Veröffentlicht: (2025)

NP-Completeness Proofs of Puzzles using the T-Metacell Framework
von: Kiatchaipipat, Nattapol, et al.
Veröffentlicht: (2025)

Efficient Isolation of Perfect Matching in O(log n) Genus Bipartite Graphs
von: Gupta, Chetan, et al.
Veröffentlicht: (2025)

Fast Simulation of Cellular Automata by Self-Composition
von: Natal, Joseph, et al.
Veröffentlicht: (2024)

A Polynomial Time Algorithm for 3SAT
von: Quigley, Robert
Veröffentlicht: (2024)

SARRIGUREN: a polynomial-time complete algorithm for random $k$-SAT with relatively dense clauses
von: Sarriguren, Alfredo Goñi
Veröffentlicht: (2024)

Approximate all-pairs Hamming distances and 0-1 matrix multiplication
von: Kowaluk, Miroslaw, et al.
Veröffentlicht: (2025)

Complexity Classification Transfer for CSPs via Algebraic Products
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2022)

On the Satisfaction Probabilities of $k$-CNF Formulas
von: Tantau, Till
Veröffentlicht: (2022)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
von: Knop, Dušan, et al.
Veröffentlicht: (2017)

Direct Sums for Parity Decision Trees
von: Besselman, Tyler, et al.
Veröffentlicht: (2024)

When Votes Change and Committees Should (Not)
von: Bredereck, Robert, et al.
Veröffentlicht: (2020)

On the Complexity of Determinations
von: Hellerstein, Joseph M.
Veröffentlicht: (2026)

A Decomposition Approach to the Weighted $k$-server Problem
von: Ayyadevara, Nikhil, et al.
Veröffentlicht: (2024)

The complexity of finding coset-generating polymorphisms and the promise metaproblem
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2026)

A Compendium of Subset Search Problems and Reductions relating to the Parsimonious Property
von: Bartlett, Celina Janet
Veröffentlicht: (2025)

A Fine-Grained Complexity View on Propositional Abduction -- Algorithms and Lower Bounds
von: Lagerkvist, Victor, et al.
Veröffentlicht: (2025)

Graph Threading with Turn Costs
von: Demaine, Erik D., et al.
Veröffentlicht: (2024)

Parameterized Approximation Schemes for Steiner Trees with Small Number of Steiner Vertices
von: Dvořák, Pavel, et al.
Veröffentlicht: (2017)

Realizing temporal graphs from fastest travel times
von: Klobas, Nina, et al.
Veröffentlicht: (2023)

A Piecewise Approach for the Analysis of Exact Algorithms
von: Clinch, Katie, et al.
Veröffentlicht: (2024)

Proving Unsatisfiability with Hitting Formulas
von: Filmus, Yuval, et al.
Veröffentlicht: (2023)

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

On Solving Problems of Substantially Super-linear Complexity in $N^{o(1)}$ Rounds in the MPC Model
von: Lingas, Andrzej
Veröffentlicht: (2026)

Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)
von: van Brügge, Jan
Veröffentlicht: (2024)

Almost Tight Approximation Hardness for Single-Source Directed k-Edge-Connectivity
von: Liao, Chao, et al.
Veröffentlicht: (2022)

Testing Isomorphism of Boolean Functions over Finite Abelian Groups
von: Datta, Swarnalipa, et al.
Veröffentlicht: (2025)

Complexity of Firefighting on Graphs
von: Althoetmar, Julius, et al.
Veröffentlicht: (2025)

The Quantum Query Complexity of Finding a Tarski Fixed Point on the 2D Grid
von: Phillips, Reed
Veröffentlicht: (2026)

The Word Problem for Products of Symmetric Groups
von: Simon, Hans U.
Veröffentlicht: (2025)

Parameterized Complexity of Biclique Contraction and Balanced Biclique Contraction
von: Krithika, R., et al.
Veröffentlicht: (2023)

Identity Testing for Circuits with Exponentiation Gates
von: Li, Jiatu, et al.
Veröffentlicht: (2025)

Spanning Trees Minimizing Branching Costs
von: Gargano, Luisa, et al.
Veröffentlicht: (2024)

On the difficulty of order constrained pattern matching with applications to feature matching based malware detection
von: Liyanage, Adiesha, et al.
Veröffentlicht: (2025)