自动机网络中无环模块的复杂性
离散数学
2020-02-12 v4 计算机科学中的逻辑
摘要
模块作为布尔自动机网络的扩展被引入。它们具有用于所述模块计算的输入，并可用于将模块相互连接。本文扩展了这一新形式体系，并研究了无环模块的特殊情况。这些模块在其极限行为中被证明可由称为输出函数的函数很好地描述。我们提供了其他结果，给出了当无环模块递归连接到自动机网络中时吸引子数量的上界，以及围绕根据输入数量和所述循环的大小判定循环存在性困难程度的多种复杂性结果。
引用
@article{arxiv.1910.07299,
title = {On the complexity of acyclic modules in automata networks},
author = {Kévin Perrot and Pacôme Perrotin and Sylvain Sené},
journal= {arXiv preprint arXiv:1910.07299},
year = {2020}
}
备注
21 pages