背景和动机:离散动力系统是研究网络中扩散现象的形式化模型。这些模型的应用领域包括社会传染(例如信息、观点、时尚、流行病)的研究和能源需求建模(例如太阳能的适应)(Adiga 等人 2019 年;Chistikov 等人 2020 年;Ogihara 和 Uchizawa 2020 年;Gupta 等人 2018 年)。非正式地说,这样的动力系统 4 由一个底层(社会或生物)网络组成,每个节点都有一个来自域 B 的状态值。在本文中,我们假设底层图是有向的,域是二进制的(即 B = { 0,1 } )。传染病的传播由一组布尔局部函数建模,每个节点一个。对于任何节点 v ,v 处的局部函数 fv 的输入是 v 的当前状态及其邻居(即,v 具有传入边的节点)的状态,而 fv 的输出是下一时刻 v 的状态。我们考虑同步更新模型,其中所有节点都评估其局部函数并并行更新其状态。这些动力系统在文献中被称为同步动力系统 (SyDS)(例如,(Adiga 等人 2019;Rosenkrantz 等人 2018))。在涉及系统生物学的应用中,这样的系统也称为同步布尔网络(例如,(Kauffman 等人 2019))。
主要关键词