1、DNA计算与分子编程：3 - SAT问题的高效解决途径

DNA计算与分子编程：3 - SAT问题的高效解决途径

在当今科技领域，DNA计算和分子编程正逐渐成为解决复杂计算问题的新兴力量。本文将围绕相关的国际会议、研究成果，以及如何利用瓦片组装模型高效解决3 - SAT问题展开探讨。

1. DNA计算与分子编程国际会议概况

2010年6月14 - 17日，第16届DNA计算与分子编程国际会议在香港科技大学举行。该会议系列致力于在生命科学领域建立生物分子计算。过去16年里，众多科学家在从DNA计算到1D、2D、3D DNA支架的编程构建以及DNA折纸等方面取得了显著成就。

会议的科学议程丰富多样，包括三场教程、六场特邀讲座、23场口头报告和31场海报展示，涵盖了理论和实验工作。来自13个国家的92位研究人员参加了此次会议，会议收到了59份投稿，其中23份进行了口头展示，而本文集收录了从这些口头报告中精选出的16篇论文的改进版本。

会议的组织架构完善，由香港科技大学主办。其委员会设置如下：
- 程序委员会 ：由来自不同国家和高校的专家组成，共同负责会议的学术程序安排。
| 姓名 | 所属机构 | 职位 |
| — | — | — |
| Yasubumi Sakakibara | 庆应义塾大学，日本 | 联合主席 |
| Lloyd Smith | 威斯康星大学，美国 | 联合主席 |
| Luca Cardelli | 微软研究院，剑桥，英国 | 成员 |
| Anne Condon | 英属哥伦比亚大学，加拿大 | 成员 |
|… |… |… |
- 组织委员会