基于图论的可逆化学反应网络二项式性检测方法
符号计算
2021-01-15 v2 交换代数
摘要
我们研究化学反应网络稳态理想的二项式性。将速率常数视为不定元，无条件二项式性的概念已在近期工作中被提出，并针对可逆化学反应网络给出了一种基于线性代数的算法，该算法在物种数与反应数上具有多项式时间复杂度上界。本文中，利用改进版的物种—反应图，我们提出一种基于图论的算法，通过添加和删除边以及改变边的标签来检验无条件二项式性。我们已在 Maple 中实现了我们的图论算法以及线性代数算法，并在生化模型上进行了实验。实验表明，图论方法的性能与线性代数方法相当或更好，同时远快于 Groebner 基与量词消去方法。
引用
@article{arxiv.2010.12615,
title = {A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks},
author = {Hamid Rahkooy and Cristian Vargas Montero},
journal= {arXiv preprint arXiv:2010.12615},
year = {2021}
}