解释这个现象。这些文章有更多阿兹特克图：http://faculty.uml.edu/jpropp/tiling/www/intro.html
高度函数.一个密铺定义一个0微分形式（函数）：formula_8s是自旋（参看易辛模型）、v是顶点。那么可以定义一个1-形式：formula_9这个形式是闭形式。注意上面的形式不等于0因为G是二分图。也定义密铺函数formula_10若双体e存在，formula_11，不然等于0。高度差函数是formul