图案组装中的组合优化
计算复杂性
2013-01-17 v1 数据结构与算法
摘要
图案自组装瓦片集合合成（PATS）是一个组合优化问题，旨在最小化唯一自组装给定矩形图案的直角瓦片组装系统（RTAS），已知该问题是 NP-hard 的。当 PATS 由常数 c 参数化，使得任何给定图案保证最多包含 c 种颜色（c-PATS）时，它才具有实际意义。我们首先研究了简单图案及其最小 RTAS 的性质。然后基于这些性质，我们设计了一个包含 59 种颜色的图案，将 3SAT 归约到该图案，并证明 59-PATS 是 NP-hard 的。
引用
@article{arxiv.1301.3771,
title = {Combinatorial Optimization in Pattern Assembly},
author = {Shinnosuke Seki},
journal= {arXiv preprint arXiv:1301.3771},
year = {2013}
}