Time-Free Solution to SAT Problem by Tissue P Systems

Abstract

Tissue P systems are a class of computing models inspired by intercellular communication, where the rules are used in the nondeterministic maximally parallel manner. As we know, the execution time of each rule is the same in the system. However, the execution time of biochemical reactions is hard to control from a biochemical point of view. In this work, we construct a uniform and efficient solution to the SAT problem with tissue P systems in a time-free way for the first time. With the P systems constructed from the sizes of instances, the execution time of the rules has no influence on the computation results. As a result, we prove that such system is shown to be highly effective for NP-complete problem even in a time-free manner with communication rules of length at most 3.

Timed Homeostasis Tissue-Like P Systems With Evolutional Symport/Antiport Rules

“…[38], the semi-uniform solution of the SAT has obtained for the first time. Recently, some NP-hard problems have been solved by various P systems in the time-free mode [39][40][41]. It should be noted that if tissue-like P systems work in a timefree manner, we call them timed tissue-like P systems.…”