Determining a Singleton Attractor of a Boolean Network with Nested Canalyzing Functions

被引:17
作者
Akutsu, Tatsuya [1 ]
Melkman, Avraham A. [2 ]
Tamura, Takeyuki [1 ]
Yamamoto, Masaki [3 ]
机构
[1] Kyoto Univ, Inst Chem Res, Bioinformat Ctr, Kyoto 6110011, Japan
[2] Ben Gurion Univ Negev, Dept Comp Sci, IL-84105 Beer Sheva, Israel
[3] Kwansei Gakuin Univ, Sch Sci & Technol, Dept Informat, Nishinomiya, Hyogo, Japan
关键词
Boolean network; nested canalyzing function; SAT; singleton attractor; IDENTIFICATION;
D O I
10.1089/cmb.2010.0281
中图分类号
Q5 [生物化学];
学科分类号
071010 ; 081704 ;
摘要
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.
引用
收藏
页码:1275 / 1290
页数:16
相关论文
共 23 条
  • [1] A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search
    Dantsin, E
    Goerdt, A
    Hirsch, EA
    Kannan, R
    Kleinberg, J
    Papadimitriou, C
    Raghavan, P
    Schöning, U
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 289 (01) : 69 - 83
  • [2] Identification of all steady states in large networks by logical analysis
    Devloo, V
    Hansen, P
    Labbé, M
    [J]. BULLETIN OF MATHEMATICAL BIOLOGY, 2003, 65 (06) : 1025 - 1051
  • [3] Number and length of attractors in a critical kauffman model with connectivity one
    Drossel, B
    Mihaljev, T
    Greil, F
    [J]. PHYSICAL REVIEW LETTERS, 2005, 94 (08) : 1 - 4
  • [4] Synchronous versus asynchronous modeling of gene regulatory networks
    Garg, Abhishek
    Di Cara, Alessandro
    Xenarios, Ioannis
    Mendoza, Luis
    De Micheli, Giovanni
    [J]. BIOINFORMATICS, 2008, 24 (17) : 1917 - 1925
  • [5] Chain functions and scoring functions in genetic networks
    Gat-Viks, I.
    Shamir, R.
    [J]. BIOINFORMATICS, 2003, 19 : i108 - i117
  • [6] Sequential operator for filtering cycles in Boolean networks
    Goles, Eric
    Salinas, Lilian
    [J]. ADVANCES IN APPLIED MATHEMATICS, 2010, 45 (03) : 346 - 358
  • [7] Harris Stephen E., 2002, Complexity, V7, P23, DOI 10.1002/cplx.10022
  • [8] New worst-case upper bounds for SAT
    Hirsch, EA
    [J]. JOURNAL OF AUTOMATED REASONING, 2000, 24 (04) : 397 - 420
  • [9] Improving the efficiency of attractor cycle identification in Boolean networks
    Irons, David James
    [J]. PHYSICA D-NONLINEAR PHENOMENA, 2006, 217 (01) : 7 - 21
  • [10] Nested canalyzing, unate cascade, and polynomial functions
    Jarrah, Abdul Salam
    Raposa, Blessilda
    Laubenbacher, Reinhard
    [J]. PHYSICA D-NONLINEAR PHENOMENA, 2007, 233 (02) : 167 - 174