(a) Inf(p)在p中出现了无穷多次，说明Inf(p)存在一个环当中，所以这个环的顶点肯定是某一个强连通部件的子集。
(b) 若G中存在一条无穷路径，则G中至少存在一个环，且这个环至少有两个顶点，所以要求的是在G中是否存在一个顶点数目大于等于2的强连通分量
(c) 在(b)的基础上，对所有顶点数目大于等于2的强连通分量进行计算，若有一个强连通分量访问了G中某些优等顶点无穷多次,则满足条件。
(d) 删掉图G中所有的劣等顶点，在剩下的优等顶点组成的图中验证是否存在一个顶点数目大于等于2的强连通分量