Some graph algorithms, helper classes and interfaces for the theoretical computer science class.