用三个多边形进行平面密铺问题被证明不可判定
2024-11-20
这篇论文证明了使用三个简单多边形对平面进行密铺的问题是co-RE-complete的，因此是不可判定的。无论是否允许反射，找到一种可以使用给定三个多边形的等距变换来密铺整个平面的方案，这个问题的答案无法通过算法确定。这个结果改进了先前需要五个多边形的最佳构造。
8