An Elementary Proof of a Matrix Tree Theorem for Directed Graphs.
Patrick De LeenheerPublished in: SIAM Rev. (2020)
Keyphrases
- directed graph
- transition matrix
- interactive theorem proving
- graph structure
- adjacency matrix
- random walk
- tree structure
- leaf nodes
- directed acyclic graph
- maximum flow
- singular value decomposition
- disjoint paths
- linear logic
- distance matrix
- tree structures
- learning algorithm
- undirected graph
- theorem proving
- theorem prover
- web graph
- strongly connected
- graphical models