动态DNA步行者折纸计算模型——求解可满足性问题

摘要

文章将DNA折纸技术同DNA步行者结合,用于构建一个动态DNA步行者折纸计算模型,该模型由DNA步行者、轨道及燃料链三部分组成,在应用该模型解决问题时可先加入相应的补链堵塞不需要的路径,从而控制步行者只通过需要的路径。该模型通用性高,操作简单,可以很好地解决很多问题。在这里我们用该模型解决了一个可满足性问题。