Edge-matching puzzle

王氏砖（英語：Wang tile）也稱為王氏多米诺骨牌，最早由美籍華裔数学家、逻辑学家和哲学家王浩于1961年提出，屬於边缘匹配拼图（英语：Edge-matching puzzle），也是形式系統。 王氏砖的外觀是正方形，正方形的每一邊可以有不同的顏色，也可以以各邊和中心點組成的三角形來著色，一個王氏磚中裡可