scholarly journals Solving Vertex Cover Problem by Means of Tissue P Systems with Cell Separation

Author(s):  
Chun Lu ◽  
Xingyi Zhang

Tissue P systems is a computing model in the framework of membrane computing inspired from intercellular communication and cooperation between neurons. Many different variants of this model have been proposed. One of the most important models is known as tissue P systems with cell separation. This model has the ability of generating an exponential amount of workspace in linear time, thus it allows us to design cellular solutions to NP-complete problems in polynomial time. In this paper, we present a solution to the Vertex Cover problem via a family of such devices. This is the first solution to this problem in the framework of tissue P systems with cell separation.

2014 ◽  
Vol 8 (1) ◽  
pp. 333-337 ◽  
Author(s):  
Tao Song ◽  
Hongjiang Zheng ◽  
Juanjuan He

2014 ◽  
Vol 568-570 ◽  
pp. 802-806
Author(s):  
Yun Yun Niu ◽  
Zhi Gao Wang

It is known that the Common Algorithmic Problem (CAP) has a nice property that several other NP-complete problems can be reduced to it in linear time. In the literature, the decision version of this problem can be efficiently solved with a family of recognizer P systems with active membranes with three electrical charges working in the maximally parallel way. We here work with a variant of P systems with active membranes that do not use polarizations and present a semi-uniform solution to CAP in the minimally parallel mode.


2014 ◽  
Vol 989-994 ◽  
pp. 4926-4929
Author(s):  
Yun Jia Zhang ◽  
Wei Wei ◽  
Ting Wang

We focus the solution space of a most fundamental problem - Minimum Vertex-Cover problem - in theoretical computer science. After some rigorous analysis, we provide the formation mechanism of minimum vertex-cover solutions on the tree and give the organization of these solutions on arbitrary lattice structure. By the results, we can easily calculate the solution numbers on these structures and have better understanding of the hardness of Minimum Vertex-Cover problem. The proposed study and algorithm can make a new way on detecting the essential difficulty of NP-complete problems and designing efficient algorithms on solving them.


2013 ◽  
Vol 2013 ◽  
pp. 1-7 ◽  
Author(s):  
Zhihua Chen ◽  
Tao Song ◽  
Yufang Huang ◽  
Xiaolong Shi

DNA tile assembly models are a class of mathematically distributed and parallel biocomputing models in DNA tiles. In previous works, tile assembly models have been proved be Turing-universal; that is, the system can do what Turing machine can do. In this paper, we use tile systems to solve computational hard problem. Mathematically, we construct three tile subsystems, which can be combined together to solve vertex cover problem. As a result, each of the proposed tile subsystems consists ofΘ(1) types of tiles, and the assembly process is executed in a parallel way (like DNA’s biological function in cells); thus the systems can generate the solution of the problem in linear time with respect to the size of the graph.


Author(s):  
Eiji MIYANO ◽  
Toshiki SAITOH ◽  
Ryuhei UEHARA ◽  
Tsuyoshi YAGITA ◽  
Tom C. van der ZANDEN

Author(s):  
Weng-Long Chang ◽  
Ting-Ting Ren ◽  
Mang Feng ◽  
Shu-Chien Huang ◽  
Lai Chin Lu ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document