Title | 3-COL problem modelling using simple Kernel P systems |
Publication Type | Journal Papers |
Year of Publication | 2013 |
Authors | Gheorghe, M., Ipate F., Lefticaru R., Pérez-Jiménez M. J., Turcanu A., Valencia-Cabrera L., García-Quismondo M., & Mierla L. |
Journal Title | International Journal of Computer Mathematics |
Publisher | Taylor and Francis |
Place Published | London, UK |
Volume | 90 |
Pages | 816-830 |
Date Published | 10/2013 |
Abstract | This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a 3-colouring problem case study the expressive power and efficiency of kernel P systems. It describes two skPsystems that model the problem and analyzes them in terms of efficiency and complexity. The skP models prove to be more succinct (in terms of number of rules, objects, number of cells and execution steps) than the corresponding tissue P system, availablein the literature, that solves the same problem, at the expense of a greater length of the rules. |
Keywords | 3-colour problem, Formal Verification, kernel P systems, Membrane computing, Tissue P Systems |
URL | http://dx.doi.org/10.1080/00207160.2012.743712 |
Issue | 4 |
Impact Factor | 0.542 |
Ranking | 173/247 - Q3 |
ISSN Number | 0020-7160 |
DOI | 10.1080/00207160.2012.743712 |