Finding the shortest paths by node combination
A Theorem on Boolean Matrices