There's a bunch of nifty graph-mangling code available as part of the stanford graphbase (literate CWEB, written by DEK; I think that had some stuff for bi-connectedness). Simon // TeX Files - Don Knuth is out there