decomposition a directed graph into its strongly components