ここでは、Tarjanのサイクル検出を実装しています。アルゴリズムは、ここで発見されたTarjanサイクル検出のヘルプC#
: http://en.wikipedia.org/wiki/Tarjan%27s_strongly_connected_components_algorithm
public class TarjanCycleDetect
{
private static List<List<Vertex>> StronglyConnectedComponents;
private static Stack<Vertex> S;
private static int index;
private static DepGraph dg;
public static List<List<Vertex>> DetectCycle(DepGraph g)
{
StronglyConnectedComponents = new List<List<Vertex>>();
index = 0;
S = new Stack<Vertex>();
dg = g;
foreach (Vertex v in g.vertices)
{
if (v.index < 0)
{
strongconnect(v);
}
}
return StronglyConnectedComponents;
}
private static void strongconnect(Vertex v)
{
v.index = index;
v.lowlink = index;
index++;
S.Push(v);
foreach (Vertex w in v.dependencies)
{
if (w.index < 0)
{
strongconnect(w);
v.lowlink = Math.Min(v.lowlink, w.lowlink);
}
else if (S.Contains(w))
{
v.lowlink = Math.Min(v.lowlink, w.index);
}
}
if (v.lowlink == v.index)
{
List<Vertex> scc = new List<Vertex>();
Vertex w;
do
{
w = S.Pop();
scc.Add(w);
} while (v != w);
StronglyConnectedComponents.Add(scc);
}
}
はDepGraphは頂点のリストだけであることに注意してください。 Vertexは、辺を表す他のVertexのリストを持つ。また、インデックスとローリンクは-1に初期化されます
編集:これは動作しています...私は結果を誤って解釈しました。
なぜv.lowlink = Math.Min(v.lowlink、w.lowlink)以外の 'v.lowlink = Math.Min(v.lowlink、w.index)'ですか? –
@LinMaいずれか技術的に正しいです。 –