matrix-tree-theorem