באיזה אלגוריתם משתמשים בדרך כלל כדי למצוא מעגל בגרף לזיהוי דדלוק?