布尔网络中极限周期问题的复杂性
摘要：布尔网络是一种交互实体的通用模型，应用于基因调控等生物现象。吸引子发挥了核心作用，实体更新的时间表是事先未知的。本文介绍了与存在更新时间表相关的问题的计算复杂性的结果，这些时间表使得一些极限周期长度成为可能或不可能。我们首先证明，在并行更新的布尔网络中，判断是否存在长度为$k$的至少一个极限周期是$NP$-完全的。在块顺序更新时间表上添加存在量词不会改变问题的复杂性类别，但以下交替会使我们在多项式层次结构中上升一级：给定一个布尔网络，判断是否存在一个块顺序更新时间表，使其没有长度为$k$的极限周期是$Sigma\_2^P$-完全的。
作者：Florian Bridoux, Caroline Gaze-Maillot, K''evin Perrot, Sylvain Sen''e
论文ID：2001.07391
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2020-01-22