Journal of Logic and Computation Advance Access published online on February 17, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp003
Original Papers |
Distributed Algorithms for SCC Decomposition
í Barnat
Department of Computer Science, Faculty of Informatics, Masaryk University Brno, Czech Republic.
E-mail: barnat{at}fi.muni.cz; xchalou1{at}fi.muni.cz
Formal Methods and Tools, Department of EEMCS, University of Twente, The Netherlands.
E-mail: j.c.vandepol{at}ewi.utwente.nl
Received 29 February 2008.
| Abstract |
|---|
We study existing parallel algorithms for the decomposition of a partitioned graph into its strongly connected components (SCCs). In particular, we identify several individual procedures that the algorithms are assembled from and show how to assemble a new and more efficient algorithm, called Recursive OBF (OBFR), to solve the decomposition problem. We also report on a thorough experimental study to evaluate the new algorithm. It shows that it is possible to perform SCC decomposition in parallel efficiently and that OBFR, if properly implemented, is the best choice in most cases.
Keywords: parallel algorithms; strongly connected components