Generalisation of a synchronous solution of the parity problem on cyclic configurations over a non-circulant graph

Simple item page
dc.contributor.authorFaria F.
dc.contributor.authorRuivo E.
dc.contributor.authorBalbi P.P.
dc.date.accessioned2024-05-01T06:11:37Z
dc.date.available2024-05-01T06:11:37Z
dc.date.issued2024
dc.description.abstract© 2024 Elsevier Inc.The parity problem is a classical binary benchmark for addressing the computational ability and limitations of automata networks. It refers to conceiving a local rule to allow deciding whether the number of 1-states in the nodes of an arbitrary network is an odd or even number, without global access to the nodes. In its standard formulation, the automata network has an odd number of nodes whose states, arranged as a cyclic configuration, should converge to a fixed point of all 0s, if the initial configuration has an even number of 1s, or to a fixed point of all 1s, otherwise. It has been shown that a local rule alone is able to solve the problem in this formulation, including a synchronous solution we have recently shown, totally based on the local parity rule of the cellular automata elementary space (number 150), with a certain pattern of connection between the nodes. Here, we generalise this solution, showing how to construct many others, combining rule 150 with rules 170 and 240, which are the local shifts of the same space, in such a way that the original solution is just one among countless possibilities. Such solutions may have different convergence times for specific configurations, but are equivalent in the context of all configurations of a given size; also, various solutions form symmetric pairs, in terms of the actual rules they used. The solutions were evaluated computationally and presented here without their formal proofs, but empirical evidences strongly suggest that they can be obtained by the same kind of technique we used in the solution exclusively with rule 150.
dc.description.volume666
dc.identifier.doi10.1016/j.ins.2024.120387
dc.identifier.issnNone
dc.identifier.urihttps://dspace.mackenzie.br/handle/10899/38569
dc.relation.ispartofInformation Sciences
dc.rightsAcesso Restrito
dc.subject.otherlanguageAutomata network
dc.subject.otherlanguageDecision problem
dc.subject.otherlanguageDistributed consensus
dc.subject.otherlanguageElementary cellular automata
dc.subject.otherlanguageEmergent computation
dc.subject.otherlanguageParity problem
dc.titleGeneralisation of a synchronous solution of the parity problem on cyclic configurations over a non-circulant graph
dc.typeArtigo
local.scopus.citations0
local.scopus.eid2-s2.0-85186960103
local.scopus.subjectAutomata networks
local.scopus.subjectCirculant graphs
local.scopus.subjectDecision problems
local.scopus.subjectDistributed consensus
local.scopus.subjectElementary cellular automaton
local.scopus.subjectEmergent computation
local.scopus.subjectFixed points
local.scopus.subjectGeneralisation
local.scopus.subjectLocal rules
local.scopus.subjectParity problems
local.scopus.updated2025-04-01
local.scopus.urlhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85186960103&origin=inward
Files
Collections
Artigos de periódico