基于dfs的无向图的欧拉路的套圈法我们一般是这样写的
void euler(int now)
{
    for(int i=0;i<n;i++)
        if(gr[now][i])
        {
           gr[now][i]--;
           gr[i][now]--;
           euler(i);
        }
    st[top++]=now;
}

我想问一下，为什么st[top++]=now在这里是在euler()函数的最后
而不是开始呢？这个究竟是怎么证明的呢？
望告知，谢谢：）

• 参考《算法导论》有关DFS 的 finishing time 的介绍便知 （p540） (327) 041221125 2006-06-21 21:53:06