Predecessor and permutation existence problems for sequential dynamical systems
- Christopher L.
- Harry B.
- Madhav V.
- Sekharipuram S.
- Daniel J.
- Richard E.
Motivated by the aim to build computer simulations for large scale systems [BMR99, BR99], we study a class of finite discrete dynamical systems called Sequential Dynamical Systems (SDSs). An SDS S is a triple (G, F, {pi}), where (i) G(V, E) is an undirected graph with n nodes with each node having a 1-bit state, (ii) F = {l_brace}f{sub 1}, f{sub 2}, ..., f{sub n}{r_brace}, with f{sub i} denoting a symmetric Boolean function associated with node v{sub i} and (iii) {pi} is a permutation of (or total order on) the nodes in V. A configuration of an SDS is a bit vector (b{sub 1}, b{sub 2}, ..., b{sub n}), where b{sub i} is the value of the state of node v{sub i}. A single SDS transition from one configuration to another is obtained by updating the states of the nodes by evaluating the function associated with each of them in the order given by {pi}. Here, we address the complexity of two problems for SDSs. Given an SDS S and a configuration C, the PREDECESSOR EXISTENCE (or PRE) problem is to determine whether there is a configuration C{prime} such that S goes from C{prime} to C in one step. We show that the PRE problem NP-complete for several simple classes of SDSs (e.g. SDSs for which the set of node functions is {l_brace}AND, OR{r_brace}, SDSs whose underlying graphs are planar). We also identify several classes of SDSs for which the PRE problem can be solved efficiently (e.g. SDSs where each node function is from {l_brace}OR, NOR{r_brace} or {l_brace}AND, NAND{r_brace} or {l_brace}XOR, XNOR{r_brace}). We also show that the PRE problem is solvable in polynomial time when the function at each node is linear or when the underlying graph G is of bounded treewidth. Many of the easiness results extend to the case where we want to find an ancestor configuration that precedes a given configuration by a polynomial number of steps. Given the underlying graph G(V, E), and two configurations C and C{prime} of an SDS S, the PERMUTATION EXISTENCE (or PME) problem is to determine whether there is a permutation of nodes that takes S from C{prime} to C in one step. We show that the PME problem is NP-complete even when the function associated with each node is a simple-threshold function. We also show that a generalized version of the PME (GEN-PME) problem is NP-complete for SDSs where each node function is NOR and the underlying graph has a maximum node degree of 3. When each node computes the OR function or when each node computes the AND function, we show that the GEN-PME problem is solvable in polynomial time. Our results extend some of the earlier results by Sutner [Su95] and Green [Gr87] on the complexity of the PREDECESSOR EXISTENCE problem for 1-dimensional cellular automata.
- Research Organization:
- Los Alamos National Laboratory (LANL), Los Alamos, NM (United States)
- Sponsoring Organization:
- USDOE
- OSTI ID:
- 975134
- Report Number(s):
- LA-UR-01-0668; LA-UR-01-668; TRN: US201008%%93
- Resource Relation:
- Journal Volume: DMTCS Proceedings vol. AB,...; Journal Issue: Proceedings; Conference: "Submitted to: International Conference on Symbolic and Algebraic Computations, University of Western Ontario, London, Ontario, Canada, January 2001."
- Country of Publication:
- United States
- Language:
- English
Similar Records
Analysis problems for sequential dynamical systems and communicating state machines
Sequential dynamical systems with threshold functions.