title: An efficient algorithm for computing fixed length attractors based on bounded model checking in synchronous Boolean networks with biochemical applications.
abstract: Genetic regulatory networks are the key to understanding biochemical systems. One condition of the genetic regulatory network under different living environments can be modeled as a synchronous Boolean network. The attractors of these Boolean networks will help biologists to identify determinant and stable factors. Existing methods identify attractors based on a random initial state or the entire state simultaneously. They cannot identify the fixed length attractors directly. The complexity of including time increases exponentially with respect to the attractor number and length of attractors. This study used the bounded model checking to quickly locate fixed length attractors. Based on the SAT solver, we propose a new algorithm for efficiently computing the fixed length attractors, which is more suitable for large Boolean networks and numerous attractors' networks. After comparison using the tool BooleNet, empirical experiments involving biochemical systems demonstrated the feasibility and efficiency of our approach.
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China erin.xiaoyu.li@gmail.com.
authors.forename: X Y
authors.initials: XY
authors.lastname: Li
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China.
authors.forename: G W
authors.initials: GW
authors.lastname: Yang
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China.
authors.forename: D S
authors.initials: DS
authors.lastname: Zheng
authors.affiliation: School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China.
authors.forename: W S
authors.initials: WS
authors.lastname: Guo
authors.affiliation: Synopsys Inc., Mountain View, CA, USA.
authors.forename: W N N
authors.initials: WN
authors.lastname: Hung
mesh_terms: D000465:Algorithms; D001669:Biochemical Phenomena / Q000235:genetics*; D003198:Computer Simulation; D053263:Gene Regulatory Networks / Q000235:genetics*; D008432:Mathematical Computing; D008957:Models, Genetic