基于带活性膜膜系统的SAT问题时间无关解.pdfVIP

基于带活性膜膜系统的问题时间无关解 宋弢，宋勃升，潘林强 华中科技大学自动化学院，武汉　430074 摘要：膜系统（也称为P 系统）是一类受生物活细胞的结构与功能启发得到的分布式并行生物 计算模型。在之前的研究中，膜系统可以在有效时间内求解计算困难问题，其中每一条规则的 执行都消耗一个单位时间（假设膜系统中存在一个全局时钟，用于标注系统中规则的使用时 间，并且确保系统同步执行规则）。但是，在真实的生物活细胞中，我们既不可能限制生化进 程的执行时间，也无法通过使用全局时钟来约束不同生化反应的同步发生；另一方面，即使是 相同生化反应，其执行时间也会随着外界不可控环境的变化而变化。针对这些生物现实，本文 提出了时间无关的带活性膜膜系统，并基于该系统给出了SAT 问题的时间无关解，即解的正确 性与系统中规则的执行时间无关。 关键词：膜计算；膜系统；时间无关解；半统一解；NP完全问题 中图分类号：TP301 School of Automation, Huazhong University of Science and Technology, Wuhan