试设计一个算法，判断一个有向图是否是强连通的，要求算法的时间复杂度为线性的。

不限使用何种语言，可以使用自然语言表述，重在算法设计。老师布置的考核作业啊，嘿嘿，可惜咱不会，希望大家帮忙一下，谢谢！！！！！！