Accepting networks of splicing processors

被引：0
|
作者：
Manea, F
Martín-Vide, C
Mitrana, V
机构：
[1] Univ Bucharest, Fac Math & Comp Sci, Bucharest 70109, Romania
[2] Univ Rovira & Virgili, Res Grp Math Linguist, Tarragona 43005, Spain
来源：
NEW COMPUTATIONAL PARADIGMS | 2005年 / 3526卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present linear time solutions to two NP-complete problems, namely SAT and the directed Hamiltonian Path Problem (HPP), based on accepting networks of splicing processors (ANSP) having all resources (size, number of rules and symbols) linearly bounded by the size of the given instance. The underlying structure of these ANSPs does not depend on the number of clauses, in the case of SAT, and the number of edges, in the case of HPP. Furthermore, the running time of the ANSP solving HPP does not depend on the number of edges of the given graph and this network provides all solutions, if any, of the given instance of HPP.
引用
收藏
页码：300 / 309
页数：10
相关论文
共 50 条
  • [1] Accepting networks of splicing processors with filtered connections
    Castellanos, Juan
    Manea, Florin
    de Mingo Lopez, Luis Fernando
    Mitrana, Victor
    [J]. MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS, 2007, 4664 : 218 - +
  • [2] On accepting networks of splicing processors of size 3
    Loos, Remco
    [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 497 - 506
  • [3] Accepting networks of splicing processors:: Complexity results
    Manea, Florin
    Martin-Vide, Carlos
    Mitrana, Victor
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 371 (1-2) : 72 - 82
  • [4] Solving SAT by accepting networks of splicing processors with filtered connections
    Castellanos, Juan
    Lopez, Luis Fernando de Mingo
    Mitrana, Victor
    [J]. CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 260 - +
  • [5] On small, reduced, and fast universal accepting networks of splicing processors
    Loos, Remco
    Manea, Florin
    Mitrana, Victor
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (4-5) : 406 - 416
  • [6] Accepting networks of splicing processors:: Complexity results (vol 371, pg 72, 2007)
    Manea, Florin
    Martin-Vide, Carlos
    Mitrana, Victor
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 378 (01) : 131 - 131
  • [7] Accepting hybrid networks of evolutionary processors
    Margenstern, M
    Mitrana, V
    Pérez-Jiménez, MJ
    [J]. DNA COMPUTING, 2005, 3384 : 235 - 246
  • [8] Accepting Networks of Evolutionary Picture Processors
    Bottoni, Paolo
    Labella, Anna
    Mitrana, Victor
    [J]. FUNDAMENTA INFORMATICAE, 2014, 131 (3-4) : 337 - 349
  • [9] GENERATING NETWORKS OF SPLICING PROCESSORS
    Dassow, Juergen
    Manea, Florin
    Truthe, Bianca
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2012, 46 (04) : 547 - 572
  • [10] Networks of Polarized Splicing Processors
    Bordihn, Henning
    Mitrana, Victor
    Paun, Andrei
    Paun, Mihaela
    [J]. THEORY AND PRACTICE OF NATURAL COMPUTING, TPNC 2017, 2017, 10687 : 165 - 177
12345