格林伯格公式

所有具有 个节点的哈密顿回路满足的公式。设 为回路内具有 条边的区域数量， 为回路外具有 条边的区域数量。如果有 条内部对角线，则必须有 个区域

(1)

任何具有 条边的区域都由 条图的边界定，因此这些区域贡献 到总数。然而，这样计算每条对角线两次（而每条图的边只计算一次）。因此，

(2)

取 (2) 减去 (1)，

(3)

类似地，

(4)

所以

(5)