--- res: bibo_abstract: - Game of Life is a simple and elegant model to study dynamical system over networks. The model consists of a graph where every vertex has one of two types, namely, dead or alive. A configuration is a mapping of the vertices to the types. An update rule describes how the type of a vertex is updated given the types of its neighbors. In every round, all vertices are updated synchronously, which leads to a configuration update. While in general, Game of Life allows a broad range of update rules, we focus on two simple families of update rules, namely, underpopulation and overpopulation, that model several interesting dynamics studied in the literature. In both settings, a dead vertex requires at least a desired number of live neighbors to become alive. For underpopulation (resp., overpopulation), a live vertex requires at least (resp. at most) a desired number of live neighbors to remain alive. We study the basic computation problems, e.g., configuration reachability, for these two families of rules. For underpopulation rules, we show that these problems can be solved in polynomial time, whereas for overpopulation rules they are PSPACE-complete.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Krishnendu foaf_name: Chatterjee, Krishnendu foaf_surname: Chatterjee foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-4561-241X - foaf_Person: foaf_givenName: Rasmus foaf_name: Ibsen-Jensen, Rasmus foaf_surname: Ibsen-Jensen foaf_workInfoHomepage: http://www.librecat.org/personId=3B699956-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0003-4783-0389 - foaf_Person: foaf_givenName: Ismael R foaf_name: Jecker, Ismael R foaf_surname: Jecker foaf_workInfoHomepage: http://www.librecat.org/personId=85D7C63E-7D5D-11E9-9C0F-98C4E5697425 - foaf_Person: foaf_givenName: Jakub foaf_name: Svoboda, Jakub foaf_surname: Svoboda foaf_workInfoHomepage: http://www.librecat.org/personId=130759D2-D7DD-11E9-87D2-DE0DE6697425 bibo_doi: 10.4230/LIPIcs.MFCS.2020.22 bibo_volume: 170 dct_date: 2020^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/18688969 - http://id.crossref.org/issn/9783959771597 dct_language: eng dct_publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik@ dct_title: 'Simplified game of life: Algorithms and complexity@' ...