复杂平铺
计算复杂性
2018-12-03 v3 离散数学
摘要
我们研究了具有给定瓷砖集的平面平铺的最小复杂度。我们指出，每个瓷砖集要么不存在平铺，要么存在具有 O(n) Kolmogorov 复杂度的 n × n 平方的平铺。我们构造了瓷砖集，以此界限为紧界：所有平铺中所有 n × n 平方的复杂度至少为 n。这为经典关于平铺非递归性的结果提供了量化角度——我们也以图灵不可解性的度数发展了这些结果。关键词：平铺、Kolmogorov 复杂度、递归理论
关键词
引用
@article{arxiv.cs/0107008,
title = {Complex Tilings},
author = {Bruno Durand and Leonid A. Levin and Alexander Shen},
journal= {arXiv preprint arXiv:cs/0107008},
year = {2018}
}
备注
An extended abstract of a weaker version of this article appeared in Proceedings of the Annual ACM Symposium on Theory of Computing (STOC), 2001