Computational Graph Theory