Formal derivation of graph algorithmic programs using partition-and-recur.
Jinyun XuePublished in: J. Comput. Sci. Technol. (1998)
Keyphrases
- partitioning algorithm
- vertex set
- random walk
- graph theory
- formal model
- directed acyclic graph
- normalized cut
- directed graph
- graph matching
- graph structure
- graph model
- graph representation
- weighted graph
- min cut
- logic programming
- dependency graph
- graph search
- graph construction
- graph theoretic
- graph partitioning
- formal specification
- link analysis
- answer sets