11 色图案自组装瓦片集合成 NP 难性的人工可验证证明
离散数学
2014-09-08 v1
摘要
图案自组装瓦片集合成 (PATS) 旨在寻找最小瓦片集以唯一地自组装给定的矩形（颜色）图案。对于 k >= 1，k-PATS 是 PATS 的一个变体，将输入图案限制为最多包含 种颜色的图案。Kari 等人最近提出了针对 2-PATS 的计算机辅助证明 [arXiv:1404.0967 (2014)]。相比之下，目前已知最好的人工可验证证明是关于 29-PATS 的 NP 难性，由 Johnsen、Kao 和 Seki 提出 [ISAAC 2013, LNCS 8283, pp.~699-710]。我们提出了针对 11-PATS 的 NP 难性的人工可验证证明。
引用
@article{arxiv.1409.1619,
title = {A manually-checkable proof for the NP-hardness of 11-color pattern self-assembly tile set synthesis},
author = {Aleck Johnsen and Ming-Yang Kao and Shinnosuke Seki},
journal= {arXiv preprint arXiv:1409.1619},
year = {2014}
}