基于DNA链置换的可满足性问题的计算模型

作     者：陈哲 殷志祥 唐震 CHEN Zhe;YIN Zhixiang;TANG Zhen

作者机构：安徽理工大学数学与大数据学院安徽淮南232001 上海工程技术大学数理与统计学院上海201620 

基　　金：国家自然科学基金(61672001,61702008) 安徽省自然科学基金(1808085MF193)资助 

出 版 物：《阜阳师范学院学报（自然科学版）》 (Journal of Fuyang Normal University(Natural Science))

年 卷 期：2020年第37卷第1期

页      码：54-57页

摘      要：可满足性问题是经典的NP完全问题之一。本文建立了一个基于DNA链置换的可满足性问题的计算模型,可满足性问题的约束条件被映射成计算模型上的荧光个数,将可满足性问题中变量的两种取值(0和1)分别设计成不同的DNA链,通过DNA链置换反应,最后观察反应后的计算模型上荧光个数找出可满足性问题的可行解。该模型具有操作简单,结果便于观察和检测的优点。

主 题 词：DNA计算 DNA链置换 可满足性问题 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.14096/j.cnki.cn34-1069/n/1004-4329(2020)01-054-04

馆 藏 号：203889393...