In the theory of rational maps (holomorphic functions from $\mathbb{CP}^1$ to itself), a natural question is how to describe the maps. This is most tractable in the case when the map is \emph{post-critically finite}. In this case, we can describe the dynamical system in terms of a correspondence on graphs.