In graph theory, reachability refers to the ability to get from one vertex to another within a graph. We say that a vertex can reach a vertex (or that is reachable from ) if there exists a sequence of adjacent vertices (i.e. a path) which starts with and ends with .