שרשרת עם לולאה

שרשרת משימות מיוצגת כרשימת אינדקסים next_idx: המשימה במקום i מפנה למשימה הבאה next_idx[i], כאשר -1 מסמן סוף שרשרת. בהינתן next_idx ואינדקס ההתחלה start, קבעו האם מעקב אחרי השרשרת מגיע אי-פעם ללולאה אינסופית.