We investigate how elimination of variables can affect the asymptotic dynamics and phenotype control of Boolean networks. In particular, we look at the impact on minimal trap spaces, and identify a structural condition that guarantees their preservation. We examine the possible effects of variable elimination under three of the most popular approaches to control (attractor-based control, value propagation and control of minimal trap spaces), and under different update schemes (synchronous, asynchronous, generalized asynchronous). We provide some insights on the application of reduction, and an ample inventory of examples and counterexamples.

翻译：本文研究了变量消除如何影响布尔网络的渐近动力学与表型控制。我们特别关注了其对最小陷阱空间的影响，并识别出一种保证其保持的结构性条件。我们考察了在三种最流行的控制方法（基于吸引子的控制、值传播控制以及最小陷阱空间控制）下，以及在不同更新方案（同步、异步、广义异步）下，变量消除可能产生的效应。我们为约简的应用提供了一些见解，并给出了丰富的示例与反例集合。