Output Stability and Semilinear Sets in Chemical Reaction Networks and Deciders
Output Stability and Semilinear Sets in Chemical Reaction Networks and Deciders
复制标题
化学反应网络和决策器中的输出稳定性和半线性集
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
R. Brijder
中科院分区：
文献类型：
--
作者：
R. Brijder
我们研究化学反应决定器（CRD）的输出稳定配置集。事实证明，仅具有双分子反应的 CRD（几乎相当于群体协议）具有特殊的结构，允许算法有效地计算（有限）一组最小输出稳定配置。结果，可以有效地检查相对大的配置序列的输出稳定性。
We study the set of output stable configurations of chemical reaction deciders (CRDs). It turns out that CRDs with only bimolecular reactions (which are almost equivalent to population protocols) have a special structure that allows for an algorithm to efficiently calculate the (finite) set of minimal output stable configurations. As a consequence, a relatively large sequence of configurations may be efficiently checked for output stability.