期刊
NATURAL COMPUTING
卷 10, 期 1, 页码 613-632出版社
SPRINGER
DOI: 10.1007/s11047-010-9244-7
关键词
Membrane systems; P-systems; Computational complexity; NL; Uniformity; Semi-uniformity
类别
资金
- Irish Research Council for Science, Engineering and Technology
- Junta de Andalucia (Spain) [TIC-581]
- National Science Foundation (USA) [0832824]
We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined as uniform families of computational devices. To date, polynomial time uniformity has been the accepted uniformity notion for membrane systems. Here, we introduce the idea of using AC (0)-uniformity and investigate the computational power of membrane systems under these tighter conditions. It turns out that the computational power of some systems is lowered from P to NL when using AC (0)-semi-uniformity, so we argue that this is a more reasonable uniformity notion for these systems as well as others. Interestingly, other P-semi-uniform systems that are known to be lower-bounded by P are shown to retain their P lower-bound under the new tighter semi-uniformity condition. Similarly, a number of membrane systems that are known to solve PSPACE-complete problems retain their computational power under tighter uniformity conditions.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据