
handle: 11441/107561
The search for new mechanisms and tools allowing us to tackle the famousPversusNPproblem from new perspectives is an important task, due to the relevance of that problem.The concept of efficiency of computing models is associated with the ability to solveintractable (in a classical sense) problems in polynomial time. Assuming that P =NP, that concept is equivalent to the capability to solveNP-complete problems in an efficient way.Different frontiers of the efficiency have been given in Membrane Computing in terms ofsyntactical or semantic ingredients of the models. In particular, in the framework of tissueP systems with cell division using symport/antiport rules, the length of communicationrules (passing from length 1 to length 2) provides an optimal borderline of the efficiency. Cell-like P systems with symport/antiport rules and membrane division is a restrictedvariant of such tissue P systems in both its structure (rooted tree versus undirected graph)and in the way membranes communicate with each other and with the environment. Thelimitations of efficient computations in such kind of P systems which use non-cooperativecommunication rules have been previously established. In this paper, a uniform polynomialtime solution for the Hamiltonian cycle problem, a well knownNP-complete problem,by means of cell-like P systems with membrane division using minimal cooperation incommunication rules (at most two objects are involved), is provided. Hence, a new optimalboundary between tractability andNP-hardness, is provided: passing from non-cooperativerules to cooperative rules in cell-like P systems with symport/antiport rules and membranedivision amounts to passing from non-efficiency to efficiency. Ministerio de Economía, Industria y Competitividad TIN2017-89842-P (MABICAP)
computational complexity, Analysis of algorithms and problem complexity, membrane division, Membrane division, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), Membrane Computing, Models of computation (Turing machines, etc.), Computational complexity, membrane computing, P system with symport/antiport
computational complexity, Analysis of algorithms and problem complexity, membrane division, Membrane division, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), Membrane Computing, Models of computation (Turing machines, etc.), Computational complexity, membrane computing, P system with symport/antiport
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 15 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
