[论文解读] Complexity of Boolean Automata Networks Under Block-Parallel Update Modes

Kévin Perrot, Sylvain Sené+1 more|arXiv (Cornell University)|Jan 1, 2024

Machine Learning and Algorithms被引用 1

一句话总结

本文研究了在块并行更新模式下布尔自动机网络的计算复杂性——这是一种最近引入的周期性更新调度家族，允许在单个时间步内重复更新。研究证明，大多数基本决策问题，包括可达性、固定点存在性以及极限环检测，均为 PSPACE-完全，表明其具有高度的表达能力和计算难度；而双射性问题仍处于 coNP，凸显了普遍复杂性上升中的一个关键例外。

ABSTRACT

Boolean automata networks (aka Boolean networks) are space-time discrete dynamical systems, studied as a model of computation and as a representative model of natural phenomena. A collection of simple entities (the automata) update their 0-1 states according to local rules. The dynamics of the network is highly sensitive to update modes, i.e., to the schedule according to which the automata apply their local rule. A new family of update modes appeared recently, called block-parallel, which is dual to the well studied block-sequential. Although basic, it embeds the rich feature of update repetitions among a temporal updating period, allowing for atypical asymptotic behaviors. In this paper, we prove that it is able to breed complex computations, squashing almost all decision problems on the dynamics to the traditionally highest (for reachability questions) class PSPACE. Despite obtaining these complexity bounds for a broad set of local and global properties, we also highlight a surprising gap: bijectivity is still coNP.

研究动机与目标

• 分析布尔自动机网络在块并行更新模式下的计算复杂性，这是一种最近引入的周期性更新调度类别。
• 确定此类更新模式如何影响核心决策问题（如可达性、固定点存在性及极限环检测）的复杂性。
• 识别块并行更新带来的表达能力提升是否导致所有动力学问题的计算难度普遍增加。
• 识别普遍复杂性增加趋势中的例外情况，特别是与双射性及结构不变量相关的问题。

提出的方法

• 将块并行更新模式正式定义为允许每个时间步内多次更新的周期性调度，其中自动机被固定划分为若干块，并按顺序更新。
• 通过从已知的 PSPACE-完全问题进行约简，证明在块并行动力学下可达性、固定点及极限环问题的难解性。
• 利用组合构造方法表明，即使使用线性函数（如异或）也能生成复杂行为（例如恒等动力学），且交互图中无环路。
• 利用自动机网络的结构特性，包括交互图和局部函数依赖关系，分析块并行更新下的动力学行为。
• 通过刻画更新子步骤中单射性的条件，证明双射性问题属于 coNP。
• 通过证明大多数问题为 PSPACE-完全，而双射性仍处于 coNP，从而确立复杂性差距，原因在于仅一个子步骤就足以破坏单射性。

实验结果

研究问题

• RQ1 在块并行更新模式下，布尔自动机网络的可达性问题的计算复杂性是什么？
• RQ2 与块序列或并行模式相比，块并行更新模式如何影响固定点检测和极限环检测问题的复杂性？
• RQ3 是否存在某些动力学问题即使在块并行更新具有高表达能力的情况下仍保持可 tractable（例如处于 coNP）？
• RQ4 在块并行网络中，交互图是否能单独决定动力学行为，如同在块序列设置中那样？
• RQ5 为何双射性问题保持在 coNP，而所有其他研究问题在块并行更新下均变为 PSPACE-完全？

主要发现

• 在块并行更新模式下，布尔自动机网络的可达性问题为 PSPACE-完全，其复杂性与块序列模式相当。
• 在块并行更新模式下，固定点存在性问题与极限环检测问题均为 PSPACE-完全。
• 像像与原像问题也均为 PSPACE-完全，表明计算或验证可达配置具有高度复杂性。
• 双射性问题仍处于 coNP，这是对普遍 PSPACE-难趋势的一个显著例外，原因在于仅一个子步骤就足以破坏单射性。
• 即使交互图中无环路且无正向弧，块并行更新模式也能生成恒等动力学，表明其具有非平凡的结构复杂性。
• 研究结果不仅适用于布尔网络，还可推广至非布尔自动机网络，表明复杂性界具有广泛适用性。