具有少量基本回路布尔网络的不动点.PDFVIP

31 7 Vol. 31 No. 7 2014 7 Control Theory Applications Jul. 2014 DOI: 10.7641/CTA.2014.40112 ( ; (), 100084) : , . . , . . , . : ; ; ; ; NP– : TP273 : A Fixed points of Boolean networks with small number of elementary circuits ZHAO Qian-chuan (Center for Intelligent and Networked Systems, Department of Automation; Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing 1000084, China) Abstract: Boolean networks have been studied intensively recently due to their importance as a compact model for understanding both natural and man-made nonlinear dynamic networks. Fixed points and attractors are keys to predict long term behavior of Boolean networks. We develop algorithms for finding fixed point of Boolean networks with small number of elementary circuits, based on a set of equations on variables forming a feedback vertex set. As an application, we also present a sufficient and necessary condition for checking the global stability for such networks. Key words: fixed point; Boolean network; feedback vertex set; global stability; NP–hardness 1 Introduction works (REBN)[5] to general Boolean networks. As an Boolean networks have been studied intensively re- application, we also present a sufficient and necessary cently due to their importance as a compact model for condition for checking global stability[6] for such net- understanding both natura