消圈算法c语言,【图论】Floyd消圈算法

Definition&Solution

对于一个给定的链表，如何判定它是否存在环以及环的长度问题，可以使用Floyd消圈算法求出。

从某种意义上来讲，带环的链表在本质上是一个有向图

考虑下面的事实：假定小Y和小Z在圆形操场上跑步，小Z的速度是小Y的两倍，那么总存在一个时刻，使得小Z和小Y在同一个位置但是小Z比小Y多跑了若干圈。

该算法的复杂度为O(n)。

代码如下：

voidfloyd_c() {int c1=list_begin,c2=list_begin;//c=child

do{

c1=nxt[c1];

c2=nxt[c2]; dosth();

c2=nxt[c2]; dosth();

}while(c1!=c2);return;

}

其中dosth应具体情况具体分析。

考虑如何求出该环的起点。

如果你不理解环为什么有起点，不妨观察下面的链表：

由于1是链表的起点，以1号点为起点遍历整张链表，是从3号点进入原谅环的，我们认为3号点是原谅环的起点。

如何求出起点。

将小Z和小Y都放到链表的起点上，当两者相遇时，将其中一个指针再次放到起点上，二者再次相遇的位置就是环的起点