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