Dominator tree verification and vertex-disjoint paths.
Loukas GeorgiadisRobert Endre TarjanPublished in: SODA (2005)
Keyphrases
- disjoint paths
- undirected graph
- directed graph
- spanning tree
- approximation algorithms
- tree structure
- graph structure
- minimum cost
- decision trees
- tree models
- fingerprint verification
- model checking
- signature verification
- leaf nodes
- formal methods
- tree structures
- social networks
- neural network
- binary tree
- tree search
- minimum spanning tree
- multi dimensional
- data sets
- data structure
- np hard
- probabilistic model
- petri net
- index structure