matrix_tree_theorem