A toolbox for simpler active membrane algorithms

被引:3
|
作者
Leporati, Alberto [1 ]
Manzoni, Luca [1 ]
Mauri, Giancarlo [1 ]
Porreca, Antonio E. [1 ]
Zandron, Claudio [1 ]
机构
[1] Univ Milano Bicocca, Dipartimento Informat Sistemist & Comunicaz, Viale Sarca 336-14, I-20126 Milan, Italy
关键词
Membrane computing; Computational complexity; P system with active membranes; P-SYSTEMS; COMPUTATIONAL-EFFICIENCY; DIVISION; RULES;
D O I
10.1016/j.tcs.2017.03.015
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We show that recogniser P systems with active membranes can be augmented with a priority over their set of rules and any number of membrane charges without loss of generality, as they can be simulated by standard P systems with active membranes, in particular using only two charges. Furthermore, we show that more general accepting conditions, such as sending out several, possibly contradictory results and keeping only the first one, or rejecting by halting without output, are also equivalent to the standard accepting conditions. The simulations we propose are always without significant loss of efficiency, and thus the results of this paper can hopefully simplify the design of algorithms for P systems with active membranes. (C) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码:42 / 57
页数:16
相关论文
共 50 条
  • [1] New tools and simpler algorithms for branchwidth
    Paul, C
    Telle, JA
    ALGORITHMS - ESA 2005, 2005, 3669 : 379 - 390
  • [2] A SIMPLER DERIVATION OF SCHEMA HAZARD IN GENETIC ALGORITHMS
    CHAKRABORTY, UK
    INFORMATION PROCESSING LETTERS, 1995, 56 (02) : 77 - 78
  • [3] Simpler and faster algorithms for detours in planar digraphs
    Hatzel, Meike
    Majewski, Konrad
    Pilipczuk, Michal
    Sokolowski, Marek
    2023 SYMPOSIUM ON SIMPLICITY IN ALGORITHMS, SOSA, 2023, : 156 - 165
  • [4] PHAT - Persistent Homology Algorithms Toolbox
    Bauer, Ulrich
    Kerber, Michael
    Reininghaus, Jan
    Wagner, Hubert
    JOURNAL OF SYMBOLIC COMPUTATION, 2017, 78 : 76 - 90
  • [5] Algorithms and Data Structures: The Basic Toolbox
    Petit, Jordi
    COMPUTER SCIENCE REVIEW, 2009, 3 (01) : 47 - 51
  • [6] Better and Simpler Approximation Algorithms for the Stable Marriage Problem
    Kiraly, Zoltan
    ALGORITHMS - ESA 2008, 2008, 5193 : 623 - 634
  • [7] Better and Simpler Approximation Algorithms for the Stable Marriage Problem
    Kiraly, Zoltan
    ALGORITHMICA, 2011, 60 (01) : 3 - 20
  • [8] Better and Simpler Approximation Algorithms for the Stable Marriage Problem
    Zoltán Király
    Algorithmica, 2011, 60 : 3 - 20
  • [9] OPTool-An optimization toolbox for iterative algorithms
    Silvestre, Daniel
    SOFTWAREX, 2020, 11
  • [10] A toolbox for cryptanalysis:: Linear and affine equivalence algorithms
    Biryukov, A
    De Cannière, C
    Braeken, A
    Preneel, B
    ADVANCES IN CRYPTOLOGY-EUROCRYPT 2003, 2003, 2656 : 33 - 50