亚历山大·德鲁埃特·朱尔丹;石佐卡吉;吉弘美口 砖块Wang平铺的线性算法。 (英语) Zbl 1428.05050号 日本J.Ind.Appl。数学。 36,第3号,749-761(2019). 摘要:王牌问题是组合数学中的一个经典问题。一个主要的理论问题是找到一组(小的)瓦片,这些瓦片只是非周期地瓦片平面。在这种情况下,结果平铺具有相当大的限制性。另一方面,王牌被用作计算机图形中生成纹理和图案的工具。在这些应用中,通常会选择一组平铺,以便以多种不同的方式轻松平铺平面或其子区域。考虑到计算机图形学的应用,我们引入了一类这样的分片集,我们称之为序列许可分片集。我们将我们的方法应用于一组特殊的Wang瓷砖,称为Brick Wang瓷砖A.Derouet-Jourdan等【数学工业(东京)24,71–81(2016;Zbl 1401.68348号)]为墙图案建模。我们通过提供一个线性算法来决定和解决任意带孔平面区域的平铺问题,从而推广了他们的结果。 引用于1文件 MSC公司: 05B45号 镶嵌和平铺问题的组合方面 05-08 组合数学问题的计算方法 52C20个 \(2)维平铺(离散几何体方面) 68单位05 计算机图形;计算几何(数字和算法方面) 关键词:Wang tile公司;纹理生成;图形模型;可满足性问题 引文:Zbl 1401.68348号 软件:Coq公司;github;LinearWang公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Derouet-Jourdan}等人,日本J.Ind.Appl。数学。36,第3号,749--761(2019;Zbl 1428.05050) 全文: 内政部 arXiv公司 参考文献: [1] Coq证明助理。https://coq.inria.fr/。2019年5月30日访问 [2] Berger,R.:多米诺骨牌问题的不确定性。内存。美国数学。Soc.66、72(1966年)·Zbl 0199.30802号 [3] Cohen,M.F.,Shade,J.,Hiller,S.,Deussen,O.:用于图像和纹理生成的Wang瓷砖。ACM事务处理。图表。22(3), 287-294 (2003) ·doi:10.1145/8822628.82265 [4] 库利克:一组不定期的13块王牌。离散。数学。160(1-3), 245-251 (1996) ·兹伯利0865.05033 ·doi:10.1016/S0012-365X(96)00118-5 [5] Derouet-Jourdan,A.:Brick Wang瓷砖线性算法的实现。https://github.com/KyushuUniversityMathematics/LinearWang。2017年5月8日访问·Zbl 1428.05050号 [6] 亚历山大·德鲁埃特·乔丹;沟口、吉弘;Salvati,Marc,Wang《墙砖模型》,71-81(2016),新加坡·Zbl 1401.68348号 ·doi:10.1007/978-981-10-1076-79 [7] Fu,C.-W.,Leung,M.-K.:使用wang瓷砖在任意拓扑曲面上进行纹理平铺。摘自:《第十六届欧洲制图会议关于渲染技术的会议记录》(EGSR'05),欧洲制图协会,瑞士Aire-la-Ville,pp.99-104(2005) [8] Jeandel,E.,Rao,M.:11块王牌的非周期集(2015)。http://arxiv.org/abs/1506.06492 ·Zbl 1478.05020号 [9] Kari,J.:一组不定期的小王牌。离散。数学。160(1-3), 259-264 (1996) ·Zbl 0861.05017号 ·doi:10.1016/0012-365X(95)00120-L [10] Kopf,J.,Cohen,D.,Deussen,O.,Lischinski,D.:实时蓝色噪声的递归Wang瓷砖。ACM事务处理。图表。25(3), 509-518 (2006) ·数字对象标识代码:10.1145/1141911.1141916 [11] Lagae,A.,Dutré,P.:Wang瓷砖的替代品:彩色边缘与彩色角落。ACM焦油。图表。25(4), 1442-1459 (2006) ·doi:10.1145/1183287.1183296 [12] Lewis,H.:谓词演算决策问题可解情形的复杂性。摘自:第19届计算机科学基础研讨会论文集,第35-47页(1978) [13] Matsushima,T.、Mizoguchi,Y.、Derouet-Jourdan,A.:砖块Wang拼接算法的验证。致:SCSS2016(2016)会议记录·Zbl 1428.05050号 [14] Stam,J.:非周期纹理贴图。欧洲信息与数学研究联合会(ERCIM)技术报告R046(1997) [15] Wang,H.:用模式识别\[-\text{II}\]-II证明定理。贝尔系统技术杂志40(1),1-41(1961)·doi:10.1002/j.1538-7305.1961.tb03975.x 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。