An efficient time-free solution to QSAT problem using Psystems with proteins on membranes

作者：Song, Bosheng; Perez-Jimenez, Mario J.; Pan, Linqiang^*

来源：Information and Computation, 2017, 256: 287-299.

DOI：10.1016/j.ic.2017.06.005

• Bio-inspired computing
• Membrane computing
• P system
• Time-free solution
• QSAT problem

P systems are a class of distributed parallel computing devices inspired by some basic behaviors of biological membranes, which have the restriction that each rule is executed in exactly one time unit. However, it is natural to consider the systems without the time restriction on each rule since biochemical reactions in biological systems are inherently parallel and have different reaction rates, and the execution time of biochemical reactions is unpredictably sensitive to environmental factors. In this work, we construct a family of Psystems with proteins on membranes and membrane division that are "robust" against the execution time of rules. Specifically, we present a time-free uniform solution to the QSAT problem by using Psystems with proteins on membranes and membrane division in the sense that the execution time of the involved rules has no influence on the correctness of the solution.

• 出版日期2017-10
• 单位郑州轻工业大学; 华中科技大学