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.

翻译：本研究探讨变量消除如何影响布尔网络的渐近动力学与表型控制。我们特别关注其对最小陷阱空间的影响，并确定保证其保持的结构性条件。在三种主流控制方法（基于吸引子的控制、值传播控制及最小陷阱空间控制）以及不同更新机制（同步、异步、广义异步）下，我们系统分析了变量消除可能产生的效应。本文为约简方法的应用提供了理论洞见，并通过丰富的示例与反例构建了完整的案例体系。