-
Creation of fixed points in block-parallel Boolean automata networks
Authors:
Kévin Perrot,
Sylvain Sené,
Léah Tapin
Abstract:
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 xollection of Boolean entities (the automata) update their state depending on the states of others. Fixed points represent phenotypes such as differentiated cell types.…
▽ More
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 xollection of Boolean entities (the automata) update their state depending on the states of others. Fixed points represent phenotypes such as differentiated cell types. The interaction graph of a BAN captures the architecture of dependencies among its automata. A first seminal result is that cycles of interactions (so called feedbacks) are the engines of dynamical complexity. A second seminal result is that fixed points are invariant under block-sequential update schedules, which update the automata following an ordered partition of the set of automata. In this article we study the ability of block-parallel update schedules (dual to the latter) to break this fixed point invariance property, with a focus on the simplest feedback mechanism: the canonical positive cycle. We quantify numerically the creation of new fixed points, and provide families of block-parallel update schedules generating exponentially many fixed points on this elementary structure of interaction.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs
Authors:
Aliénor Goubault-Larrecq,
Kévin Perrot
Abstract:
A new proof technique combining finite model theory and dynamical systems has recently been introduced to obtain general complexity lower bounds on any question one may formulate on the dynamics (seen as a graph) of a given automata network (AN). ANs are abstract finite dynamical systems of interacting entities whose evolution rules are encoded as circuits, hence the study also applies to succinct…
▽ More
A new proof technique combining finite model theory and dynamical systems has recently been introduced to obtain general complexity lower bounds on any question one may formulate on the dynamics (seen as a graph) of a given automata network (AN). ANs are abstract finite dynamical systems of interacting entities whose evolution rules are encoded as circuits, hence the study also applies to succinct graph representations (SGRs). In this article, we detail the construction of circuits to obtain general complexity lower bounds (metareduction) and show that the reduction is feasible in logarithmic space.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
Foundations of block-parallel automata networks
Authors:
Kévin Perrot,
Sylvain Sené,
Léah Tapin
Abstract:
We settle the theoretical ground for the study of automata networks under block-parallel update schedules, which are somehow dual to the block-sequential ones, but allow for repetitions of automaton updates. This gain in expressivity brings new challenges, and we analyse natural equivalence classes of update schedules: those leading to the same dynamics, and to the same limit dynamics, for any aut…
▽ More
We settle the theoretical ground for the study of automata networks under block-parallel update schedules, which are somehow dual to the block-sequential ones, but allow for repetitions of automaton updates. This gain in expressivity brings new challenges, and we analyse natural equivalence classes of update schedules: those leading to the same dynamics, and to the same limit dynamics, for any automata network. Countings and enumeration algorithms are provided, for their numerical study. We also prove computational complexity bounds for many classical problems, involving fixed points, limit cycles, the recognition of subdynamics, reachability, etc. The PSPACE-completeness of computing the image of a single configuration lifts the complexity of most problems, but the landscape keeps some relief, in particular for reversible computations.
△ Less
Submitted 13 March, 2025; v1 submitted 6 March, 2025;
originally announced March 2025.
-
Rice-like complexity lower bounds for Boolean and uniform automata networks
Authors:
Aliénor Goubault--Larrecq,
Kévin Perrot
Abstract:
Automata networks are a versatile model of finite discrete dynamical systems composed of interacting entities (the automata), able to embed any directed graph as a dynamics on its space of configurations (the set of vertices, representing all the assignments of a state to each entity). In this world, virtually any question is decidable by a simple exhaustive search. We lever the Rice-like complexi…
▽ More
Automata networks are a versatile model of finite discrete dynamical systems composed of interacting entities (the automata), able to embed any directed graph as a dynamics on its space of configurations (the set of vertices, representing all the assignments of a state to each entity). In this world, virtually any question is decidable by a simple exhaustive search. We lever the Rice-like complexity lower bound, stating that any non-trivial monadic second order logic question on the graph of its dynamics is NP-hard or coNP-hard (given the automata network description), to bounded alphabets (including the Boolean case). This restriction is particularly meaningful for applications to "complex systems", where each entity has a restricted set of possible states (its alphabet). For the non-deterministic case, trivial questions are solvable in constant time, hence there is a sharp gap in complexity for the algorithmic solving of concrete problems on them. For the non-deterministic case, non-triviality is defined at bounded treewidth, which offers a structure to establish metatheorems of complexity lower bounds.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Roots in the semiring of finite deterministic dynamical systems
Authors:
François Doré,
Kévin Perrot,
Antonio E. Porreca,
Sara Riva,
Marius Rolland
Abstract:
Finite discrete-time dynamical systems (FDDS) model phenomena that evolve deterministically in discrete time. It is possible to define sum and product operations on these systems (disjoint union and direct product, respectively) giving a commutative semiring. This algebraic structure led to several works employing polynomial equations to model hypotheses on phenomena modelled using FDDS. To solve…
▽ More
Finite discrete-time dynamical systems (FDDS) model phenomena that evolve deterministically in discrete time. It is possible to define sum and product operations on these systems (disjoint union and direct product, respectively) giving a commutative semiring. This algebraic structure led to several works employing polynomial equations to model hypotheses on phenomena modelled using FDDS. To solve these equations, algorithms for performing the division and computing $k$-th roots are needed. In this paper, we propose two polynomial algorithms for these tasks, under the condition that the result is a connected FDDS. This ultimately leads to an efficient solution to equations of the type $AX^k=B$ for connected $X$. These results are some of the important final steps for solving more general polynomial equations on FDDS.
△ Less
Submitted 4 February, 2025; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Complexity of Boolean automata networks under block-parallel update modes
Authors:
Kévin Perrot,
Sylvain Sené,
Léah Tapin
Abstract:
Boolean automata networks (aka Boolean networks) are space-time discrete dynamical systems, studied as a model of computation and as a representative model of natural phenomena. A collection of simple entities (the automata) update their 0-1 states according to local rules. The dynamics of the network is highly sensitive to update modes, i.e., to the schedule according to which the automata apply…
▽ More
Boolean automata networks (aka Boolean networks) are space-time discrete dynamical systems, studied as a model of computation and as a representative model of natural phenomena. A collection of simple entities (the automata) update their 0-1 states according to local rules. The dynamics of the network is highly sensitive to update modes, i.e., to the schedule according to which the automata apply their local rule. A new family of update modes appeared recently, called block-parallel, which is dual to the well studied block-sequential. Although basic, it embeds the rich feature of update repetitions among a temporal updating period, allowing for atypical asymptotic behaviors. In this paper, we prove that it is able to breed complex computations, squashing almost all decision problems on the dynamics to the traditionally highest (for reachability questions) class PSPACE. Despite obtaining these complexity bounds for a broad set of local and global properties, we also highlight a surprising gap: bijectivity is still coNP.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Polygonal corona limit on multigrid dual tilings
Authors:
Victor Lutfalla,
Kévin Perrot
Abstract:
The growth pattern of an invasive cell-to-cell propagation (called the successive coronas) on the square grid is a tilted square. On the triangular and hexagonal grids, it is an hexagon. It is remarkable that, on the aperiodic structure of Penrose tilings, this cell-to-cell diffusion process tends to a regular decagon (at the limit). In this article we generalize this result to any regular multigr…
▽ More
The growth pattern of an invasive cell-to-cell propagation (called the successive coronas) on the square grid is a tilted square. On the triangular and hexagonal grids, it is an hexagon. It is remarkable that, on the aperiodic structure of Penrose tilings, this cell-to-cell diffusion process tends to a regular decagon (at the limit). In this article we generalize this result to any regular multigrid dual tiling, by defining the characteristic polygon of a multigrid and its dual tiling. Exploiting this elegant duality allows to fully understand why such surprising phenomena, of seeing highly regular polygonal shapes emerge from aperiodic underlying structures, happen.
△ Less
Submitted 10 April, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
On countings and enumerations of block-parallel automata networks
Authors:
Kévin Perrot,
Sylvain Sené,
Léah Tapin
Abstract:
When we focus on finite dynamical systems from both the computability/complexity and the modelling standpoints, automata networks seem to be a particularly appropriate mathematical model on which theory shall be developed. In this paper, automata networks are finite collections of entities (the automata), each automaton having its own set of possible states, which interact with each other over dis…
▽ More
When we focus on finite dynamical systems from both the computability/complexity and the modelling standpoints, automata networks seem to be a particularly appropriate mathematical model on which theory shall be developed. In this paper, automata networks are finite collections of entities (the automata), each automaton having its own set of possible states, which interact with each other over discrete time, interactions being defined as local functions allowing the automata to change their state according to the states of their neighbourhoods. The studies on this model of computation have underlined the very importance of the way (i.e. the schedule) according to which the automata update their states, namely the update modes which can be deterministic, periodic, fair, or not. Indeed, a given network may admit numerous underlying dynamics, these latter depending highly on the update modes under which we let the former evolve. In this paper, we pay attention to a new kind of deterministic, periodic and fair update mode family introduced recently in a modelling framework, called the block-parallel update modes by duality with the well-known and studied block-sequential update modes. More precisely, in the general context of automata networks, this work aims at presenting what distinguish block-parallel update modes from block-sequential ones, and at counting and enumerating them: in absolute terms, by keeping only representatives leading to distinct dynamics, and by keeping only representatives giving rise to distinct isomorphic limit dynamics. Put together, this paper constitutes a first theoretical analysis of these update modes and their impact on automata networks dynamics.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Hardness of monadic second-order formulae over succinct graphs
Authors:
Guilhem Gamard,
Pierre Guillon,
Kévin Perrot,
Guillaume Theyssier
Abstract:
Our main result is a succinct counterpoint to Courcelle's meta-theorem as follows: every arborescent monadic second-order (MSO) property is either NP-hard or coNP-hard over graphs given by succinct representations. Succint representations are Boolean circuits computing the adjacency relation. Arborescent properties are those which have infinitely many models and countermodels with bounded treewi…
▽ More
Our main result is a succinct counterpoint to Courcelle's meta-theorem as follows: every arborescent monadic second-order (MSO) property is either NP-hard or coNP-hard over graphs given by succinct representations. Succint representations are Boolean circuits computing the adjacency relation. Arborescent properties are those which have infinitely many models and countermodels with bounded treewidth. Moreover, we explore what happens when the arborescence condition is dropped and show that, under a reasonable complexity assumption, the previous dichotomy fails, even for questions expressible in first-order logic.
△ Less
Submitted 18 June, 2024; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Interaction graphs of isomorphic automata networks I: complete digraph and minimum in-degree
Authors:
Florian Bridoux,
Kévin Perrot,
Aymeric Picard Marchetto,
Adrien Richard
Abstract:
An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ o…
▽ More
An automata network with $n$ components over a finite alphabet $Q$ of size $q$ is a discrete dynamical system described by the successive iterations of a function $f:Q^n\to Q^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $[n]$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathbb{G}(f)$ of the interaction graphs of the automata networks isomorphic to $f$? It seems that this simple question has never been studied. Here, we report some basic facts. First, we prove that if $n\geq 5$ or $q\geq 3$ and $f$ is neither the identity nor constant, then $\mathbb{G}(f)$ always contains the complete digraph $K_n$, with $n^2$ arcs. Then, we prove that $\mathbb{G}(f)$ always contains a digraph whose minimum in-degree is bounded as a function of $q$. Hence, if $n$ is large with respect to $q$, then $\mathbb{G}(f)$ cannot only contain $K_n$. However, we prove that $\mathbb{G}(f)$ can contain only dense digraphs, with at least $\lfloor n^2/4 \rfloor$ arcs.
△ Less
Submitted 5 January, 2023;
originally announced January 2023.
-
Rikudo is NP-complete
Authors:
Viet-Ha Nguyen,
Kévin Perrot
Abstract:
Rikudo is a number-placement puzzle, where the player is asked to complete a Hamiltonian path on a hexagonal grid, given some clues (numbers already placed and edges of the path). We prove that the game is complete for NP, even if the puzzle has no hole. When all odd numbers are placed it is in P, whereas it is still NP-hard when all numbers of the form $3k+1$ are placed.
Rikudo is a number-placement puzzle, where the player is asked to complete a Hamiltonian path on a hexagonal grid, given some clues (numbers already placed and edges of the path). We prove that the game is complete for NP, even if the puzzle has no hole. When all odd numbers are placed it is in P, whereas it is still NP-hard when all numbers of the form $3k+1$ are placed.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Freezing sandpiles and Boolean threshold networks: equivalence and complexity
Authors:
Eric Goles,
Pedro Montealegre Kévin Perrot
Abstract:
The NC versus P-hard classification of the prediction problem for sandpiles on the two dimensional grid with von Neumann neighborhood is a famous open problem. In this paper we make two kinds of progresses, by studying its freezing variant. First, it enables to establish strong connections with other well known prediction problems on networks of threshold Boolean functions such as majority. Second…
▽ More
The NC versus P-hard classification of the prediction problem for sandpiles on the two dimensional grid with von Neumann neighborhood is a famous open problem. In this paper we make two kinds of progresses, by studying its freezing variant. First, it enables to establish strong connections with other well known prediction problems on networks of threshold Boolean functions such as majority. Second, we can highlight some necessary and sufficient elements to the dynamical complexity of sandpiles, with a surprisingly crucial role of cells with two grains.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Complexity of fixed point counting problems in Boolean Networks
Authors:
Florian Bridoux,
Amélia Durbec,
Kévin Perrot,
Adrien Richard
Abstract:
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 amon…
▽ More
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).
△ Less
Submitted 9 February, 2022; v1 submitted 4 December, 2020;
originally announced December 2020.
-
Optimising attractor computation in Boolean automata networks
Authors:
Kévin Perrot,
Pacôme Perrotin,
Sylvain Sené
Abstract:
This paper details a method for optimising the size of Boolean automata networks in order to compute their attractors under the parallel update schedule. This method relies on the formalism of modules introduced recently that allows for (de)composing such networks. We discuss the practicality of this method by exploring examples. We also propose results that nail the complexity of most parts of th…
▽ More
This paper details a method for optimising the size of Boolean automata networks in order to compute their attractors under the parallel update schedule. This method relies on the formalism of modules introduced recently that allows for (de)composing such networks. We discuss the practicality of this method by exploring examples. We also propose results that nail the complexity of most parts of the process, while the complexity of one part of the problem is left open.
△ Less
Submitted 20 July, 2020; v1 submitted 29 May, 2020;
originally announced May 2020.
-
Non-maximal sensitivity to synchronism in periodic elementary cellular automata: exact asymptotic measures
Authors:
Pedro P. B. de Oliveira,
Enrico Formenti,
Kévin Perrot,
Sara Riva,
Eurico L. P. Ruivo
Abstract:
In [11] and [13] the authors showed that elementary cellular automata rules 0, 3, 8, 12, 15, 28, 32, 34, 44, 51, 60, 128, 136, 140, 160, 162, 170, 200 and 204 (and their conjugation, reflection, reflected-conjugation) are not maximum sensitive to synchronism, i.e. they do not have a different dynamics for each (non-equivalent) block-sequential update schedule (defined as ordered partitions of cell…
▽ More
In [11] and [13] the authors showed that elementary cellular automata rules 0, 3, 8, 12, 15, 28, 32, 34, 44, 51, 60, 128, 136, 140, 160, 162, 170, 200 and 204 (and their conjugation, reflection, reflected-conjugation) are not maximum sensitive to synchronism, i.e. they do not have a different dynamics for each (non-equivalent) block-sequential update schedule (defined as ordered partitions of cell positions). In this work we present exact measurements of the sensitivity to synchronism for these rules, as functions of the size. These exhibit a surprising variety of values and associated proof methods, such as the special pairs of rule 128, and the connection to the bissection of Lucas numbers of rule 8.
△ Less
Submitted 23 July, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
#P-completeness of counting update digraphs, cacti, and a series-parallel decomposition method
Authors:
Camille Noûs,
Kévin Perrot,
Sylvain Sené,
Lucas Venturini
Abstract:
Automata networks are a very general model of interacting entities, with applications to biological phenomena such as gene regulation. In many contexts, the order in which entities update their state is unknown, and the dynamics may be very sensitive to changes in this schedule of updates. Since the works of Aracena et. al, it is known that update digraphs are pertinent objects to study non-equiva…
▽ More
Automata networks are a very general model of interacting entities, with applications to biological phenomena such as gene regulation. In many contexts, the order in which entities update their state is unknown, and the dynamics may be very sensitive to changes in this schedule of updates. Since the works of Aracena et. al, it is known that update digraphs are pertinent objects to study non-equivalent block-sequential update schedules. We prove that counting the number of equivalence classes, that is a tight upper bound on the synchronism sensitivity of a given network, is #P-complete. The problem is nevertheless computable in quasi-quadratic time for oriented cacti, and for oriented series-parallel graphs thanks to a decomposition method.
△ Less
Submitted 5 April, 2020;
originally announced April 2020.
-
Complexity of limit-cycle problems in Boolean networks
Authors:
Florian Bridoux,
Caroline Gaze-Maillot,
Kévin Perrot,
Sylvain Sené
Abstract:
Boolean networks are a general model of interacting entities, with applications to biological phenomena such as gene regulation. Attractors play a central role, and the schedule of entities update is a priori unknown. This article presents results on the computational complexity of problems related to the existence of update schedules such that some limit-cycle lengths are possible or not. We firs…
▽ More
Boolean networks are a general model of interacting entities, with applications to biological phenomena such as gene regulation. Attractors play a central role, and the schedule of entities update is a priori unknown. This article presents results on the computational complexity of problems related to the existence of update schedules such that some limit-cycle lengths are possible or not. We first prove that given a Boolean network updated in parallel, knowing whether it has at least one limit-cycle of length $k$ is $\text{NP}$-complete. Adding an existential quantification on the block-sequential update schedule does not change the complexity class of the problem, but the following alternation brings us one level above in the polynomial hierarchy: given a Boolean network, knowing whether there exists a block-sequential update schedule such that it has no limit-cycle of length $k$ is $Σ_2^\text{P}$-complete.
△ Less
Submitted 21 January, 2020;
originally announced January 2020.
-
On the complexity of acyclic modules in automata networks
Authors:
Kévin Perrot,
Pacôme Perrotin,
Sylvain Sené
Abstract:
Modules were introduced as an extension of Boolean automata networks. They have inputs which are used in the computation said modules perform, and can be used to wire modules with each other. In the present paper we extend this new formalism and study the specific case of acyclic modules. These modules prove to be well described in their limit behavior by functions called output functions. We prov…
▽ More
Modules were introduced as an extension of Boolean automata networks. They have inputs which are used in the computation said modules perform, and can be used to wire modules with each other. In the present paper we extend this new formalism and study the specific case of acyclic modules. These modules prove to be well described in their limit behavior by functions called output functions. We provide other results that offer an upper bound on the number of attractors in an acyclic module when wired recursively into an automata network, alongside a diversity of complexity results around the difficulty of deciding the existence of cycles depending on the number of inputs and the size of said cycle.
△ Less
Submitted 11 February, 2020; v1 submitted 16 October, 2019;
originally announced October 2019.
-
How hard is it to predict sandpiles on lattices? A survey
Authors:
Kévin Perrot,
Enrico Formenti
Abstract:
Since their introduction in the 80s, sandpile models have raised interest for their simple definition and their surprising dynamical properties. In this survey we focus on the computational complexity of the prediction problem, namely, the complexity of knowing, given a finite configuration $c$ and a cell $x$ in $c$, if cell $x$ will eventually become unstable. This is an attempt to formalize the…
▽ More
Since their introduction in the 80s, sandpile models have raised interest for their simple definition and their surprising dynamical properties. In this survey we focus on the computational complexity of the prediction problem, namely, the complexity of knowing, given a finite configuration $c$ and a cell $x$ in $c$, if cell $x$ will eventually become unstable. This is an attempt to formalize the intuitive notion of "behavioral complexity" that one easily observes in simulations. However, despite many efforts and nice results, the original question remains open: how hard is it to predict the two-dimensional sandpile model of Bak, Tang and Wiesenfeld?
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
On the complexity of counting feedback arc sets
Authors:
Kevin Perrot
Abstract:
In this note we study the computational complexity of feedback arc set counting problems in directed graphs, highlighting some subtle yet common properties of counting classes. Counting the number of feedback arc sets of cardinality $k$ and the total number of feedback arc sets are #P-complete problems, while counting the number of minimum feedback arc sets is only proven to be #P-hard. Indeed, th…
▽ More
In this note we study the computational complexity of feedback arc set counting problems in directed graphs, highlighting some subtle yet common properties of counting classes. Counting the number of feedback arc sets of cardinality $k$ and the total number of feedback arc sets are #P-complete problems, while counting the number of minimum feedback arc sets is only proven to be #P-hard. Indeed, this latter problem is #.OptP[log n]-complete, hence if it belongs to #P then P=NP.
△ Less
Submitted 10 March, 2022; v1 submitted 7 September, 2019;
originally announced September 2019.
-
NP-completeness of the game Kingdomino
Authors:
Viet-Ha Nguyen,
Kevin Perrot,
Mathieu Vallet
Abstract:
Kingdomino is a board game designed by Bruno Cathala and edited by Blue Orange since 2016. The goal is to place $2 \times 1$ dominoes on a grid layout, and get a better score than other players. Each $1 \times 1$ domino cell has a color that must match at least one adjacent cell, and an integer number of crowns (possibly none) used to compute the score. We prove that even with full knowledge of th…
▽ More
Kingdomino is a board game designed by Bruno Cathala and edited by Blue Orange since 2016. The goal is to place $2 \times 1$ dominoes on a grid layout, and get a better score than other players. Each $1 \times 1$ domino cell has a color that must match at least one adjacent cell, and an integer number of crowns (possibly none) used to compute the score. We prove that even with full knowledge of the future of the game, in order to maximize their score at Kingdomino, players are faced with an NP-complete optimization problem.
△ Less
Submitted 31 March, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Computational complexity of the avalanche problem on one dimensional Kadanoff sandpiles
Authors:
Enrico Formenti,
Kévin Perrot,
Eric Rémila
Abstract:
In this paper we prove that the general avalanche problem AP is in NC, for the Kadanoff sandpile model in one dimension, answering an open problem of Formenti, Goles and Martin in 2010. Thus adding one more item to the (slowly) growing list of dimension sensitive problems since in higher dimensions the problem is P-complete (for monotone sandpiles).
In this paper we prove that the general avalanche problem AP is in NC, for the Kadanoff sandpile model in one dimension, answering an open problem of Formenti, Goles and Martin in 2010. Thus adding one more item to the (slowly) growing list of dimension sensitive problems since in higher dimensions the problem is P-complete (for monotone sandpiles).
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
Linearity is Strictly More Powerful than Contiguity for Encoding Graphs
Authors:
Christophe Crespelle,
Tien-Nam Le,
Kevin Perrot,
Thi Ha Duong Phan
Abstract:
Linearity and contiguity are two parameters devoted to graph encoding. Linearity is a generalisation of contiguity in the sense that every encoding achieving contiguity $k$ induces an encoding achieving linearity $k$, both encoding having size $Θ(k.n)$, where $n$ is the number of vertices of $G$. In this paper, we prove that linearity is a strictly more powerful encoding than contiguity, i.e. ther…
▽ More
Linearity and contiguity are two parameters devoted to graph encoding. Linearity is a generalisation of contiguity in the sense that every encoding achieving contiguity $k$ induces an encoding achieving linearity $k$, both encoding having size $Θ(k.n)$, where $n$ is the number of vertices of $G$. In this paper, we prove that linearity is a strictly more powerful encoding than contiguity, i.e. there exists some graph family such that the linearity is asymptotically negligible in front of the contiguity. We prove this by answering an open question asking for the worst case linearity of a cograph on $n$ vertices: we provide an $O(\log n/\log\log n)$ upper bound which matches the previously known lower bound.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
A framework for (de)composing with Boolean automata networks
Authors:
Kévin Perrot,
Pacôme Perrotin,
Sylvain Sené
Abstract:
Boolean automata networks (BANs) are a generalisation of Boolean cellular automata. In such, any theorem describing the way BANs compute information is a strong tool that can be applied to a wide range of models of computation. In this paper we explore a way of working with BANs which involves adding external inputs to the base model (via modules), and more importantly, a way to link networks toge…
▽ More
Boolean automata networks (BANs) are a generalisation of Boolean cellular automata. In such, any theorem describing the way BANs compute information is a strong tool that can be applied to a wide range of models of computation. In this paper we explore a way of working with BANs which involves adding external inputs to the base model (via modules), and more importantly, a way to link networks together using the above mentioned inputs (via wirings). Our aim is to develop a powerful formalism for BAN (de)composition. We formulate two results: the first one shows that our modules/wirings definition is complete, the second one uses modules/wirings to prove simulation results amongst BANs.
△ Less
Submitted 9 April, 2018; v1 submitted 28 February, 2018;
originally announced February 2018.
-
On the cost of simulating a parallel Boolean automata network by a block-sequential one
Authors:
Florian Bridoux,
Pierre Guillon,
Kévin Perrot,
Sylvain Sené,
Guillaume Theyssier
Abstract:
In this article we study the minimum number $κ$ of additional automata that a Boolean automata network (BAN) associated with a given block-sequential update schedule needs in order to simulate a given BAN with a parallel update schedule. We introduce a graph that we call $\mathsf{NECC}$ graph built from the BAN and the update schedule. We show the relation between $κ$ and the chromatic number of t…
▽ More
In this article we study the minimum number $κ$ of additional automata that a Boolean automata network (BAN) associated with a given block-sequential update schedule needs in order to simulate a given BAN with a parallel update schedule. We introduce a graph that we call $\mathsf{NECC}$ graph built from the BAN and the update schedule. We show the relation between $κ$ and the chromatic number of the $\mathsf{NECC}$ graph. Thanks to this $\mathsf{NECC}$ graph, we bound $κ$ in the worst case between $n/2$ and $2n/3+2$ ($n$ being the size of the BAN simulated) and we conjecture that this number equals $n/2$. We support this conjecture with two results: the clique number of a $\mathsf{NECC}$ graph is always less than or equal to $n/2$ and, for the subclass of bijective BANs, $κ$ is always less than or equal to $n/2+1$.
△ Less
Submitted 10 February, 2017;
originally announced February 2017.
-
On the flora of asynchronous locally non-monotonic Boolean automata networks
Authors:
Aurore Alcolei,
Kévin Perrot,
Sylvain Sené
Abstract:
Boolean automata networks (BANs) are a well established model for biological regulation systems such as neural networks or genetic networks. Studies on the dynamics of BANs, whether it is synchronous or asynchronous, have mainly focused on monotonic networks, where fundamental questions on the links relating their static and dynamical properties have been raised and addressed. This paper explores…
▽ More
Boolean automata networks (BANs) are a well established model for biological regulation systems such as neural networks or genetic networks. Studies on the dynamics of BANs, whether it is synchronous or asynchronous, have mainly focused on monotonic networks, where fundamental questions on the links relating their static and dynamical properties have been raised and addressed. This paper explores analogous questions on asynchronous non-monotonic networks, xor-BANs, that are BANs where all the local transition functions are xor-functions. Using algorithmic tools, we give a general characterisation of the asynchronous transition graphs for most of the cactus xor-BANs and strongly connected xor-BANs. As an illustration of the results, we provide a complete description of the asynchronous dynamics of two particular classes of xor-BAN, namely xor-Flowers and xor-Cycle Chains. This work also leads to new bisimulation equivalences specific to xor-BANs.
△ Less
Submitted 1 March, 2016; v1 submitted 19 October, 2015;
originally announced October 2015.
-
Emergence of wave patterns on Kadanoff Sandpiles
Authors:
Kévin Perrot,
Eric Rémila
Abstract:
Emergence is a concept that is easy to exhibit, but very hard to formally handle. This paper is about cubic sand grains moving around on nicely packed columns in one dimension (the physical sandpile is two dimensional, but the support of sand columns is one dimensional). The Kadanoff Sandpile Model is a discrete dynamical system describing the evolution of a finite number of stacked grains --as th…
▽ More
Emergence is a concept that is easy to exhibit, but very hard to formally handle. This paper is about cubic sand grains moving around on nicely packed columns in one dimension (the physical sandpile is two dimensional, but the support of sand columns is one dimensional). The Kadanoff Sandpile Model is a discrete dynamical system describing the evolution of a finite number of stacked grains --as they would fall from an hourglass-- to a stable configuration (fixed point). Grains move according to the repeated application of a simple local rule until reaching a fixed point. The main interest of the model relies in the difficulty of understanding its behavior, despite the simplicity of the rule. In this paper we prove the emergence of wave patterns periodically repeated on fixed points. Remarkably, those regular patterns do not cover the entire fixed point, but eventually emerge from a seemingly highly disordered segment. The proof technique we set up associates arguments of linear algebra and combinatorics, which interestingly allow to formally state the emergence of regular patterns without requiring a precise understanding of the chaotic initial segment's dynamic.
△ Less
Submitted 14 December, 2013;
originally announced December 2013.
-
Kadanoff Sand Pile Model. Avalanche Structure and Wave Shape
Authors:
Kevin Perrot,
Eric Rémila
Abstract:
Sand pile models are dynamical systems describing the evolution from $N$ stacked grains to a stable configuration. It uses local rules to depict grain moves and iterate it until reaching a fixed configuration from which no rule can be applied. Physicists L. Kadanoff {\em et al} inspire KSPM, extending the well known {\em Sand Pile Model} (SPM). In KSPM($D$), we start from a pile of $N$ stacked gra…
▽ More
Sand pile models are dynamical systems describing the evolution from $N$ stacked grains to a stable configuration. It uses local rules to depict grain moves and iterate it until reaching a fixed configuration from which no rule can be applied. Physicists L. Kadanoff {\em et al} inspire KSPM, extending the well known {\em Sand Pile Model} (SPM). In KSPM($D$), we start from a pile of $N$ stacked grains and apply the rule: $D\!-\!1$ grains can fall from column $i$ onto columns $i+1,i+2,\dots,i+D\!-\!1$ if the difference of height between columns $i$ and $i\!+\!1$ is greater or equal to $D$. Toward the study of fixed points (stable configurations on which no grain can move) obtained from $N$ stacked grains, we propose an iterative study of KSPM evolution consisting in the repeated addition of one grain on a heap of sand, triggering an avalanche at each iteration. We develop a formal background for the study of avalanches, resumed in a finite state word transducer, and explain how this transducer may be used to predict the form of fixed points. Further precise developments provide a plain formula for fixed points of KSPM(3), showing the emergence of a wavy shape.
△ Less
Submitted 18 April, 2013;
originally announced April 2013.
-
Feedback arc set problem and NP-hardness of minimum recurrent configuration problem of Chip-firing game on directed graphs
Authors:
Kévin Perrot,
Trung Van Pham
Abstract:
In this paper we present further studies of recurrent configurations of Chip-firing games on Eulerian directed graphs (simple digraphs), a class on the way from undirected graphs to general directed graphs. A computational problem that arises naturally from this model is to find the minimum number of chips of a recurrent configuration, which we call the minimum recurrent configuration (MINREC) pro…
▽ More
In this paper we present further studies of recurrent configurations of Chip-firing games on Eulerian directed graphs (simple digraphs), a class on the way from undirected graphs to general directed graphs. A computational problem that arises naturally from this model is to find the minimum number of chips of a recurrent configuration, which we call the minimum recurrent configuration (MINREC) problem. We point out a close relationship between MINREC and the minimum feedback arc set (MINFAS) problem on Eulerian directed graphs, and prove that both problems are NP-hard.
△ Less
Submitted 29 August, 2013; v1 submitted 15 March, 2013;
originally announced March 2013.
-
Kadanoff Sand Piles, following the snowball
Authors:
Kévin Perrot,
Eric Rémila
Abstract:
This paper is about cubic sand grains moving around on nicely packed columns in one dimension (the physical sand pile is two dimensional, but the support of sand columns is one dimensional). The Kadanoff Sand Pile Model is a discrete dynamical system describing the evolution of a finite number of stacked grains --as they would fall from an hourglass-- to a stable configuration. Grains move accordi…
▽ More
This paper is about cubic sand grains moving around on nicely packed columns in one dimension (the physical sand pile is two dimensional, but the support of sand columns is one dimensional). The Kadanoff Sand Pile Model is a discrete dynamical system describing the evolution of a finite number of stacked grains --as they would fall from an hourglass-- to a stable configuration. Grains move according to the repeated application of a simple local rule until reaching a stable configuration from which no rule can be applied, namely a fixed point.
The main interest of the model relies in the difficulty of understanding its behavior, despite the simplicity of the rule. We are interested in describing the shape of fixed point configurations according to the number of initially stacked sand grains. In this paper, we prove the emergence of a wavy shape on fixed points, i.e., a regular pattern is (nearly) periodically repeated on fixed points. Interestingly, the regular pattern does not cover the entire fixed point, but eventually emerges from a seemingly highly disordered segment. Fortunately, the relative size of the part of fixed points non-covered by the pattern repetition is asymptotically null.
△ Less
Submitted 6 January, 2013;
originally announced January 2013.
-
On the set of Fixed Points of the Parallel Symmetric Sand Pile Model
Authors:
Kevin Perrot,
Thi Ha Duong Phan,
Trung Van Pham
Abstract:
Sand Pile Models are discrete dynamical systems emphasizing the phenomenon of Self-Organized Criticality. From a configuration composed of a finite number of stacked grains, we apply on every possible positions (in parallel) two grain moving transition rules. The transition rules permit one grain to fall to its right or left (symmetric) neighboring column if the difference of height between those…
▽ More
Sand Pile Models are discrete dynamical systems emphasizing the phenomenon of Self-Organized Criticality. From a configuration composed of a finite number of stacked grains, we apply on every possible positions (in parallel) two grain moving transition rules. The transition rules permit one grain to fall to its right or left (symmetric) neighboring column if the difference of height between those columns is larger than 2. The model is nondeterministic and grains always fall downward. We propose a study of the set of fixed points reachable in the Parallel Symmetric Sand Pile Model (PSSPM). Using a comparison with the Symmetric Sand Pile Model (SSPM) on which rules are applied once at each iteration, we get a continuity property. This property states that within PSSPM we can't reach every fixed points of SSPM, but a continuous subset according to the lexicographic order. Moreover we define a successor relation to browse exhaustively the sets of fixed points of those models.
△ Less
Submitted 3 July, 2012;
originally announced July 2012.
-
Transduction on Kadanoff Sand Pile Model Avalanches, Application to Wave Pattern Emergence
Authors:
Kévin Perrot,
Eric Rémila
Abstract:
Sand pile models are dynamical systems describing the evolution from $N$ stacked grains to a stable configuration. It uses local rules to depict grain moves and iterate it until reaching a fixed configuration from which no rule can be applied. The main interest of sand piles relies in their {\em Self Organized Criticality} (SOC), the property that a small perturbation | adding some sand grains | o…
▽ More
Sand pile models are dynamical systems describing the evolution from $N$ stacked grains to a stable configuration. It uses local rules to depict grain moves and iterate it until reaching a fixed configuration from which no rule can be applied. The main interest of sand piles relies in their {\em Self Organized Criticality} (SOC), the property that a small perturbation | adding some sand grains | on a fixed configuration has uncontrolled consequences on the system, involving an arbitrary number of grain fall. Physicists L. Kadanoff {\em et al} inspire KSPM, a model presenting a sharp SOC behavior, extending the well known {\em Sand Pile Model}. In KSPM($D$), we start from a pile of $N$ stacked grains and apply the rule: $D-1$ grains can fall from column $i$ onto the $D-1$ adjacent columns to the right if the difference of height between columns $i$ and $i+1$ is greater or equal to $D$. This paper develops a formal background for the study of KSPM fixed points. This background, resumed in a finite state word transducer, is used to provide a plain formula for fixed points of KSPM(3).
△ Less
Submitted 14 June, 2011;
originally announced June 2011.
-
Avalanche Structure in the Kadanoff Sand Pile Model
Authors:
Kevin Perrot,
Eric Rémila
Abstract:
Sand pile models are dynamical systems emphasizing the phenomenon of Self Organized Criticality (SOC). From N stacked grains, iterating evolution rules leads to some critical configuration where a small disturbance has deep consequences on the system, involving numerous steps of grain fall. Physicists L. Kadanoff et al. inspire KSPM, a model presenting a sharp SOC behavior, extending the well know…
▽ More
Sand pile models are dynamical systems emphasizing the phenomenon of Self Organized Criticality (SOC). From N stacked grains, iterating evolution rules leads to some critical configuration where a small disturbance has deep consequences on the system, involving numerous steps of grain fall. Physicists L. Kadanoff et al. inspire KSPM, a model presenting a sharp SOC behavior, extending the well known Sand Pile Model. In KSPM with parameter D we start from a pile of N stacked grains and apply the rule: D-1 grains can fall from column i onto the D-1 adjacent columns to the right if the difference of height between columns i and i+1 is greater or equal to D. We propose an iterative study of KSPM evolution where one single grain addition is repeated on a heap of sand. The sequence of grain falls following a single grain addition is called an avalanche. From a certain column precisely studied for D=3, we provide a plain process describing avalanches.
△ Less
Submitted 31 January, 2011;
originally announced January 2011.
