A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tileset synthesis
A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tileset synthesis
复制标题
11 色图案自组装图块合成的 NP 硬度的可手动检查的证明
DOI：
10.1007/s10878-015-9975-6
复制
发表时间：
2017
影响因子：
1
通讯作者：
Seki, Shinnosuke
中科院分区：
文献类型：
--
作者：
Johnsen, Aleck;Kao, Ming-Yang;Seki, Shinnosuke
图案化自组装瓦片集合成（pats）旨在最小化用于自组装给定矩形颜色图案的不同DNA瓦片类型的数量。对于整数k，k-pats是pats的子问题，它将输入模式限制为最多k种颜色。我们给出了一个有效的验证器，并在此基础上，我们建立了一个手动检查的证明的NP-硬度的11拍，最好的手动检查的证明是29拍。
Patterned self-assembly tile set synthesis (pats) aims at minimizing the number of distinct DNA tile types used to self-assemble a given rectangular color pattern. For an integer k, k-pats is the subproblem of pats that restricts input patterns to those with at most k colors. We give an efficient verifier, and based on that, we establish a manually-checkable proof for the NP-hardness of 11-pats; the best previous manually-checkable proof is for 29-pats.
登录
查看更多内容
我的大脑是开放的：保罗·埃尔多斯和只爱数字的人的数学之旅：保罗·埃尔多斯的故事和对数学真理的探索
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
Bruce Schechter;Paul Hoffman;P. Lax
通讯作者：
P. Lax
DOI：
--
发表时间：
2009
期刊：
IEEE Transactions on Circuits and Systems - II - Express Briefs
影响因子：
--
作者：
Xiaojun Ma;F. Lombardi
通讯作者：
F. Lombardi
DOI：
10.1080/07391102.2000.10506630
发表时间：
2000-01
影响因子：
4.4
作者：
E. Winfree
通讯作者：
E. Winfree
三色有界图案自组装
影响因子：
2.1
作者：
Lila Kari;Steffen Kopecki;Shinnosuke Seki
通讯作者：
Shinnosuke Seki
DOI：
10.1109/tcad.2008.917973
发表时间：
2008-05
影响因子：
2.9
作者：
Xiaojun Ma;F. Lombardi
通讯作者：
Xiaojun Ma;F. Lombardi