布尔自动机网络中吸引子计算的优化
Optimising attractor computation in Boolean automata networks
摘要：
本文详细介绍了一种方法，用于优化布尔自动机网络的大小，以计算其吸引子下的并行更新时间表。这种方法依赖于最近引入的模块的形式主义，允许（解）组成这样的网络。我们讨论了这种方法的实用性，通过探索的例子。我们还提出了钉的过程中的大部分部分的复杂性的结果，而问题的一部分的复杂性是开放的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
