Computational complexity of the stability problem for elementary cellular automata
dc.contributor.author | Goles E. | |
dc.contributor.author | Lobos F. | |
dc.contributor.author | Montealegre P. | |
dc.contributor.author | Ruivo E.L.P. | |
dc.contributor.author | De Oliveira P.P.B. | |
dc.date.accessioned | 2024-03-12T23:49:39Z | |
dc.date.available | 2024-03-12T23:49:39Z | |
dc.date.issued | 2020 | |
dc.description.abstract | © 2020 Old City Publishing, Inc.Given an elementary cellular automaton and a cell v, we define the stability decision problem as the determination of whether or not the state of cell v will ever change, at least once, during the time evolution of the rule, over a finite input configuration. Here, we perform the study of the entire elementary cellular automata rule space, for the two possible decision cases of the problem, namely, changes in v from state 0 to 1 (0 → 1), and the other way round (1 → 0). Out of the 256 elementary cellular automata, we show that for all of them, at least one of the two decision problems is in the NC complexity class. | |
dc.description.firstpage | 261 | |
dc.description.issuenumber | 4 | |
dc.description.lastpage | 304 | |
dc.description.volume | 15 | |
dc.identifier.issn | 1557-5977 | |
dc.identifier.uri | https://dspace.mackenzie.br/handle/10899/35075 | |
dc.relation.ispartof | Journal of Cellular Automata | |
dc.rights | Acesso Restrito | |
dc.subject.otherlanguage | Computational complexity | |
dc.subject.otherlanguage | Decision problem | |
dc.subject.otherlanguage | Elementary cellular automata | |
dc.subject.otherlanguage | One-dimensional cellular automata | |
dc.subject.otherlanguage | Stability problem | |
dc.title | Computational complexity of the stability problem for elementary cellular automata | |
dc.type | Artigo | |
local.scopus.citations | 0 | |
local.scopus.eid | 2-s2.0-85092943279 | |
local.scopus.subject | Complexity class | |
local.scopus.subject | Decision problems | |
local.scopus.subject | Elementary cellular automaton | |
local.scopus.subject | Stability problem | |
local.scopus.subject | Time evolutions | |
local.scopus.updated | 2024-05-01 | |
local.scopus.url | https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85092943279&origin=inward |