个形式是闭形式。注意上面的形式不等于0因为G是二分图。也定义密铺函数formula_10若双体e存在，formula_11，不然等于0。高度差函数是formula_12这个函数定义一个formula_13的随机函数。这也是闭形式。的确威廉·瑟斯顿表示了若formula_14真的是密铺函数，这是一个必要条件。h是高度函数。NxN平方格子的高度函数在中间逼近O(N)。但是阿兹特克钻石的高度函数逼近h的平均值。的确，CKP定理说h最小化一个熵（或热力学自由能）的泛函（变分法）：formul