19/08/07 10:10:56.23 BrltIhqh.net
訂正します：
Robert Tarjan著『DEPTH-FIRST SEARCH AND LINEAR GRAPH ALGORITHMS』を読んでいます。
A closed path p : v → v is a cycle if all its edges are distinct and the only vertex to occur twice in p is v,
which occurs exactly twice.
などと書いていますが、無駄がありますよね。
「all its edges are distinct」でないならば当然2回以上登場する点があるからです。