English
Related papers

Related papers: Complexity of fixed point counting problems in Boo…

200 papers

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$. In most applications, the main parameter is the interaction graph of $f$: the digraph…

Combinatorics · Mathematics 2021-05-06 Aymeric Picard Marchetto , Adrien Richard

In the context of discrete dynamical systems and their applications, fixed points often have a clear interpretation. This is indeed a central topic of gene regulatory mechanisms modeled by Boolean automata networks (BANs), where a…

Discrete Mathematics · Computer Science 2025-07-29 Kévin Perrot , Sylvain Sené , Léah Tapin

In the applications of Boolean networks to modeling biological systems, an important computational problem is the detection of the fixed points of these networks. This is an NP-complete problem in general. There have been various attempts…

Quantitative Methods · Quantitative Biology 2014-04-23 Yi Ming Zou

Boolean networks (BNs) are discrete-time systems where nodes are inter-connected (here we call such connection rule among nodes as network structure), and the dynamics of each gene node is determined by logical functions. In this paper, we…

Systems and Control · Electrical Eng. & Systems 2020-11-03 Jie Zhong , Daniel W. C. Ho , Jianquan Lu

Boolean Networks (BNs) serve as a fundamental modeling framework for capturing complex dynamical systems across various domains, including systems biology, computational logic, and artificial intelligence. A crucial property of BNs is the…

Logic in Computer Science · Computer Science 2025-06-19 Mohimenul Kabir , Van-Giang Trinh , Samuel Pastva , Kuldeep S Meel

In this paper, we are interested in the number of fixed points of functions $f:A^n\to A^n$ over a finite alphabet $A$ defined on a given signed digraph $D$. We first use techniques from network coding to derive some lower bounds on the…

Discrete Mathematics · Computer Science 2014-09-23 Maximilien Gadouleau , Adrien Richard , Søren Riis

Boolean networks model finite discrete dynamical systems with complex behaviours. The state of each component is determined by a Boolean function of the state of (a subset of) the components of the network. This paper addresses the…

Artificial Intelligence · Computer Science 2020-02-28 Stéphanie Chevalier , Christine Froidevaux , Loïc Paulevé , Andrei Zinovyev

In the modeling of biological systems by Boolean networks a key problem is finding the set of fixed points of a given network. Some constructed algorithms consider certain structural properties of the interaction graph like those proposed…

Discrete Mathematics · Computer Science 2020-04-06 Julio Aracena , Luis Cabreras-Crot , Lilian Salinas

Boolean networks are special types of finite state time-discrete dynamical systems. A Boolean network can be described by a function from an n-dimensional vector space over the field of two elements to itself. A fundamental problem in…

Quantitative Methods · Quantitative Biology 2013-07-03 Yi Ming Zou

Previous work in Boolean dynamical networks has suggested that the number of components that must be controlled to select an existing attractor is typically set by the number of attractors admitted by the dynamics, with no dependence on the…

Molecular Networks · Quantitative Biology 2024-10-11 Bryan C. Daniels , Enrico Borriello

Fixed points are fundamental states in any dynamical system. In the case of gene regulatory networks (GRNs) they correspond to stable genes profiles associated to the various cell types. We use Kauffman's approach to model GRNs with random…

Cell Behavior · Quantitative Biology 2012-03-08 Pablo Moisset de Espanés , Axel Osses , Iván Rapaport

We are interested in the relationships between the number fixed points in a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ and its interaction graph, which is the arc-signed digraph $G$ on $\{1,\dots,n\}$ that describes the positive and negative…

Discrete Mathematics · Computer Science 2017-11-17 Adrien Richard

This paper proposes a new parameter for studying Boolean networks: the independence number. We establish that a Boolean network is $k$-independent if, for any set of $k$ variables and any combination of binary values assigned to them, there…

Combinatorics · Mathematics 2024-10-08 Julio Aracena , Raúl Astete-Elguin

Boolean networks can be viewed as functions on the set of binary strings of a given length, described via logical rules. They were introduced as dynamic models into biology, in particular as logical models of intracellular regulatory…

Dynamical Systems · Mathematics 2025-04-16 J. García Galofre , M. Pérez Millán , A. Galarza Rial , R. Laubenbacher , A. Dickenstein

A Boolean network is a mapping $f :\{0,1\}^n \to \{0,1\}^n$, which can be used to model networks of $n$ interacting entities, each having a local Boolean state that evolves over time according to a deterministic function of the current…

Combinatorics · Mathematics 2021-04-29 Maximilien Gadouleau

Boolean networks (BNs) are discrete dynamical systems with applications to the modeling of cellular behaviors. In this paper, we demonstrate how the software BoNesis can be employed to exhaustively identify combinations of perturbations…

Systems and Control · Electrical Eng. & Systems 2023-05-03 Loïc Paulevé

Boolean Networks (BNs) describe the time evolution of binary states using logic functions on the nodes of a network. They are fundamental models for complex discrete dynamical systems, with applications in various areas of science and…

Discrete Mathematics · Computer Science 2025-03-26 Van-Giang Trinh , Samuel Pastva , Jordan Rozum , Kyu Hyong Park , Réka Albert

A Boolean network is a finite dynamical system, whose variables take values from a binary set. The value update rule for each variable is a Boolean function, depending on a selected subset of variables. Boolean networks have been widely…

Dynamical Systems · Mathematics 2017-08-10 Zuguang Gao , Xudong Chen , Tamer Başar

Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect to the state of its regulators, the scheduling of component…

Logic in Computer Science · Computer Science 2019-06-03 Thomas Chatain , Stefan Haar , Juraj Kolčák , Loïc Paulevé , Aalok Thakkar

A Boolean network (BN) is called observable if any initial state can be uniquely determined from the output sequence. In the existing literature on observability of BNs, there is almost no research on the relationship between the number of…

Systems and Control · Electrical Eng. & Systems 2024-07-29 Liangjie Sun , Wai-Ki Ching , Tatsuya Akutsu
‹ Prev 1 2 3 10 Next ›