哈尔滨商业大学学报（自然科学版）2025，Vol.41Issue(5)：523-532,10.
基于DNA链置换开关反应求解可满足性问题
Solving satisfiability problem based on DNA strand displacement switch reactions
杨静 1何国庆1
作者信息
- 1. 安徽理工大学 数学与大数据学院,安徽 淮南 232001
- 折叠
摘要
Abstract
The satisfiability problem(SAT)was a well-known type of NP-complete problem.DNA strand displacement technology had unique high specificity and efficiency.It provided an approach to solve such problems.This paper proposed a switch circuit model.The model was based on DNA strand displacement.DNA double strands served as input signals.They entered three modules.These modules were the input module,the reaction module and the output module.The input signals reacted with DNA strands in the three modules.This reaction generated output signals.The output signals were observed.The observation aimed to find feasible solutions to the satisfiability problem.In addition,simulation experiments were needed.They were used to show the DNA strand displacement reaction more intuitively.They also showed changes in its concentration.This paper conducted these simulations with Visual DSD software.These simulation results further confirmed a key point.DNA strand displacement technology had great application potential in handling NP problems.This paper provided a novel method opened up new horizons which developed for the biocomputing field.关键词
DNA链置换/逻辑电路/可满足性问题/DNA计算/Visual DSD/荧光信号Key words
DNA strand replacement/logic circuit/satisfiability problem/DNA computing/visual DSD/fluorescent signal分类
信息技术与安全科学引用本文复制引用
杨静,何国庆..基于DNA链置换开关反应求解可满足性问题[J].哈尔滨商业大学学报（自然科学版）,2025,41(5):523-532,10.
