Copertina

Classification of Local Optimization Problems in Directed Cycles

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Boudier, Thomas, Kuhn, Fabian, Modanese, Augusto, Stimpert, Ronja, Suomela, Jukka
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Distributed, Parallel, and Cluster Computing Computational Complexity Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

2-Coloring Cycles in One Round
di: Flin, Maxime, et al.
Pubblicazione: (2026)

Verifying Randomized Consensus Protocols with Common Coins
di: Gao, Song, et al.
Pubblicazione: (2024)

State machines for large scale computer software and systems
di: Yodaiken, Victor
Pubblicazione: (2016)

Population Protocols over Ordered Agents
di: Blondin, Michael, et al.
Pubblicazione: (2026)

The Black Ninjas and the Sniper: On Robustness of Population Protocols
di: Lossin, Benno, et al.
Pubblicazione: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
di: Wang, Chao, et al.
Pubblicazione: (2026)

Logical Synchrony Networks: A formal model for deterministic distribution
di: Kenwright, Logan, et al.
Pubblicazione: (2024)

Synchronizability of Communicating Finite State Machines is not Decidable
di: Finkel, Alain, et al.
Pubblicazione: (2017)

Implementability of Global Distributed Protocols modulo Network Architectures
di: Li, Elaine, et al.
Pubblicazione: (2026)

Complete Multiparty Session Type Projection with Automata
di: Li, Elaine, et al.
Pubblicazione: (2023)

Smart Casual Verification of the Confidential Consortium Framework
di: Howard, Heidi, et al.
Pubblicazione: (2024)

On defining and modeling context-awareness
di: Rodis, Panteleimon
Pubblicazione: (2026)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
di: Coget, Isabelle, et al.
Pubblicazione: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
di: Guillou, Lucie, et al.
Pubblicazione: (2023)

Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
di: Goles, Eric, et al.
Pubblicazione: (2026)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
di: Ghasemirad, Shabnam, et al.
Pubblicazione: (2024)

Promoting Simple Agents: Ensemble Methods for Event-Log Prediction
di: Bollig, Benedikt, et al.
Pubblicazione: (2026)

Deciding Serializability in Network Systems
di: Amir, Guy, et al.
Pubblicazione: (2026)

Mixed Choice in Asynchronous Multiparty Session Types
di: Bocchi, Laura, et al.
Pubblicazione: (2026)

Types for Grassroots Logic Programs
di: Shapiro, Ehud
Pubblicazione: (2026)

Is a LOCAL algorithm computable?
di: Cruciani, Antonio, et al.
Pubblicazione: (2026)

Decidability Issues for Petri Nets -- a survey
di: Esparza, Javier, et al.
Pubblicazione: (2024)

Trading Determinism for Noncommutativity in Edmonds' Problem
di: Arvind, V., et al.
Pubblicazione: (2024)

LLM-based policy generation for intent-based management of applications
di: Dzeparoska, Kristina, et al.
Pubblicazione: (2024)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
di: Yamakami, Tomoyuki
Pubblicazione: (2024)

New Limits on Distributed Quantum Advantage: Dequantizing Linear Programs
di: Balliu, Alkida, et al.
Pubblicazione: (2025)

Shared Randomness Helps with Local Distributed Problems
di: Balliu, Alkida, et al.
Pubblicazione: (2024)

Orientation does not help with 3-coloring a grid in online-LOCAL
di: Boudier, Thomas, et al.
Pubblicazione: (2025)

Distributed Quantum Advantage for Local Problems
di: Balliu, Alkida, et al.
Pubblicazione: (2024)

Distributed Algorithms for Potential Problems
di: Balliu, Alkida, et al.
Pubblicazione: (2025)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
di: Moreira, Nelma, et al.
Pubblicazione: (2025)

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

On the complexity of computing Strahler numbers
di: Ganardi, Moses, et al.
Pubblicazione: (2025)

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions
di: Podolskii, Vladimir, et al.
Pubblicazione: (2024)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
di: Uezato, Yuya
Pubblicazione: (2024)

Maximal Length Cellular Automata : A Survey
di: Adak, Sumit, et al.
Pubblicazione: (2024)

Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error
di: Gezer, M. Utkan, et al.
Pubblicazione: (2020)

Visibly Recursive Automata
di: Dubrulle, Kévin, et al.
Pubblicazione: (2026)

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

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
di: Haneef, Farah
Pubblicazione: (2024)