Graph algorithms ================ Definitions ----------- Isomorphism -----------