影响
发表于 2025-3-23 12:01:40
Real-Time Reversible One-Way Cellular Automatamata. Additionally, we obtain that the corresponding language class is closed under Boolean operations, and we prove the undecidability of several decidability questions. Finally, it is shown that the reversibility of an arbitrary real-time circular one-way cellular automaton is undecidable as well.
Comprise
发表于 2025-3-23 14:24:28
http://reply.papertrans.cn/23/2230/222989/222989_12.png
aquatic
发表于 2025-3-23 21:39:51
https://doi.org/10.1007/978-3-319-18812-6Automata networks; Complexity class; Computational complexity; Cycle equivalence; Decidability; Discrete
愉快吗
发表于 2025-3-23 23:57:34
http://reply.papertrans.cn/23/2230/222989/222989_14.png
Mortar
发表于 2025-3-24 02:52:51
http://reply.papertrans.cn/23/2230/222989/222989_15.png
CRACK
发表于 2025-3-24 06:48:20
https://doi.org/10.1007/978-3-322-84184-1In this article, we study countable sofic shifts of Cantor-Bendixson rank at most 2. We prove that their conjugacy problem is complete for ., the complexity class of graph isomorphism, and that the existence problems of block maps, factor maps and embeddings are .-complete.
灰姑娘
发表于 2025-3-24 13:39:26
Computational Complexity of the Avalanche Problem on One Dimensional Kadanoff SandpilesIn this paper we prove that the general . . is in . for the Kadanoff sandpile model in one dimension, answering an open problem of [.]. Thus adding one more item to the (slowly) growing list of dimension sensitive problems since in higher dimensions the problem is .-complete (for monotone sandpiles).
Myofibrils
发表于 2025-3-24 16:41:33
Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2In this article, we study countable sofic shifts of Cantor-Bendixson rank at most 2. We prove that their conjugacy problem is complete for ., the complexity class of graph isomorphism, and that the existence problems of block maps, factor maps and embeddings are .-complete.
高脚酒杯
发表于 2025-3-24 20:11:05
http://reply.papertrans.cn/23/2230/222989/222989_19.png
窃喜
发表于 2025-3-24 23:20:35
http://reply.papertrans.cn/23/2230/222989/222989_20.png