English
Related papers

Related papers: On the cost of simulating a parallel Boolean autom…

200 papers

A Boolean network (BN) is a transformation of the set of Boolean configurations of a given length. A trapspace of a BN is a subcube invariant by the BN; a principal trapspace is the smallest trapspace containing a given configuration; a…

Discrete Mathematics · Computer Science 2026-04-03 Maximilien Gadouleau

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

Task graph scheduling is a relevant problem in computer science with application to diverse real world domains. Task graph scheduling suffers from a combinatorial explosion and thus finding optimal schedulers is a difficult task. In this…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-26 Anne Ejsing , Martin Jensen , Marco Muñiz , Jacob Nørhave , Lars Rechter

For $S\subseteq V(G)$ with $|S|\ge 2$, let $\kappa_G (S)$ denote the maximum number of internally disjoint trees connecting $S$ in $G$. For $2\le k\le n$, the generalized $k$-connectivity $\kappa_k(G)$ of an $n$-vertex connected graph $G$…

Combinatorics · Mathematics 2023-03-27 Leyou Xu , Bo Zhou

Consider a finite set $A$ and an integer $n \geq 1$. This paper studies the concept of complete simulation in the context of semigroups of transformations of $A^n$, also known as finite state-homogeneous automata networks. For $m \geq n$, a…

Formal Languages and Automata Theory · Computer Science 2018-03-12 Florian Bridoux , Alonso Castillo-Ramirez , Maximilien Gadouleau

In this article, a correlation metric $\kappa_C$ is proposed for the inference of the dynamical state of neuronal networks. $\kappa_C$ is computed from the scaling of the correlation length with the size of the observation region, which…

Disordered Systems and Neural Networks · Physics 2023-01-24 Eyisto J. Aguilar Trejo , Daniel A. Martin , Dulara De Zoysa , Zac Bowen , Tomas S. Grigera , Sergio A. Cannas , Wolfgang Losert , Dante R. Chialvo

We obtain the phase diagram of random Boolean networks with nested canalizing functions. Using the annealed approximation, we obtain the evolution of the number $b_t$ of nodes with value one, and the network sensitivity $\lambda$, and we…

Biological Physics · Physics 2010-12-17 Tiago P. Peixoto

In online makespan minimization a sequence of jobs $\sigma = J_1,..., J_n$ has to be scheduled on $m$ identical parallel machines so as to minimize the maximum completion time of any job. We investigate the problem with an essentially new…

Data Structures and Algorithms · Computer Science 2013-04-23 Susanne Albers , Matthias Hellwig

We consider the problem of network coding across three unicast sessions over a directed acyclic graph, when each session has min-cut one. Previous work by Das et al. adapted a precoding-based interference alignment technique, originally…

Information Theory · Computer Science 2012-05-22 Chun Meng , Abinesh Ramakrishnan , Athina Markopoulou , Syed Ali Jafar

Natural systems are modeled by networks with nodes and links. Often the nodes are segregated into communities with different connectivity patterns. Node heterogeneity such as political affiliation in social networks or biological function…

Physics and Society · Physics 2025-07-01 Alexei Vazquez

Cellular automata (CAs) and convolutional neural networks (CNNs) are closely related due to the local nature of information processing. The connection between these topics is beneficial to both related fields, for conceptual as well as…

Cellular Automata and Lattice Gases · Physics 2024-09-05 Michiel Rollier , Aisling J. Daly , Odemir M. Bruno , Jan M. Baetens

We investigate two discrete models of excitable media on a one-dimensional integer lattice $\mathbb{Z}$: the $\kappa$-color Cyclic Cellular Automaton (CCA) and the $\kappa$-color Firefly Cellular Automaton (FCA). In both models, sites are…

Probability · Mathematics 2024-07-09 Ander Aguirre , Hanbaek Lyu , David Sivakoff

The claw number of a graph $G$ is the largest number $v$ such that $K_{1,v}$ is an induced subgraph of $G$. Interval graphs with claw number at most $v$ are cluster graphs when $v = 1$, and are proper interval graphs when $v = 2$. Let…

Combinatorics · Mathematics 2021-09-24 Rain Jiang , Kai Jiang , Minghui Jiang

Using a graph-theoretic approach, we derive a new sufficient condition for observability of a Boolean control network (BCN). Based on this condition, we describe two algorithms: the first selects a set of nodes so that observing this set…

Optimization and Control · Mathematics 2020-06-09 Eyal Weiss , Michael Margaliot

This work initiates the study of memory-query tradeoffs for graph problems, with a focus on correlation clustering. Correlation clustering asks for a partition of the vertices that minimizes disagreements: non-edges inside clusters plus…

Computational Complexity · Computer Science 2026-05-25 Sumegha Garg , Songhua He , Periklis A. Papakonstantinou

We present a method to eliminate redundancy in the transition tables of Boolean automata: schema redescription with two symbols. One symbol is used to capture redundancy of individual input variables, and another to capture permutability in…

Cellular Automata and Lattice Gases · Physics 2015-03-18 Manuel Marques-Pita , Luis M. Rocha

We study the problem of coupling a stochastic block model with a planted bisection to a uniform random graph having the same average degree. Focusing on the regime where the average degree is a constant relative to the number of vertices…

Combinatorics · Mathematics 2019-10-15 James Hirst

Near-additive (aka $(1+\epsilon,\beta)$-) emulators and spanners are a fundamental graph-algorithmic construct, with numerous applications for computing approximate shortest paths and related problems in distributed, streaming and dynamic…

Data Structures and Algorithms · Computer Science 2021-06-03 Michael Elkin , Shaked Matar

In this paper, we consider the problem of scheduling an application on a parallel computational platform. The application is a particular task graph, either a linear chain of tasks, or a set of independent tasks. The platform is made of…

Data Structures and Algorithms · Computer Science 2012-10-18 Guillaume Aupy , Anne Benoit

In this paper, we show a connection between a certain online low-congestion routing problem and an online prediction of graph labeling. More specifically, we prove that if there exists a routing scheme that guarantees a congestion of…

Data Structures and Algorithms · Computer Science 2008-09-12 Jittat Fakcharoenphol , Boonserm Kijsirikul