带过滤连接的小型通用接受型进化处理器网络
形式语言与自动机理论
2009-07-30 v1 计算复杂性
摘要
本文给出了关于带过滤连接的接受型进化处理器网络(ANEPFCs)规模复杂度的一些结果。通过设计一种模拟2-标记系统的方法,我们证明了存在规模为10的通用ANEPFCs。这一结果显著改进了已知的通用ANEPFCs规模上界(此前为18)。我们还提出了一种新的、在计算和描述上高效的ANEPFCs模拟非确定性图灵机的方法。更精确地说,我们(由于篇幅限制,非正式地)描述了具有16个节点的ANEPFCs如何在O(f(n))时间内模拟任何时间复杂度为f(n)的非确定性图灵机。因此,模拟任意图灵机的网络节点数已知上界从26降低到了16。
引用
@article{arxiv.0907.5130,
title = {Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections},
author = {Remco Loos and Florin Manea and Victor Mitrana},
journal= {arXiv preprint arXiv:0907.5130},
year = {2009}
}