Transitive closure

Using BMM to compute transitive closure

Can we improve this result? Yes! While we cannot remove matrix multiplication, we can remove logarithmic factor

A* heuristics

Perfect potential

Admissible potential

Bounded error potential