Help Privacy Policy Disclaimer
  Advanced SearchBrowse





A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks


Rahkooy,  Hamid
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

(Preprint), 418KB

Supplementary Material (public)
There is no public supplementary material available

Rahkooy, H., & Vargas Montero, C. (2020). A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks. Retrieved from https://arxiv.org/abs/2010.12615.

Cite as: http://hdl.handle.net/21.11116/0000-0007-B427-2
We study binomiality of the steady state ideals of chemical reaction networks. Considering rate constants as indeterminates, the concept of unconditional binomiality has been introduced and an algorithm based on linear algebra has been proposed in a recent work for reversible chemical reaction networks, which has a polynomial time complexity upper bound on the number of species and reactions. In this article, using a modified version of species--reaction graphs, we present an algorithm based on graph theory which performs by adding and deleting edges and changing the labels of the edges in order to test unconditional binomiality. We have implemented our graph theoretical algorithm as well as the linear algebra one in Maple and made experiments on biochemical models. Our experiments show that the performance of the graph theoretical approach is similar to or better than the linear algebra approach, while it is drastically faster than Groebner basis and quantifier elimination methods.