ffi cient Testing for the strongly connectivity of digraphs