Computational complexity of the stability problem for elementary cellular automata

dc.contributor.authorGoles E.
dc.contributor.authorLobos F.
dc.contributor.authorMontealegre P.
dc.contributor.authorRuivo E.L.P.
dc.contributor.authorDe Oliveira P.P.B.
dc.date.accessioned2024-03-12T23:49:39Z
dc.date.available2024-03-12T23:49:39Z
dc.date.issued2020
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.firstpage261
dc.description.issuenumber4
dc.description.lastpage304
dc.description.volume15
dc.identifier.issn1557-5977
dc.identifier.urihttps://dspace.mackenzie.br/handle/10899/35075
dc.relation.ispartofJournal of Cellular Automata
dc.rightsAcesso Restrito
dc.subject.otherlanguageComputational complexity
dc.subject.otherlanguageDecision problem
dc.subject.otherlanguageElementary cellular automata
dc.subject.otherlanguageOne-dimensional cellular automata
dc.subject.otherlanguageStability problem
dc.titleComputational complexity of the stability problem for elementary cellular automata
dc.typeArtigo
local.scopus.citations0
local.scopus.eid2-s2.0-85092943279
local.scopus.subjectComplexity class
local.scopus.subjectDecision problems
local.scopus.subjectElementary cellular automaton
local.scopus.subjectStability problem
local.scopus.subjectTime evolutions
local.scopus.updated2024-05-01
local.scopus.urlhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85092943279&origin=inward
Arquivos