Computational complexity studies of synchronous Boolean finite dynamical systems on directed graphs.
Mitsunori OgiharaKei UchizawaPublished in: Inf. Comput. (2017)
Keyphrases
- dynamical systems
- directed graph
- computational complexity
- differential equations
- dynamic systems
- random walk
- qualitative simulation
- directed acyclic graph
- dynamical behavior
- phase space
- state space
- undirected graph
- linear systems
- control theory
- predictive state representations
- np complete
- strongly connected
- agent environment
- nonlinear dynamical systems
- partially observable
- special case
- disjoint paths
- discrete dynamical systems
- nonlinear dynamics
- np hard
- spatio temporal