单调布尔函数即时邻居的计算

布尔网络是研究基因和信号网络行为的数学模型。这些网络定义了分子节点之间的调控影响，每个节点都与一个布尔变量和一个规制（局部）函数相关联，该函数指定其根据调节器的动态行为。然而，现有数据大多不足以充分参数化模型，即为每个节点唯一定义一个规制函数。为支持模型参数化，本文提出了一组与给定规制结构兼容的布尔函数的结果，即单调非退化布尔函数的部分有序集。更准确地说，我们提出了获取该集合中任何函数直接邻居的原始规则。除了理论兴趣外，所提出的结果将使开发更高效的布尔网络合成和修订方法成为可能，这些方法可从规制函数邻域的渐进式探索中受益。