To study the fixed parameter undecidability of tiling problem for a set of Wang tiles, Jeandel and Rolin show that the tiling problem for a set of 44 Wang bars is undecidable. In this paper, we improve their result by proving that whether a set of 29 Wang bars can tile the plane is undecidable. As a consequence, the tiling problem for a set of Wang tiles with color deficiency of 25 is also undecidable.
翻译:为研究一组王砖铺砌问题的固定参数不可判定性,Jeandel和Rolin证明了44个王条的铺砌问题是不可判定的。本文改进了他们的结论,证明一组29个王条能否铺砌整个平面是不可判定的。作为推论,颜色缺损数为25的一组王砖的铺砌问题也是不可判定的。