是要找到一个环，并知道这个环的长度。

问一下有哪些常用的方法？

网上有一个dfs的方法，记录0/1/2表示未经过/经过且退出/经过未退出。然后碰到状态为2的点就找到环。

不知道这个方法是否正确？如果正确怎么证明？