Elsevier

Theoretical Computer Science

Volume 562, 11 January 2015, Pages 406-418
Theoretical Computer Science

The predecessor-existence problem for k-reversible processes

https://doi.org/10.1016/j.tcs.2014.10.018Get rights and content
Under an Elsevier user license
open archive

Abstract

For k1, we consider the graph dynamical system known as a k-reversible process. In such a process, each vertex in the graph has one of two possible states at each discrete time. Each vertex changes its state between the present time and the next if and only if it currently has at least k neighbors in a state different than its own. Given a k-reversible process and a configuration of states assigned to the vertices, the Predecessor Existence problem consists of determining whether this configuration can be generated by the process from another configuration within exactly one time step. We can also extend the problem by asking for the number of configurations from which a given configuration is reachable within one time step. Predecessor Existence can be solved in polynomial time for k=1, but for k>1 we show that it is NP-complete for bipartite graphs. When the graph in question is a tree we show how to solve it in O(n) time and how to count the number of predecessor configurations in O(n2) time. We also solve Predecessor Existence efficiently for the specific case of 2-reversible processes when the maximum degree of a vertex in the graph is no greater than 3. For this case we present an algorithm that runs in O(n) time.

Keywords

k-Reversible processes
Garden-of-Eden configurations
Predecessor-existence problem
Graph dynamical systems

Cited by (0)