连续化学反应网络的可达性问题
计算复杂性
2015-09-04 v3
摘要
化学反应网络（CRN）模拟均匀混合系统中分子的行为。新兴的分子编程领域不仅将 CRN 用作描述工具，还将其用作化学计算的编程语言。最近，Chen、Doty 和 Soloveichik 引入了一种新的化学动力学模型——速率无关连续 CRN（CCRN），用于研究连续函数的化学计算。CRN 的一个基本问题是系统的某个状态是否可通过网络中的一系列反应到达。这被称为可达性问题。在本文中，我们研究了 CCRN-REACH，即该化学反应用网络模型的可达性问题。我们证明，对于连续 CRN，构造通向网络状态的路径可在多项式时间内计算。我们还证明了一个相关问题——子 CCRN-REACH——是 NP 完全的。
引用
@article{arxiv.1508.04125,
title = {Reachability Problems for Continuous Chemical Reaction Networks},
author = {Adam Case and Jack H. Lutz and D. M. Stull},
journal= {arXiv preprint arXiv:1508.04125},
year = {2015}
}