On the complexity of the generalized Q2R automaton

08/06/2021
by   Eric Goles, et al.
0

We study the dynamic and complexity of the generalized Q2R automaton. We show the existence of non-polynomial cycles as well as its capability to simulate with the synchronous update the classical version of the automaton updated under a block sequential update scheme. Furthermore, we show that the decision problem consisting in determine if a given node in the network changes its state is P-Hard.

READ FULL TEXT
research
03/21/2022

Complexity of limit cycles with block-sequential update schedules in conjunctive networks

In this paper, we deal the following decision problem: given a conjuncti...
research
01/21/2020

Complexity of limit-cycle problems in Boolean networks

Boolean networks are a general model of interacting entities, with appli...
research
04/26/2023

Turning block-sequential automata networks into smaller parallel networks with isomorphic limit dynamics

We state an algorithm that, given an automata network and a block-sequen...
research
01/24/2020

Simulation of automata networks

An automata network is a finite graph where each node holds a state from...
research
07/09/2023

Vector Commitments with Efficient Updates

Dynamic vector commitments that enable local updates of opening proofs h...
research
05/18/2021

On Symmetry versus Asynchronism: at the Edge of Universality in Automata Networks

An automata network (AN) is a finite graph where each node holds a state...
research
08/30/2018

Most Permissive Semantics of Boolean Networks

As shown in [3], the usual update modes of Boolean networks (BNs), inclu...

Please sign up or login with your details

Forgot password? Click here to reset