Abstract
In this article, we study the problem of finding a singleton attractor for several biologically important subclasses of Boolean networks (BNs). The problem of finding a singleton attractor in a BN is known to be NP-hard in general. For BNs consisting of n nested canalyzing functions, we present an O(1.799 n) time algorithm. The core part of this development is an O(min(2 k/2•2 m/2, 2 k)•poly(k, m)) time algorithm for the satisfiability problem for m nested canalyzing functions over k variables. For BNs consisting of chain functions, a subclass of nested canalyzing functions, we present an O(1.619 n) time algorithm and show that the problem remains NP-hard, even though the satisfiability problem for m chain functions over k variables is solvable in polynomial time. Finally, we present an o(2 n) time algorithm for bounded degree BNs consisting of canalyzing functions.
Original language | English |
---|---|
Pages (from-to) | 1275-1290 |
Number of pages | 16 |
Journal | Journal of Computational Biology |
Volume | 18 |
Issue number | 10 |
DOIs | |
State | Published - 1 Oct 2011 |
Keywords
- Boolean network
- SAT
- nested canalyzing function
- singleton attractor
ASJC Scopus subject areas
- Modeling and Simulation
- Molecular Biology
- Genetics
- Computational Mathematics
- Computational Theory and Mathematics