Negative results on density determination with one-dimensional cellular automata with block-sequential asynchronous updates

Página do item simplificado
dc.contributor.authorRuivo E.
dc.contributor.authorPerrot K.
dc.contributor.authorBalbi P.P.
dc.contributor.authorPerrotin P.
dc.date.accessioned2024-10-01T06:10:14Z
dc.date.available2024-10-01T06:10:14Z
dc.date.issued2024
dc.description.abstract© 2024 Elsevier B.V.A large number of research efforts have been made in trying to solve global decision problems with cellular automata by means of their cells reaching a distributed consensus via their local action. Among them, the determination of the most frequent state in configurations with arbitrary size, i.e., the density classification task, has been the most widely approached benchmark problem. The literature abounds with cases demonstrating that, depending on how it is formulated, a solution can be shown to exist or not. Here we address the problem in terms of deterministic, block-sequential asynchronous updates, over cyclic configurations, by which the possibility of a solution remains open. Our main results are negative in terms of the possibility of solving the problem with such formulation, encompassing the cases of any cellular automaton with any sequential update, and any elementary cellular automaton with any block-sequential update; furthermore, we uncover some properties that any potential solution with block-sequential update should have in order for it to be a candidate to solving the problem. Incidentally, we also give a new, very simple proof of the impossibility of solving the problem with any synchronous rule.
dc.description.volume82
dc.identifier.doi10.1016/j.jocs.2024.102430
dc.identifier.issnNone
dc.identifier.urihttps://dspace.mackenzie.br/handle/10899/39464
dc.relation.ispartofJournal of Computational Science
dc.rightsAcesso Restrito
dc.subject.otherlanguageAsynchronism
dc.subject.otherlanguageBlock-sequential updates
dc.subject.otherlanguageDecision problem
dc.subject.otherlanguageDensity classification task
dc.subject.otherlanguageDistributed consensus
dc.subject.otherlanguageElementary cellular automata
dc.titleNegative results on density determination with one-dimensional cellular automata with block-sequential asynchronous updates
dc.typeArtigo
local.scopus.citations0
local.scopus.eid2-s2.0-85202947608
local.scopus.subjectAsynchronism
local.scopus.subjectAsynchronous update
local.scopus.subjectBlock-sequential
local.scopus.subjectBlock-sequential update
local.scopus.subjectCellular automatons
local.scopus.subjectDecision problems
local.scopus.subjectDensity classification task
local.scopus.subjectDistributed consensus
local.scopus.subjectElementary cellular automaton
local.scopus.subjectSequential update
local.scopus.updated2025-04-01
local.scopus.urlhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85202947608&origin=inward
Arquivos
Coleções
Artigos de periódico