[Circular list] Added the formalized cycle detection algorithms