Related Experiment Video
Updated: Apr 15, 2026

Membrane Transport Processes Analyzed by a Highly Parallel Nanopore Chip System at Single Protein Resolution
Published on: August 16, 2016
Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division
Bosheng Song1, Mario J Pérez-Jiménez2, Linqiang Pan3
1Key Laboratory of Image Information Processing and Intelligent Control, School of Automation, Huazhong University of Science and Technology, Wuhan 430074, Hubei, China; Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain.
This study introduces membrane division into P systems, enabling exponential workspace growth for efficient computation. This model provides linear-time solutions for NP-complete problems like Subset Sum and PSPACE-complete problems such as QSAT.
Area of Science:
- Theoretical Computer Science
- Biologically Inspired Computing
- Formal Languages and Automata Theory
Background:
- P systems are a class of computing models inspired by biological cell membranes.
- Existing P systems often lack mechanisms for efficient workspace expansion.
- Communication rules (symport/antiport) govern object movement without modification.
Purpose of the Study:
- To introduce membrane division into cell-like P systems with communication rules.
- To analyze the computational efficiency of these enhanced P systems.
- To demonstrate their capability in solving complex computational problems.
Main Methods:
- Incorporation of membrane division rules into P systems.
- Utilizing symport/antiport communication rules for object transport.
- Designing uniform solutions for NP-complete and PSPACE-complete problems.
Main Results:
- A linear-time uniform solution for the Subset Sum problem using elementary membrane division.
- Demonstration of efficient uniform solving of the QSAT problem with non-elementary membrane division.
- Achieving exponential workspace in linear time through membrane division.
Conclusions:
- Membrane division significantly enhances the computational power and efficiency of P systems.
- These P systems offer effective solutions for computationally hard problems.
- The model provides a powerful framework for exploring biological computation.
Related Concept Videos
Membrane Transporters
Transporters are mainly composed of alpha-helices, built from bundles of ten or more helices traversing the plasma membrane. The solute-binding sites are located midway, where some of the helices are broken or distorted, making space for the binding site through...
Pore Transport and Ion-Pair Transport
Pore transport, also known as convective transport, is a process where small molecules like urea, water, and sugars rapidly cross cell membranes as though there were channels or pores in the membrane. Although direct microscopic evidence is limited but the concept of pores or channels is widely accepted based on physiological evidence. Despite the lack of direct...
Membrane Asymmetry Regulating Transporters
Flippase
Eukaryotic flippases are type-IV P-type ATPases or P4-ATPases belonging to P-type ATPase family proteins that are membrane-bound pumps involved in the ATP-mediated transport of ions and molecules across the membrane. Flippases flip specific phospholipids from the outer to the inner leaflet of a membrane. All P4-ATPases have one...
ATP Driven Pumps I: An Overview
There are four main types of ATP-driven pumps - P-type, V-type, F-type, and ABC transporter. All these pumps are of varying complexities and...
The Significance of Membrane Transport
Transporters facilitate either an active or passive movement of solutes. They can allow a single-molecule transport down its...
Structure of Porins

