3-Col problem modelling using simple kernel P systems

Marian Gheorghe*, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Ţurcanu, Luis Valencia Cabrera, Manuel García-Quismondo, Laurenţiu Mierlǎ

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

34 Citations (Scopus)

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 skP systems that model the problem and analyses 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, available in the literature, that solves the same problem, at the expense of a greater length of the rules.

Original languageEnglish
Pages (from-to)816-830
Number of pages15
JournalInternational Journal of Computer Mathematics
Volume90
Issue number4
DOIs
Publication statusPublished - Apr 2013

Keywords

  • 3-colour problem
  • formal verification
  • kernel P systems
  • membrane computing
  • tissue P systems

ASJC Scopus subject areas

  • Computer Science Applications
  • Computational Theory and Mathematics
  • Applied Mathematics

Fingerprint

Dive into the research topics of '3-Col problem modelling using simple kernel P systems'. Together they form a unique fingerprint.

Cite this