Wang瓦片集的固定参数不可判定性
Fixed Parameter Undecidability for Wang Tilesets
摘要：
判断一组给定的Wang瓦片是否允许平面的平铺是可判定的，如果Wang瓦片的数量（或颜色的数量）是有界的，出于一个微不足道的原因，因为只有1000个这样的瓦片集。然而，我们证明，瓷砖的问题仍然是不可判定的，如果瓷砖的数量和颜色的数量之间的差异是由43界。其中一个主要的新工具是王酒吧的概念，这是等效膨胀王瓷砖或薄polyominoes。
英文摘要：
Deciding if a given set of Wang tiles admits a tiling of the plane is decidable if the number of Wang tiles (or the number of colors) is bounded, for a trivial reason, as there are only finitely many such tilesets. We prove however that the tiling problem remains undecidable if the difference between the number of tiles and the number of colors is bounded by 43. One of the main new tool is the concept of Wang bars, which are equivalently inflated Wang tiles or thin polyominoes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
