Floyd判圈演算法（龜兔賽跑演算法）可用於判定連結串列、迭代函式、有限狀態機是否有環。如果有環，可以找出環的起點和大小。

首先，讓我們確認一個事實：兩個人在環形跑道上同向而行，一前一後，速度不等，則快的那個一定能追上慢的那個。
設兩人相距x，跑道周長為C，令快者的速率（2v）等於慢者（v）的兩倍，則追及時間t=x2v−v=xv，由於vt=x≤C，從開始計時到第一次相遇，慢者至多跑一圈。

令兩個指標t、h指向連結串列頭，稱t為慢指標，一次走一步，h為快指標，一次走兩步。如果h碰到連結串列尾，說明無環；如果某時刻兩者相遇，說明有環。

以環的起點為原點建立座標系，設兩者在y處相遇，連結串列頭座標為−

能不能據此找出環的起點？似乎陷入了死迴圈——知道起點在哪裡，我們才能得到L的大小。
解決方法是讓一個指標（比如說t）從y出發，另一個指標（h）從−L處出發，兩者速率相等。L步之後，它們同時到達環的起點。
L步之前，t在環上，h在環外，兩者不可能相遇，於是，至少L步兩者才能相遇。而我們已經論證了第L步兩者必同在環的起點，因此，在環起點的那次相遇是兩者的初遇，第一次相遇處是環的起點。

此演算法的時間複雜度是O

總結：讓指標t、h從連結串列頭出發，每次t走一步，h走兩步，存在環當且僅當兩者相遇。t停留在相遇處，h回到連結串列頭，每次t走一步，h走一步，第一次相遇處為環的起點。t停留在相遇處，h前進，到再次相遇時走的步數為環的大小。