膜计算系统求解计算困难问题综述

膜计算系统求解计算困难问题综述

论文摘要

在膜计算领域,一个备受关注的问题是证明各种膜系统模型能否在多项式时间内解决计算困难问题.然而一个重要的事实是,许多能够求解NP完全问题的膜系统模型甚至可以在多项式时间内解决PSPACE完全问题,有的模型可以刻画P#P(该复杂类被推测为严格包含在PSPACE中).文章主要介绍几类可以有效求解计算困难问题的膜系统,包括活性膜膜系统、膜上带蛋白膜系统、组织膜系统、带膜分裂的同向/反向规则膜系统以及脉冲神经膜系统;概述了这些膜系统模型的计算复杂性,指出了一些可以提高膜系统计算能力的特性,最后给出膜系统中存在的一些公开问题.

论文目录

  • 1 预备知识
  • 2 各类膜系统的计算能力
  •   2.1 活性膜膜系统
  •     2.1.1 无极化活性膜膜系统
  •     2.1.2 时间无关的活性膜膜系统
  •     2.1.3 非流利活性膜膜系统
  •   2.2 带膜分裂的同向/反向规则膜系统
  •   2.3 膜上带蛋白的膜系统
  •   2.4 组织膜系统
  •     2.4.1 带细胞分裂的组织膜系统
  •     2.4.2 具有细胞分离的组织膜系统
  •   2.5 脉冲神经膜系统
  • 3 结论
  • 文章来源

    类型: 期刊论文

    作者: 宋勃升,赖乐珊,李肯立

    关键词: 生物计算,膜系统,计算复杂性

    来源: 广州大学学报(自然科学版) 2019年06期

    年度: 2019

    分类: 基础科学,信息科技

    专业: 计算机软件及计算机应用

    单位: 湖南大学信息科学与工程学院

    基金: 国家自然科学基金资助项目(61972138,61602192),中央高校基本科研业务费资助项目(531118010355)

    分类号: TP301.6

    页码: 25-34

    总页数: 10

    文件大小: 192K

    下载量: 28

    相关论文文献

    标签:;  ;  ;  

    膜计算系统求解计算困难问题综述
    下载Doc文档

    猜你喜欢