树

生成子图 (spanning subgraph): 点集为 的子图。

从最小叶删除到序列解码，建立 Cayley 公式与度数计数，再用拉普拉斯矩阵计算生成树数量。

加权图 (weighted graph): 边有边权。