TY-JOUR公司非盟-伯恩蒂尼斯，尼古拉斯AU-伊贝林，马丁2013年上半年DA-2013年12月13日TI-通过穷举状态空间的适当子空间来检测大型布尔网络的吸引子JO-BMC生物信息学SP-361型VL-14IS-1标准AB-Boolean模型越来越多地用于研究生物信号网络。在布尔网络中，节点表示生物实体，如基因、蛋白质或蛋白质复合体，边缘表示激活或抑制一个节点对另一个节点的影响。根据激活器或抑制剂的输入，布尔网络将节点分类为活动节点或非活动节点。形式主义很有吸引力，因为对于许多生物学关系，我们缺乏关于结合常数或动力学参数的定量信息，只能依赖“a激活（或抑制）B”类型的定性描述。布尔网络分析的一个中心目标是确定吸引子（稳态和/或循环）。众所周知，这个问题计算复杂，其最重要的参数是网络节点的数量。各种算法都取得了相当大的成功。本文提出了一种算法，该算法通过简单直观的参数扩展了可分析网络的大小。序号1471-2105你-https://doi.org/10.1186/1471-2105-14-361DO-10.1186/1471-2105-14-361ID-Berntenis 2013急诊室-