Complexity of fixed point counting problems in Boolean Networks - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2021

Complexity of fixed point counting problems in Boolean Networks

Résumé

A Boolean network (BN) with $n$ components is a discrete dynamical system described by the successive iterations of a function $f:\{0,1\}^n \to \{0,1\}^n$. This model finds applications in biology, where fixed points play a central role. For example, in genetic regulations, they correspond to cell phenotypes. In this context, experiments reveal the existence of positive or negative influences among components: component $i$ has a positive (resp. negative) influence on component $j$ meaning that $j$ tends to mimic (resp. negate) $i$. The digraph of influences is called signed interaction digraph (SID), and one SID may correspond to a large number of BNs (which is, in average, doubly exponential according to $n$). The present work opens a new perspective on the well-established study of fixed points in BNs. When biologists discover the SID of a BN they do not know, they may ask: given that SID, can it correspond to a BN having at least/at most $k$ fixed points? Depending on the input, we prove that these problems are in $\textrm{P}$ or complete for $\textrm{NP}$, $\textrm{NP}^{\textrm{NP}}$, $\textrm{NP}^{\textrm{#P}}$ or $\textrm{NEXPTIME}$. In particular, we prove that it is $\textrm{NP}$-complete (resp. $\textrm{NEXPTIME}$-complete) to decide if a given SID can correspond to a BN having at least two fixed points (resp. no fixed point).
Fichier principal
Vignette du fichier
2020-12-04_complexity_article.pdf (554.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03442599 , version 1 (23-11-2021)

Identifiants

Citer

Florian Bridoux, Amélia Durbec, Kévin Perrot, Adrien Richard. Complexity of fixed point counting problems in Boolean Networks. 2021. ⟨hal-03442599⟩
76 Consultations
103 Téléchargements

Altmetric

Partager

More