On the computational complexity of finite cellular automata
Journal of Computer and System Sciences
Growing artificial societies: social science from the bottom up
Growing artificial societies: social science from the bottom up
The Complexity of Planar Counting Problems
SIAM Journal on Computing
Elements of a theory of computer simulation I: sequential CA over random graphs
Applied Mathematics and Computation
Elements of a theory of simulation II: sequential dynamical systems
Applied Mathematics and Computation
A brief history of cellular automata
ACM Computing Surveys (CSUR)
Discrete, sequential dynamical systems
Discrete Mathematics
Introduction to Multiagent Systems
Introduction to Multiagent Systems
On the complexity of verifying concurrent transition systems
Information and Computation
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Treewidth: Algorithmoc Techniques and Results
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Analysis Problems for Sequential Dynamical Systems and Communicating State Machines
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Reachability problems for sequential dynamical systems with threshold functions
Theoretical Computer Science - Mathematical foundations of computer science
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Theory of cellular automata: a survey
Theoretical Computer Science
An Introduction to Sequential Dynamical Systems
An Introduction to Sequential Dynamical Systems
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences
Predecessor existence problems for finite discrete dynamical systems
Theoretical Computer Science
Computer
Limit Set Reachability in Asynchronous Graph Dynamical Systems
RP '09 Proceedings of the 3rd International Workshop on Reachability Problems
Computational aspects of analyzing social network dynamics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Networks, Crowds, and Markets: Reasoning About a Highly Connected World
Networks, Crowds, and Markets: Reasoning About a Highly Connected World
Influential nodes in a diffusion model for social networks
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Hi-index | 5.23 |
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networks. Our model is a stochastic version of discrete graphical dynamical systems. Using this model, we formulate and study the computational complexity of two fundamental problems (called reachability and predecessor existence problems) which arise in the context of social networks. We also address other problems that deal with the time evolution of such stochastic dynamical systems. Further, we point out the implications of our results to problems for other computational models such as Hopfield networks, communicating finite state machines and systolic arrays. In particular, our polynomial time algorithms for the predecessor existence problem for stochastic dynamical systems imply similar results for one-dimensional finite cellular automata.