Image de couverture de livre

Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gezer, M. Utkan, Say, A. C. Cem
Format:	Preprint
Publié:	2020
Sujets:	Computational Complexity Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Unconditional proofs of quantumness between small-space machines
par: Say, A. C. Cem, et autres
Publié: (2024)

Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
par: Chen, Zeyu, et autres
Publié: (2025)

Between SC and LOGDCFL: Families of Languages Accepted by Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata
par: Yamakami, Tomoyuki
Publié: (2022)

Visibly Recursive Automata
par: Dubrulle, Kévin, et autres
Publié: (2026)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
par: Moreira, Nelma, et autres
Publié: (2025)

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
par: Yamakami, Tomoyuki
Publié: (2024)

On the complexity of computing Strahler numbers
par: Ganardi, Moses, et autres
Publié: (2025)

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions
par: Podolskii, Vladimir, et autres
Publié: (2024)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
par: Uezato, Yuya
Publié: (2024)

Maximal Length Cellular Automata : A Survey
par: Adak, Sumit, et autres
Publié: (2024)

Trading Determinism for Noncommutativity in Edmonds' Problem
par: Arvind, V., et autres
Publié: (2024)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
par: Haneef, Farah
Publié: (2024)

Entropy of pebble automata and space complexity
par: Montoya, J. Andres
Publié: (2026)

Complexity of Unary Exclusive Nondeterministic Finite Automata
par: Kutrib, Martin, et autres
Publié: (2024)

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata
par: Yamakami, Tomoyuki
Publié: (2023)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
par: Yamakami, Tomoyuki
Publié: (2021)

Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)
par: Manea, Florin, et autres
Publié: (2024)

Studying homing and synchronizing sequences for Timed Finite State Machines with output delays
par: Vinarskii, Evgenii, et autres
Publié: (2025)

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata
par: Yamakami, Tomoyuki
Publié: (2021)

Complexity of Fungal Automaton Prediction
par: Formenti, Enrico, et autres
Publié: (2026)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
par: Bozga, Marius, et autres
Publié: (2026)

Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits
par: Yamakami, Tomoyuki
Publié: (2024)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
par: Acampora, Renato, et autres
Publié: (2024)

Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
par: Goles, Eric, et autres
Publié: (2026)

Matching walks that are minimal with respect to edge inclusion
par: Marsault, Victor
Publié: (2024)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
par: Yamakami, Tomoyuki
Publié: (2019)

The Illusion of State in State-Space Models
par: Merrill, William, et autres
Publié: (2024)

Time complexity for deterministic string machines
par: Cataltepe, Ali, et autres
Publié: (2024)

Membership and Conjugacy in Inverse Semigroups
par: Fleischer, Lukas, et autres
Publié: (2025)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
par: Yamakami, Tomoyuki
Publié: (2024)

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
par: Yamakami, Tomoyuki
Publié: (2020)

An Invitation to Universality in Physics, Computer Science, and Beyond
par: Gonda, Tomáš, et autres
Publié: (2024)

Exact Expressive Power of Transformers with Padding
par: Merrill, William, et autres
Publié: (2025)

Computability of Agentic Systems
par: Viriyasuthee, Chatavut
Publié: (2026)

QIP $ \subseteq $ AM(2QCFA)
par: Yakaryılmaz, Abuzer
Publié: (2025)

Transformers in Uniform TC$^0$
par: Chiang, David
Publié: (2024)

Classical and quantum Merlin-Arthur automata
par: Yakaryılmaz, Abuzer
Publié: (2022)

The Complexity of Nested Reset Counter Systems
par: Balasubramanian, A. R., et autres
Publié: (2026)

Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
par: Silva, Jorge Miguel
Publié: (2026)

Nets-within-Nets through the Lens of Data Nets
par: Di Cosmo, Francesco, et autres
Publié: (2025)