Computing Strongly Connected Component