Buchumschlag

Computational Complexity of Physical Counting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Simas, Tristan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computational Complexity Logic in Computer Science Mathematical Physics Category Theory 82B35, 20C35, 68Q15, 68Q17, 94A15, 94A17, 03B35, 82B31, 20B30 F.1.3; F.2.2; G.2.1; H.1.1; I.2.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
von: Zhang, Manqing, et al.
Veröffentlicht: (2026)

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

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Generalisations of Matrix Partitions : Complexity and Obstructions
von: Barsukov, Alexey, et al.
Veröffentlicht: (2021)

Complexities of Well-Quasi-Ordered Substructural Logics
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

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

Formalizing Pick's Theorem in Isabelle/HOL
von: Binder, Sage, et al.
Veröffentlicht: (2024)

Domains, Information Frames, and Their Logic
von: Spreen, Dieter
Veröffentlicht: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
von: Ramos, Arthur, et al.
Veröffentlicht: (2025)

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

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

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
von: Bannach, Max, et al.
Veröffentlicht: (2025)

Nearly Tight Lower Bounds for Relaxed Locally Decodable Codes via Robust Daisies
von: Goldberg, Guy, et al.
Veröffentlicht: (2025)

Count-Free Weisfeiler--Leman and Group Isomorphism
von: Collins, Nathaniel A., et al.
Veröffentlicht: (2022)

Locality, Consistency, and the Tractability Frontier
von: Simas, Tristan
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)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2021)

On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman
von: Grochow, Joshua A., et al.
Veröffentlicht: (2021)

The Solver's Paradox in Formal Problem Spaces
von: Rosko, Milan
Veröffentlicht: (2025)

Virasoro algebra and Sugawara constructions formally in Lean
von: Kytölä, Kalle
Veröffentlicht: (2025)

Nominal techniques as an Agda library
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2026)

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

Conserved active information
von: Chen, Yanchen, et al.
Veröffentlicht: (2025)

A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
von: Tang, Jian-Gang
Veröffentlicht: (2025)

Continuous and algebraic domains in univalent foundations
von: de Jong, Tom, et al.
Veröffentlicht: (2024)

Completeness classes in algebraic complexity theory
von: Bürgisser, Peter
Veröffentlicht: (2024)

Approximate Distributed Coded Computing: Polynomial Codes and Randomized Sketching
von: Charalambides, Neophytos, et al.
Veröffentlicht: (2026)

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

Smaller Depth-2 Linear Circuits for Disjointness Matrices
von: Ye, Lixi
Veröffentlicht: (2026)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
von: Bruse, Florian, et al.
Veröffentlicht: (2026)

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

A novel framework for systematic propositional formula simplification based on existential graphs
von: de Mas, Jordina Francès, et al.
Veröffentlicht: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
von: Sochański, Michał, et al.
Veröffentlicht: (2025)

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

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

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

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)