Cybersec-and-HPC-Textbook-C.../Articles/Algorithm 447: efficient algorithms for graph manipulation.pdf