化学反应网络与判定器中的最小输出不稳定构型
计算复杂性
2015-06-16 v5 分布式、并行与集群计算
摘要
我们研究了化学反应判定器（CRDs）的输出稳定构型集合。事实证明，仅具有双分子反应的 CRD（几乎等同于群体协议）具有特殊结构，允许算法高效计算其有限的最小输出不稳定构型集合。因此，可以高效地检查相对较大的构型集以确认输出稳定性。我们还提供了关于 Angluin 等人 [Distrib. Comput., 2007] 在群体协议背景下提出的半线性结果的一些观察（这是输出稳定 CRD 的核心结果）。特别是，我们观察到计算友好的完全稳定 CRD 类具有与更大的输出稳定 CRD 类相同的表达能力。
引用
@article{arxiv.1404.3166,
title = {Minimal Output Unstable Configurations in Chemical Reaction Networks and Deciders},
author = {Robert Brijder},
journal= {arXiv preprint arXiv:1404.3166},
year = {2015}
}
备注
14 pages, no figures