graph algorithms tarjan"testing flow graph reducibility,journal of computer and system sciences ( ) - tarjan"finding dominators in directed graphs,siam journal on computing ( ) - tarjan"complexity of combinatorial algorithms,siam review ( ) - tarjandata structures and network algorithmssociety for industrial and applied mathematicsphiladelphia yao"an (|elog log | |algorithm for finding minimum spanning trees,information processing letters ( ) -