structural:summarization, linguistic:voice_change, information:highlighting
Pseudocode

Input: A graph G and a starting vertex root of G

Output: Goal state. The parent links trace the shortest path back to root