为什么题解中的dfs部分：

void dfs(int now)
{
	for(int i=del[now];i<G[i].size();i=del[now])
	{
		del[now]=i+1;
		dfs(G[now][i])
	}
	st.push(now);
 }

i=del[now] 为什么是对的？

（个人认为当以一条边为始边，并且经过了以此点为起点的另一条边的路 走不通时，以第二条边为始边的路可能合法）