Period Piece: NEXPTIME-complete problems on digraphs via Boolean network dynamics

Florian Bridoux, Maximilien Gadouleau, David C. Kutner +1

The central object in this work is the Boolean network, a function $f:\{0,1{\}}^V\to \{0,1{\}}^V$. Often identified with $f$ is its dynamics $D_f$, the digraph with exactly $\{x \to y…