Formalization of Graph Search Algorithms and Its Applications.
Mitsuharu YamamotoKoichi TakahashiMasami HagiyaShin-ya NishizakiTetsuo TamaiPublished in: TPHOLs (1998)
Keyphrases
- search algorithm
- graph search
- graph structure
- random walk
- graph representation
- weighted graph
- graph structures
- search space
- structured data
- graph theory
- depth first search
- graph partitioning
- graph mining
- path finding
- tree search
- bipartite graph
- search methods
- connected components
- heuristic search
- directed acyclic graph
- operational semantics
- pairwise
- graphical representation
- search problems
- graph theoretic
- graph model
- np hard
- genetic algorithm
- selection algorithm
- satisfiability problem
- branch and bound
- knowledge representation