Membrandata, som är en beräkningsmodell baserad på cellaktivitet, har stor uppmärksamhet som ett av de nya paradigmerna för beräkningar. I den allmänna membran beräkning, beräkning svårt problem har lösts i ett polynom antal steg med hjälp av ett exponentiellt antal membran. Minskning av antalet membran måste dock övervägas för att göra P-systemet mer realistiskt. I tidningen föreslår vi ett asynkront P-system med gren och bundet, vilket är en välkänd optimeringsteknik, för att minska antalet membran. Det föreslagna P-systemet löser satisfiability-problemet (SAT) med n-variabler och m-klausuler, och fungerar i O(m2 n ) sekventiella steg eller O(mn) parallella steg. Dessutom utvärderas antalet membran som används i det föreslagna P-systemet med hjälp av en beräkningssimulering. Det experimentella resultatet visar att det föreslagna P-systemet är giltigt och effektivt.
En ny studie introducerade idén om ett begränsat antal membran för att lösa tillfredsställande problem för att göra P-systemet mer realistiskt modell REF.
An asynchronous P system with branch and bound for solving the satisfiability problem
{'venue': 'Int. J. Netw. Comput.', 'journal': 'Int. J. Netw. Comput.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}