摘要
首先给出了剪接系统模拟有向哈密顿路问题的思想;然后通过此剪接系统所产生语言的性质对有向哈密顿路问题进行分析,给出了有向图存在哈密顿路的充要条件.在我们的构造中,模拟问题的剪接系统至多运行n-2步,其中n是模拟问题的规模.
The ideas of simulating directed Hamilton path problems by splicing systems are showed, then some properties of directed graphs are presented based on the analysis of directed Hamilton path problems according to the properties of languages generated by the splicing systems. In our construction, the splicing systems simulating problems run at most n-2 steps, where n is the size of problems.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第5期774-777,共4页
Acta Electronica Sinica
基金
国家自然科学基金(No.60174047
No.60274026
No.60403002)
关键词
DNA计算
剪接系统
有向哈密顿路问题
Calculations
Computational complexity
Computer programming languages
Computer simulation
Construction
Graph theory
Theorem proving